跳轉到

1998 · 懷爾斯與費馬最後定理：358 年懸案的終審#

1998 費爾茲獎（柏林 ICM）：Andrew Wiles 因逾 40 歲（得獎工作完成於 41 歲）不符規定，獲首枚特別銀質獎章（IMU 為此案特設，至今唯一）

案情提要#

1637 年，費馬在丟番圖《算術》頁邊寫下：「關於此，我確信已發現一個美妙的證明，可惜這裡空白處太小，寫不下。」——費馬最後定理：xⁿ + yⁿ = zⁿ（n ≥ 3）無正整數解。358 年間，歐拉（n=3）、Dirichlet-Legendre（n=5）、Kummer（正則素數）、Frey–Serre–Ribet……一代代偵探接力。懸案的最終答案是：費馬本人的證明幾乎肯定不存在——真正的破案工具（橢圓曲線與模形式）要等二十世紀才被發明。

前因：轉折鏈#

年份 事件
1955–58 Taniyama、Shimura、Weil 提出猜想：每一條有理數域上的橢圓曲線都是模形式（Taniyama–Shimura 猜想）
1984-06 弗萊（Gerhard Frey，德國）在 Oberwolfach 會議上驚人一問：若費馬方程有解，則橢圓曲線 y² = x(x−aⁿ)(x+bⁿ)——這條曲線看起來不可能是模形式。把費馬問題降維成一個已知的猜想
1986 里貝（Ken Ribet）證明 Frey 曲線若為模形式將導致「層級下降」矛盾（Serre 的 ε 猜想）——Frey–Ribet 橋樑完工：Taniyama–Shimura ⇒ 費馬最後定理
1986-09 Wiles（33 歲）得知 Ribet 證明後，決定祕密單獨攻擊 Taniyama–Shimura 的半穩定情形

調查：七年的祕密工作與一次補漏#

  • 1986–1993：Wiles 在普林斯頓家中頂樓祕密工作七年（僅妻子知情），以 Galois 表示與橢圓曲線的「模性提升」為主線：證明半穩定橢圓曲線的 3-表示、然後逐步擴張。
  • 1993-06-23：劍橋牛頓研究所，三場演講，最後一行寫上「⇒ 費馬最後定理」——世界轟動。
  • 1993-08：審稿人 Katz（原普林斯頓同事）發現歐拉系統部分有重大漏洞（表示論的「歐拉系統」構造不完全成立）。Wiles 隱瞞漏洞數月（引發誠信爭議），隨後公開承認並繼續工作。
  • 1994-09-19：與學生泰勒（Richard Taylor）補洞期間，Witten 靈光一現——放棄歐拉系統、改用「岩澤理論 + 3-表示的方法」完成 3 與 5 的互換——漏洞補上。
  • 1995-05：《Annals of Mathematics》兩篇論文（Wiles 主篇 109 頁 + Taylor–Wiles 41 頁）刊出。358 年結案。

理論裁決#

  • Taniyama–Shimura（今 Langlands 綱領的橢圓曲線案例）由 Breuil–Conrad–Diamond–Taylor 2001 年完全證明（全橢圓曲線模性）——本案是 Langlands 大綱領的第一塊大陸。
  • 技術核心「Taylor–Wiles 補丁法」：以「輔助素數集合」+ Galois 上同調的局部-整體對比，把「表示可提升到模形式」轉化為一個可計數的條件——用 Galois 上同調的「不動點計數」代替構造性證明。

後果#

層面 影響
數論 模性成為研究範式：Serre 猜想（Khare–Wintenberger 2008）、Fermat–Catalan、BSD 的 L-函數路線
應用 橢圓曲線密碼學（ECC）與本證明的關係是「理論先於應用」的雙向案例
榮譽 1998 特別銀質獎章（Wiles 43 歲領獎）；2016 阿貝爾獎（得獎工作頒發 21 年後）——費爾茲獎「40 歲上限」最著名的委屈判例
哲學 「頁邊空白」的最終答案：沒有人能以 1637 年的數學證明它——費馬本人若非誤解自己的證明，便是寫錯

關聯#