0095132人目の素数さん
2016/11/16(水) 05:38:09.20ID:65XlkAuON=1^n+2^n+3^n+4^n
が5で割り切れるための、nに対する条件を問う問題があった。
これを一般化して
〔問題〕
S_n(m)=1^n+2^n+…+m^n がmで割り切れるための(m,n)に対する条件は?
・n=1、m=奇数
・n=奇数(>1)、m={奇数または4の倍数}
・n=偶数、m={mのどの素因数pについても、(p-1)はnを割り切らない}?
→ mが2や3を因数にもつ場合はmで割り切れない。
(p-1)がnを割り切ると、フェルマーの小定理のせいか、mで割り切れなくなる…