SL_2(Z) の元 (1, 1)/(0, 1) を S と書いた(過去スレ４の237)。

任意の n ∈ Z に対して S^n = (1, n)/(0, 1) である。
よって過去スレ４の401より (a, b, c) ∈ F(D) のとき
(a, b, c)S^n = (a, 2an + b, an^2 + bn + c)
である。

過去スレ４の587より I = [a, (-b + √D)/2] は R のイデアルである。
(k, l, m) ∈ F(D) があり、[a, (-b + √D)/2] = [k, (-l + √D)/2]
とする。
I ∩ Z = aZ = kZ だから a = ±k である。

簡単のために a = k と仮定する。
(-b + √D)/2 = na + t(-l + √D)/2 となる n, t ∈ Z がある。
よって
t = 1
-b = 2na - l
よって
l = b + 2an
D = l^2 - 4km = b^2 - 4ac だから

(b + 2an)^2 - 4am = b^2 - 4ac
よって
4am = (b + 2an)^2 - b^2 + 4ac = 4abn + 4a^2n^2 + 4ac
m = bn + an^2 + c

以上から (k, l, m) = (a, 2an + b, an^2 + bn + c) である。
即ち (a, b, c)S^n = (k, l, m) である。