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

【2】ヤコビ

 ヤコビはファウルハーバーの予想を証明し,

[3]sが偶数のときSsはS2で割り切れ,さらに

[4]Ss/S2はS1の多項式で表されることを示した.

たとえば,

  S3=S1^2

  S4=S2(6S1−1)/5

  S5=(4S1^3−S1^2)/3

  S6=S2(12S1^2−6S1+1)/7

したがって,sが偶数のときn(n+1)(2n+1)(多項式)/(整数),1以外の奇数のときn^2(n+1)^2(多項式)/(整数)と書くことができる.また,Σk^sは(s+1)次の多項式になり,最高次数の係数は1/(s+1)となる.

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