（その２）では，ウェアリングの問題の対するヨハン・アルブレヒト・オイラーの不等式『ｋを正の整数として，ｎ＝２^k［（３／２）^k］−１とするとき，ｎ＝ｘ1^k＋・・・＋ｘg^kと書かれるような最小の正の整数ｇ（ｋ）について，不等式

　　ｇ（ｋ）≧［（３／２）^k］＋２^k−２

が成り立つ』を紹介しました．

　　ｋ＝２→ｎ＝７＝２^2＋１^2＋１^2＋１^2　→ｇ（２）＝４

　　ｋ＝３→ｎ＝２３＝２・２^3＋７・１^3　　→ｇ（３）＝９

　　ｋ＝４→ｎ＝７９＝４・２^4＋１５・１^4　→ｇ（４）＝１９

　　ｋ＝５→ｎ＝２２３＝６・２^5＋３１・１^5→ｇ（５）＝３７

のように，７を表すにはちょうど４個の平方数が必要であり，２３は９個の立方数，７９は１９個の４乗数，２２３は３７個の５乗数が必要ですから

　　ｇ（ｋ）＝［（３／２）^k］＋２^k−２

は平方数，立方数，４乗数，５乗数に対して最良の結果を与えています．

　ｎ＝２^k［（３／２）^k］−１はｋに縛られた特別な値であって，任意の整数ではなく一般性が失われています．無論，任意の整数はすべてこの式で表せるわけでもありません．しかるに，ウェアリングの問題のかなりの範囲のところまで正しいことが確認されています．

　ヨハン・アルブレヒト・オイラーの不等式は，局所情報から何がわかるかという局所情報から大域的な情報を引き出す数学の例になっています．この点がこの不等式の最大の特長なのです．

　この不等式の証明は

　　［参］水上勉「チャレンジ！整数の問題１９９」日本評論社

のＱ１９１（p272）に掲載されています．簡単でいてしかも面白い証明ですの是非お読みください．この証明を読めば，なにゆえをもってｎ＝２^k［（３／２）^k］−１が出てきて，ｇ（ｋ）＝［（３／２）^k］＋２^k−２がウェアリングの問題のかなりの範囲のところまで正しいことがわかるはずです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ヨハン・アルブレヒト・オイラーの不等式

（Ｑ）ｋを正の整数として，ｎ＝２^k［（３／２）^k］−１とするとき，ｎ＝ｘ1^k＋・・・＋ｘg^kと書かれるような最小の正の整数ｇを求めよ．

（Ａ）２^k［（３／２）^k］−１＜３^kであるから，ｎをｋ乗数の和として表すときに１^kと２^kしか使えないことがわかる．

　　７＝２^2＋１^2＋１^2＋１^2　　（ｋ＝２）

　　２３＝２・２^3＋７・１^3　　（ｋ＝３）

のように，ｎ＝２^k＋・・・＋２^k＋・・・とできるだけ２^kを並べ，あとは１^k＋・・・＋１^kとすればよい．

　そのときの２^kの個数は［（３／２）^k］−１，２^kの個数はｎ−２^k｛［（３／２）^k］−１｝＝２^k−１であるから

　　ｇ＝［（３／２）^k］−１＋２^k−１＝［（３／２）^k］＋２^k−２

　　ｇ（ｋ）≧［（３／２）^k］＋２^k−２

の不等式を証明したのはオイラーの息子，ヨハン・アルブレヒト・オイラー（１７７２年）で，この式では等号が成立すると予想されているのです．

　一般に，Ａk＝［（３／２）^k］，Ｂk＝（３／２）^k−［（３／２）^k］，Ｃk＝［（４／３）^k］とおけば，すべての正の整数ｋについて

［１］Ａk＋２^kＢk≦２^kのとき

　　ｇ（ｋ）＝［（３／２）^k］＋２^k−２

［２］Ａk＋２^kＢk＞２^kかつＡkＣk＋Ａk＋Ｃk＝２^kのとき

　　ｇ（ｋ）＝［（３／２）^k］＋［（４／３）^k］＋２^k−２

［３］Ａk＋２^kＢk＞２^kかつＡkＣk＋Ａk＋Ｃk＞２^kのとき

　　ｇ（ｋ）＝［（３／２）^k］＋［（４／３）^k］＋２^k−３

が成り立ちます．ただし，［２］，［３］の条件を満たすｋはまだひとつも見つかっておらず，ｋ≦４７１６×１０^5のときはすべて［１］の条件を満たすとのことです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝