フェルマーの最終定理は、1637年にピエール・ド・フェルマーによって提出され、n > 2の
自然数nに対して、方程式 aⁿ + bⁿ = cⁿ を満たす
自然数 a, b, c の組み合わせは存在しないことを述べています。この予想は、長い間数学界のひとつの神話として君臨し、数世代の
数学者が挑戦してきましたが、証明されることはありませんでした。
アンドリュー・ワイルズは、彼が学生時代からこの問題に魅了され、1990年代初頭に
フェルマーの最終定理の証明に向けて秘密裏に研究を始めました。彼はリベットの定理や谷山・志村予想を背景にして、
楕円曲線と
モジュラー形式の関係を用いる手法を選びました。
1. ワイルズの講演と初期の告知
1993年6月、ワイルズは
ケンブリッジ大学で「
モジュラー形式、
楕円曲線およびガロア表現」という題のもと、
フェルマーの最終定理の証明を初めて発表しました。しかし、発表後すぐに、彼の証明には重要な誤りがあることが発見されました。この誤りに対する修正作業は、彼にとって大きな挑戦となりました。
2. 証明に向けた膨大な努力
ワイルズは誤りを特定し、その修正に約1年を費やしました。その際、彼は論文の一部を修正しつつ、かつての指導学生・リチャード・テイラーと共同で検討を進めました。
1994年9月、彼はついに新たなアイデアを思いつき、それまでの困難を一気に解決する道筋を見出しました。このアイデアは、彼自身が「信じられないほど美しく、シンプルでエレガント」と称えるものでした。
3. 証明の正式な発表
1995年に発表されたワイルズの論文は、彼の7年に及ぶ研究と努力が結実した結果でした。その論文は929ページにも及ぶもので、現代の
代数幾何学の手法を駆使して作成されたものでした。彼の証明は、
数論や
代数幾何学の発展に寄与し、他の未解決の数学問題への新たなアプローチをも提供しました。
ワイルズの証明は、
フェルマーの最終定理が何世代にもわたって
数学者を魅了してきた理由を如実に示しています。この定理は単なる数学の問題ではなく、数学の根幹を成す理論や観念に深く結びついています。ワイルズ自身も、この証明が与える影響について大きな期待を寄せています。
5. ワイルズの業績への評価
ワイルズの業績は、瞬く間に数学界に広まり、その複雑さから本当に理解している
数学者は非常に限られるとされました。彼は
ナイトの称号を授与されるなどの名誉を受け、さらに2016年には名誉ある
アーベル賞も受賞しました。
数学者は彼の業績を「素晴らしい証明(