【３】ウォルステンホルムの定理の拡張

（Ｑ）ｐ＞３が素数ならば

　　Ｓ＝（（ｐ−１）！）^2（１＋１／２^2＋１／３^2＋・・・＋１／（ｐ−１）^2）

がｐで割り切れることを証明せよ．

　ｐが２，３以外の素数ならば有限調和級数

　　１＋１／２^2＋１／３^2＋・・・＋１／（ｐ−１）^2

の分子はｐで割り切れる，したがってｐが素数のときに限り分子はｐで割り切れるというものです．

（Ａ）

　　１＋１／２^2＋１／３^2＋・・・＋１／（ｐ−１）^2

の分子は

　　（Ａp-2）^2−２（ｐ−１）！Ａp-3

であり，ｐで割り切れる．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　同様に

　「ｐが素数でｐ＞５であるときに限り，

　　１＋１／２^3＋１／３^3＋・・・＋１／（ｐ−１）^3

の分子はｐ^2で割り切れる」

　「ｐが素数でｐ＞７であるときに限り，

　　１＋１／２^4＋１／３^4＋・・・＋１／（ｐ−１）^4

の分子はｐで割り切れる」

　１８１９年，バベッジは

　　（２ｐ−１，ｐ−１）＝１　　　（ｍｏｄ　ｐ^2）

に気づきましたが，１８６２年，ウォルステンホルムは

　　（２ｐ−１，ｐ−１）＝１　　　（ｍｏｄ　ｐ^3）

を証明したことになります．

　一般に，ｐを素数，ｋをｐ−１で割り切れない正の整数とするとき，

　　１＋１／２^k＋１／３^k＋・・・＋１／（ｐ−１）^k

の分子はｐで割り切れる

　＝１＋２^k＋３^k＋・・・＋（ｐ−１）^k

がｐで割り切れることが示されています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝