フェルマーの最終定理

フェルマーの最終定理は、n≧3のとき xⁿ+yⁿ=zⁿ を満たす正整数解は存在しないという命題だ。1637年、フランスの数学者ピエール・ド・フェルマーが古代ギリシャの数学書『算術』の余白に書き残した謎は、358年後の1995年にアンドリュー・ワイルズによって証明された。サイモン・シンの『フェルマーの最終定理』（1997年）はこの壮大な数学的ドラマを一般向けに描いた。

謎の起源：余白の書き込み

フェルマーの書き込みは簡潔だった。「n≧3の場合、この等式を満たす正整数の解は存在しない。私はこれについて真に驚くべき証明を持っているが、余白が狭すぎてここに書くことができない」。これが後世に最も有名な「未証明」を残すことになった。

注目すべきは、この命題がピタゴラスの定理（x²+y²=z²は正整数解を持つ：3,4,5など）の拡張として直感的に理解できることだ。2乗なら解があるが、3乗以上では解がない——この単純なパターンが、なぜ証明が難しいのかを説明しない。そこにこそ謎の深さがある。

358年間の挑戦

フェルマーの最終定理はその簡潔さと難解さから、多くの数学者を引きつけた。オイラーがn=3の場合を証明（1770年）し、後にn=4・5・7などの特殊ケースが次々と証明されたが、一般的な証明は誰にも達成できなかった。

数論・代数幾何・複素解析・群論など、次々と生まれる新しい数学ツールが試みられた。1955年、日本の数学者谷山豊・志村五郎がタニヤマ・志村予想を提唱した。これは一見まったく無関係に見えた——フェルマーとの繋がりが見えるのは30年後だ。

ワイルズの7年間

1986年、ケン・リベットがタニヤマ・志村予想の一部を証明すればフェルマーの定理も証明できることを示した。この繋がりを知ったプリンストン大学のアンドリュー・ワイルズは、1993年まで秘密裏に7年間研究した。1993年に発表した証明には後にギャップが発見されたが、1995年に修正された完全な証明を発表し、ついに定理が証明された。

ワイルズの証明は数百ページに及び、楕円曲線の理論・数学的証明の精緻な積み上げを要した。フェルマーが「余白に書ける証明」を本当に持っていたかは永遠の謎だ——おそらく持っていなかったとされる。

定理が象徴するもの

フェルマーの最終定理は定理の内容以上に、数学という営みの性格を象徴する。358年間、誰も解けなかった問いが確実に解けることを（フェルマー本人は確信していた）、そして最終的に解かれることを示した。数学的直感と厳密性の関係——直感が正しくても、それを厳密な証明に変えるには別の種類の努力が必要だ——をこれほど劇的に示した例はない。シンの書籍はこの358年の物語を通じて、数学が人間的な営みであることを示した。

証明の数学的意義

ワイルズの証明は単にフェルマーの最終定理を解決しただけでなく、タニヤマ・志村予想の大半を証明するという副産物を持つ。この予想は楕円曲線とモジュラー形式の深い対応を主張するもので、現代数学の数論・代数幾何の発展に根本的な影響を与えた。

フェルマーの問いへの答えが、まったく別の数学の分野を結びつけるという展開は、数学の「発見」の性格を示す。答えを求める旅が、求めていた以上の地形を明らかにした。数学的直感と厳密性の観点から、ワイルズの業績は直感の粘り強さと厳密性の精密さの両方が必要な問いに何十年もかかることを示している。フェルマーの最終定理は数学史で最も有名な証明の物語として、数学という人間的営みの縮図となっている。