07/06/26 20:58:34
>>506 の続き。
----------------------------------------------
D' ≡ 0 (mod 8) のとき
km = u^2 - D't^2 より
km ≡ u^2 (mod 8) となる。
u^2 ≡ 0, 1, 4, 1, 0, 1, 4, 1 (mod 8) だから
km が奇数に注意して
km ≡ 1 (mod 8) となる。
----------------------------------------------
D' ≡ 1 (mod 8) のとき
km = u^2 - D't^2 より
km ≡ u^2 - t^2 (mod 8) となる。
u^2 ≡ 0, 1, 4, 1, 0, 1, 4, 1 (mod 8)
t^2 ≡ 0, 1, 4, 1, 0, 1, 4, 1 (mod 8) だから
km ≡ 1, 3, 5, 7 (mod 8) となる。
---------------------
D' ≡ 2 (mod 8) のとき
km ≡ u^2 - 2t^2 (mod 8)
u^2 = 0, 1, 4, 1, 0, 1, 4, 1
2t^2 ≡ 0. 2, 0, 2, 0, 2, 0, 2 だから
km ≡ 1, 7 (mod 8) となる。