フェルマーの最終定理

358年間、誰も解けなかった

1637年、フランスの数学者ピエール・ド・フェルマーは一冊の本の余白に書き残した。「xⁿ + yⁿ = zⁿ（n≧3）を満たす正の整数解は存在しない。私はこの驚くべき証明を発見したが、余白が狭すぎて書けない」。この走り書きが、358年間にわたる数学最大の謎として歴史に刻まれることになった。

サイモン・シンは、この謎の解決を人間ドラマとして描く。数学的厳密さを損なわず、しかし一般読者が理解できる言葉で。本書は科学ノンフィクションのひとつの頂点だ。

キーコンセプト 1: フェルマーの最終定理の358年史

[フェルマーの最終定理](/concepts/フェルマーの最終定理)は、シンプルな命題ゆえにあらゆる数学者を引き寄せてきた。ピタゴラスの定理（x² + y² = z²）は無数の整数解を持つ（3-4-5、5-12-13など）。しかし指数が3以上になると、整数解が一つも存在しないという主張だ。

この定理には「証明されるまでは定理ではなく予想」という数学的なルールがある。フェルマー自身の証明は消滅し、以後の数学者たちは部分的な証明（n=3の場合、n=4の場合…）を積み上げながら、一般解を求め続けた。パスカル、オイラー、ガウス——数学史の巨人たちが挑み、そして沈黙した。

キーコンセプト 2: タニヤマ・志村予想という橋

1950年代、日本の数学者・谷山豊と志村五郎が無関係に見えた二つの概念を結びつける予想を提唱した。[タニヤマ・志村予想](/concepts/タニヤマ・志村予想)——すべての楕円曲線はモジュラー形式と対応する。

この予想は提唱当初、フェルマーの定理とは無関係だった。しかし1980年代、ケン・リベットが「タニヤマ・志村予想が正しければ、フェルマーの最終定理も正しい」ことを証明した。これが決定的だった——フェルマーを証明するには、タニヤマ・志村を証明すればよい。

数学の二つの分野——整数論と複素解析——が、予期せぬ橋で結ばれた。この橋の美しさがシンの筆をおどらせる。

キーコンセプト 3: ワイルズの7年間の孤独

1993年、アンドリュー・ワイルズがケンブリッジで3日間の講義を行い、最後に「よってフェルマーの最終定理が証明された」と書いた。会場が沸いた。

しかし数ヶ月後、証明に致命的な誤りが発見された。ワイルズは7年の研究を無駄にするか、誤りを修正するかの岐路に立った。

[数学的直感と厳密性](/concepts/数学的直感と厳密性)の緊張がここに現れる。ワイルズがさらに1年かけて誤りを修正したとき、失敗した箇所が実は証明の鍵になっていることに気づいた。この逆転劇をシンは映画的なクライマックスとして描く。

[楕円曲線](/concepts/楕円曲線)——ワイルズの証明の中心にあるこの概念が、フェルマーとタニヤマ・志村を接続する。数学的な詳細は難解だが、シンは図解と比喩を駆使して読者を置き去りにしない。

キーコンセプト 4: 証明という人間的な営み

[数学的証明](/concepts/数学的証明)は、自然科学の「実験的証拠」とは根本的に異なる。証明は永遠だ。一度正しく証明されたものは、どんな実験でも反証できない。この「永遠の確実性」が、数学者を魅了し続ける。

シンは証明の文化史——ギリシャ数学、アラビア数学、近代ヨーロッパ数学——を平行して描きながら、「なぜ人間は証明を求めるのか」という問いに向かう。フェルマーの定理は、その問いの最も壮大な事例だ。

数学と物語の奇跡的な融合

本書の奇跡は、数学の内容を損なわずに人間ドラマとして成立させたことだ。暗号解読（同じくシンの著作）が暗号の技術史を描いたとすれば、本書は数学の感情史を描く。

谷山豊の早逝、志村の孤独、ワイルズの苦悩——これらの物語は、フェルマーの定理そのものと同じくらい感動的だ。数学嫌いの人が数学の美しさを感じる書物として、本書は唯一無二だ。

数学の美しさとは、証明の美しさだ。証明の美しさとは、最少の仮定から最大の結論を導く優雅さだ。ワイルズの証明は500ページに及ぶが、その核心にあるのは二つの世界——楕円曲線とモジュラー形式——が実は同じものの二つの顔だったという驚異的な洞察だ。フェルマーが余白に書けなかった証明がこれほど豊かなものだったとは、彼自身も想像しなかっただろう。数学ガールや博士の愛した数式が数学の美しさを物語で伝えるとすれば、本書はその美しさの歴史的証言だ。数学史の壮大な叙事詩として、本書は読まれ続ける。

キー概念(6件)