■ベキ和の整除性(その17)

 ベキ和の公式

  Σk^s=1^s+2^s+3^s+・・・+n^s

がnのs+1次の多項式になる.また,すべてのΣk^sはn(n+1)を因数として含む.

===================================

[1]s+1次の係数は1/(s+1),s次の係数は1/2

[2]s−1次の係数は欠けない.

[3]s−3,s−5,s−7,・・・次の係数は欠けない.

[4]s−2,s−4,s−6,・・・次の係数は欠落.

 これより,

  Σk^s=1^s+2^s+3^s+・・・+n^s

=n^s+1/(s+1)+n^s/2+p/2・An^s-1+p(p−1)(p−2)/4!・Bn^s-3+p(p−1)(p−2)(p−3)(p−4)/6!・Cn^s-5+・・・

 A=1/6,B=−1/30,C=1/42

===================================