【５】ウォルステンホルムの定理の仲間たち

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

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

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

（Ａ）

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

の分子は

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

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

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

同様に

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

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

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

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

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

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

　１８１９年，バベッジは

　　2p-1Cp-1＝１　　　（ｍｏｄ　ｐ^2）

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

　　2p-1Cp-1＝１　　　（ｍｏｄ　ｐ^3）

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

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

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

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

の分子はｐで割り切れる

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

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

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