■立方和定理(その5)
g(2)=4(4平方和定理)は1772年ラグランジュにより,g(3)=9は1909年ヴィーフェリッヒによって証明されました.
4^k(8n+7)の形の数は4個の2乗を必要とするのに対して,9個の3乗を必要とする数は,たった2つの場合だけが知られています.
23=2・2^3+7・1^3
239=2・4^3+4・3^3+3・1^3
そして,1939年,ディクソンは23,239以外の整数はすべて8個の3乗数の和で書けることを示しています.(8個の立方数の和としてしか表せない自然数は15,22,50,114,169,175,186,212,231,238,303,364,420,428,454の15個だけである.)
===================================
ウェアリングの問題は,2次形式ではなく高次形式を扱っていて,多くの数学的思考を刺激しました.そして,1909年,ヒルベルトによって
「どの数もg個のk乗数の和で表される」
ことが肯定的に証明されています.
n=x1^k+・・・+xg^k
ヒルベルトはg(k)の値がkのみによって表されることを証明したのですが,それはg(k)の存在のみを証明したのであって具体的な値を決める方法を示したものではありませんでした.
1859年,リューヴィルはg(4)≦53を示しました.g(4)=19ですからこの結果は実際とはかなり隔たりがあるのですが,g(4)の限界を与える方法を初めて示したことになります.そのあたりからいろいろな研究がなされることになりました.そして,19四乗数定理:
「すべての正の整数は19個の4乗数の和で表される」
は1986年に証明されています.つまり,ウェアリングの問題(18世紀)も200年以上かかって解決されたことになります.
なお,g乗数は平方数よりもずっとまばらにしか分布しませんから,以下,37個の5乗数の和,73個の6乗数の和,・・・と続きます.
高次形式の理論はまだ発展途上にあり,この最良値を完全に決めることはまだできていなかったのです,それでも,k≧6でのg(k)の値はほぼ決まっていて,
g(6)=73,g(7)=143,g(8)=279,
g(9)=548,g(10)=1079,・・・
===================================