ケプラー予想

ケプラー予想について

ケプラー予想は、17世紀の数学者ヨハネス・ケプラーに基づく数学的な命題で、三次元空間における球の充填について述べています。この予想によると、等しい大きさの球を空間に配置して密度を最大化する場合、その密度は立方最密充填配置（面心立方）と六方最密充填配置の約74.05%を超えることはできません。

歴史的背景

この予想は、ケプラーが1600年代に発表した論文『新年の贈り物あるいは六角形の雪について』で初めて言及されました。この中では、雪の結晶が最適な配置を持つ理由を物理的な観点から説明しています。青少年時代にイギリス人数学者トーマス・ハリオットとの文通を通じて、砲弾の効率的な積み込み方法について考察したことが、彼の研究のきっかけでした。

19世紀の進展

ケプラーは自らこの予想を証明することができませんでしたが、19世紀になると数学者カール・フリードリヒ・ガウスが、規則的な配置においてこの予想が正しいことを示しました。しかし不規則な配置については証明が困難で、このことがケプラー予想を解決するハードルとなりました。1900年、ダフィット・ヒルベルトが未解決問題の一つとしてケプラー予想を挙げたことが、その後の研究を促進させました。

20世紀における証明

20世紀に進むと、数学者ラースロー・フェイェシュ＝トートがあらゆる配置の最大密度を求める方法を提案しました。彼はこの問題が有限の計算に還元可能であることを示しました。これにより、高性能なコンピュータの利用が新たな可能性を広げました。

1990年、ウ＝イ・シアンがケプラー予想の証明を発表しましたが、その後に出た批評により、その証明は不十分だと考えられるようになりました。これに対し、トマス・ヘイルズは150個の変数を持つ関数の最小化に基づき、ケプラー予想の証明に向けての研究を進め、最終的には1998年にその証明を発表しました。

ヘイルズによる証明

ヘイルズは、コンピュータを使い、無数の密度配置をそれぞれ検証する方法でこの証明を進めました。彼の証明は250ページに及ぶ手稿とコンピュータプログラムから成っていました。査読による評価も高く、2003年には「99%の確信がある」と報告されました。しかし、コンピュータによる計算結果の完全性に対する疑問は残っていました。

フライスペックプロジェクトの成果

その後、ヘイルズは形式的証明に向けた共同プロジェクト、いわゆるフライスペックプロジェクトを立ち上げ、形式的な証明の構築を試みました。このプロジェクトは、他の数学者たちと共同で2014年に完了し、以降正式な論文が公表されています。

関連する数学的問題

ケプラー予想に関連する問題として、トゥエの定理やハチの巣予想が挙げられます。これらは充填理論における重要な結果となっており、球充填問題とそれに関する他の数学的問題に対する理解を深める手助けとなっています。

このように、ケプラー予想は単なる理論的な問いにとどまらず、現代の数学や物理においても広範な影響を与え続けています。

もう一度検索