『ケプラー予想』訳者あとがき by 青木 薫 - HONZ

400年の時を超えて、ある数学の命題が証明された。こう書くと、すぐさま「フェルマー予想（最終定理）」を思い出す人もいるだろう。しかし本書に取り上げられているのはフェルマー予想ではない。フェルマー予想よりもさらに長い歴史をもち、1900年にパリで開催された国際数学者会議では、大数学者ヒルベルトが重要な未解決問題のひとつとして提起した「ケプラー予想」である。 ケプラー予想は「大きさの等しい球をもっとも効率よく三次元空間に詰め込む方法は、果物屋の店先にオレンジが積まれるときの方法と同じである」と述べている。小さな子どもでさえ、直観的に「正しいのでは？」と思いそうな命題だ。ところが、一見当たり前のようなこの命題の正しさを明らかにすることが、とてつもなく難しかったのだ。 球を規則的に並べるという条件つきでなら、この予想が成り立つことは数学の王者ガウスがエレガントに証明してみせた。しかしそのときすでに

[TakayukiN627]

イギリスの数学者イアン・スチュアートは、「ワイルズによるフェルマー予想の証明がトルストイの『戦争と平和』なら、ヘールズによるケプラー予想の証明は電話帳のようなもの」だと喩えている。