- 513 名前：Kummer ◆g2BU0D6YN2 [2007/06/27(水) 20:59:48 ]
- >>512 を以下のように訂正する。
>>510 の続き。
>>511 より
ψ_1(１) = 1
ψ_1(3) = -1
ψ_1(5) = 1
ψ_1(7) = -1
ψ_2(１) = 1
ψ_2(3) = -1
ψ_2(5) = -1
ψ_2(7) = 1
よって
1) km ≡ 1 (mod 8) ⇔ ψ_1(km) = ψ_2(km) = 1
2) km ≡ 1, 7 (mod 8) ⇔ ψ_2(km) = 1
3) km ≡ 1, 5 (mod 8) ⇔ ψ_1(km) = 1
4) km ≡ 1, 3 (mod 8) ⇔ ψ_1(km)ψ_2(km) = 1
