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

  z・exp(zx)/(exp(z)−1)

=(1+xz+1/2!x^2z^2+1/3!x^3z^3+・・・)(B0+B1/1!z+B2/2!z^2+B3/3!z^3+・・・)

  z・exp(z(x+1)/(exp(z)−1)

=z・exp(zx)・exp(z)/(exp(z)−1)

=z・exp(zx)/(exp(z)−1)+z・exp(zx)

 z^sの項を比較すると

  Bs(x+1)−Bs(x)=sx^s-1

  Bs+1(x+1)−Bs+1(x)=(s+1)x^s

x=0,1,2,・・・,nとして加えると

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

=1/(s+1)・{Bs+1(n)−Bs+1(0)}+n^s

=n^s+1/(s+1)+n^s/2+(p,1)B1/2・n^s-1+(p,3)B4/4・n^s-3+・・・

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