0786132人目の素数さん
2020/07/20(月) 12:27:12.15ID:7L+So4zPpが奇素数のとき
{(p-1)!}^2 {1/1^2 + 1/2^2 + 1/3^2 + ・・・・ + 1/(p-1)^2} はpの倍数。
(略証)
(左辺) = (m_1)^2 + (m_2)^2 + ・・・・ + (m_{p-1})^2
≡ 1^2 + 2^2 + ・・・・ + (p-1)^2
= p(p-1)(2p-1)/6 ≡ 0 (mod p)
∵ (p-1) は2の倍数、(p-1)(2p-1) は3の倍数。
つまり >>745 のとおり。