- 507 名前：Kummer ◆g2BU0D6YN2 [2007/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) となる。
|
 |
