- 508 名前：Kummer ◆g2BU0D6YN2 [2007/06/26(火) 21:01:29 ]
- >>507 の続き。
----------------------------------------------
D' ≡ 3 (mod 8) のとき
km ≡ u^2 - 3t^2 (mod 8)
u^2 = 0, 1, 4, 1, 0, 1, 4, 1
3t^2 ≡ 0. 3, 4, 3, 0, 3, 4, 3 だから
km ≡ 1, 5 (mod 8) となる。
----------------------------------------------
D' ≡ 4 (mod 8) のとき
km ≡ u^2 - 4t^2 (mod 8)
u^2 = 0, 1, 4, 1, 0, 1, 4, 1
4t^2 ≡ 0. 4, 0, 4, 0, 4, 0, 4 だから
km ≡ 1, 5 (mod 8) となる。
----------------------------------------------
D' ≡ 5 (mod 8) のとき
km ≡ u^2 - 5t^2 (mod 8)
u^2 = 0, 1, 4, 1, 0, 1, 4, 1
5t^2 ≡ 0. 5, 4, 5, 0, 5, 4, 5 だから
km ≡ 1, 3, 5, 7 (mod 8) となる。
|
 |
