ケプラー予想は、フェルマーの最終定理とは異なり、極めて一般的な事柄を対象としている。直感的には誰にでも判るのだが、それを証明しようとすると極めて困難である、という事例として、取り上げられることが多い。事実、この証明も、二次元の場合から始まり、三次元球についての証明が完成したのは、1998年になってからのことであった。

　フェルマーの最終定理の証明が、エレガントな内容であったのに対し、ケプラー予想の証明は、4色問題の時と同様、コンピュータで可能性のある全てのケースを検証するという、ある意味力業に頼ったものであった。そのため、フェルマーの証明は「戦争と平和」のような内容であり、ケプラー予想は「電話帳」を読むようなものだ、と評されている。まあ、言わんとしていることは判るが、それにしても「電話帳」とは、手厳しい・・・
(´ヘ`；)

　同じ数学ドキュメンタリーではあるが、サイモン・シンのベストセラーである「フェルマーの最終定理」と比較すると、本書は若干起伏と迫力に欠ける。前者が、証明そのものが芸術的であったのに対し、後者がコンピュータを使った内容であることも、その一旦であろう。しかし、ケプラー予想の証明が完成するまでに携わった、多くの研究者が紹介されており、その点は興味深い。余談だが、筆者的にはケプラーその人の性格についての記述が、大いにウケた。ホントかどうかはワカランが、本書の著者によると、ケプラーの母親は「希に見る嫌な性格」の持ち主だったそうで、晩年は「魔女狩り」にもあったそうだ。ケプラーその人も、少年時代からかなりの嫌われ者だったそうだ。大天文学者として有名な人にも、意外な一面があるものだ・・・

_|￣|○