命題
D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
>>586 より D はある２次体 Q(√m) の整環 R の判別式である。
ax^2 + bxy + cy^2 を判別式 D の２次形式とすると、
I = [a, (-b + √D)/2] は R のイデアルである。
証明
D = b^2 - 4ac だから a ≠ 0 である。

>>585 より R = [1, (D + √D)/2] だから
a(D + √D)/2 ∈ [1, (-b + √D)/2] と
(-b + √D)(D + √D)/4 ∈ [1, (-b + √D)/2] を示せばよい。

a(D + √D)/2 = (aD + a√D)/2 = (aD + ab + a(-b + √D))/2
= a(D + b)/2 + a(-b + √D))/2

D ≡ b^2 (mod 2) だから
D + b ≡ b^2 + b ≡ b(b + 1) ≡ 0 (mod 2)
よって (D + b)/2 は有理整数である。
よって a(D + √D)/2 ∈ [1, (-b + √D)/2] である。

次に、
(-b + √D)(D + √D) = -bD - b√D + D√D + D
= -bD + D + (D - b)√D = -bD + D + (D - b)b + (D - b)(-b + √D)
= -bD + D + Db - b^2 + (D - b)(-b + √D)
= D - b^2 + (D - b)(-b + √D)

よって (-b + √D)(D + √D)/4 = (D - b^2)/4 + (D - b)(-b + √D)/4
D ≡ b^2 (mod 4)
D ≡ b^2 ≡ b (mod 2)
だから (D - b^2)/4 と (D - b)/2 は有理整数である。
よって (-b + √D)(D + √D)/4 ∈ [1, (-b + √D)/2] である。
証明終