$x^2 – Dy^2 = -1$ が解を持つための $D$ に関する必要条件は。

平方剰余の性質から、$D \equiv 3 \pmod{4}$ の時は $-1$ を法として取れないため。