■ベキ和の整除性(その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)となる.
===================================