11月の出題で、
 N=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で割り切れなくなる…