21/03/17 00:01:57.28 Rkkg81B/.net
>>917
1≦a<p に対して
ab ≡ 1 (mod p)
をみたすbが1つずつある。(1≦b<p)、
ab = 1 + p･q (qは整数)
1/a = b - p･(q/a),
これを
1/a ≡' b (mod p)
と書けば (広義の合同)
与式 = Σ 1/a^2 ≡' Σ b^2
= Σ[k=1,p-1] k^2
= p･(p-1)(2p-1)/6
≡ 0 (mod p) (← p>3)
∴ pの倍数んなると一般に言える。