今度は p を素数としたとき p = x^2 + 5y^2 を解くことを考えてみよう。 この問題は >>161 でも考えたし解決済み(>>363)である。 しかし、２次形式論の応用として証明をする。
２次形式 (1, 0, 5) = x^2 + 5y^2 の判別式 D は -20 である。 >>408 より判別式 -20 の (a, b, c) が簡約２次形式であるためには gcd(a, b, c) = 1 かつ、 |b| ≦ a ≦ c であり、 |b| = a または a = c のときは b ≧ 0 となることが必要十分である。
