费马最后定理和理想类.PDFVIP

數學傳播 42卷 2期, pp. 34-43 費馬最後定理及理想類 演講者 : Kenneth A. Ribet 教授 時 間 : 民國 106 年 8 月 1 日 地 點 : 天文數學館一樓 國際會議廳 整 理 : 陳其誠、 梁惠禎 Kenneth Alan Ribet 教授於 1948 年 出生於美國, 目前任教於加 州大學柏克萊分校。 他 為 Andrew Wiles 對費馬最後定理的證 明, 完成 了關鍵性的前置工作。 1 很榮幸在 NCTS 週年慶演講 。 我在柏克萊的第一批研究生中就有一位來 自台灣, 他是在 座的紀文鎮教授。 很久以前他邀請我來台灣, 今天算是我第三或第四次訪問, 記得在三年前參加 過 NCTS 的研討會, 印象深刻。 請容我先問 : 在座有多少人是專業數學家? 有多少人不是專業數學家? 這個演講的前半 部本來是講給非專業數學家聽的。 近結尾時, 我會談到屬於代數數論的理想類 (ideal classes)。 代數數論可說是源 自數學家對費馬最後定理的研究, 是數學的一門分支。 談費馬最後定理必須提到它長遠的歷史。 它起源於十七世紀, 會成為數學的核心問題, 是 基於各種各樣的原因, 其中一些純屬偶然。 而它在數學上所以重要, 其中一個原因是它引導出一 些重要的理論, 這些理論的應用範圍遠遠超過費馬最後定理本身的研究。 1993 年 6 月, 年輕的英國數學家 Andrew Wiles 在劍橋大學的數學會議上宣布 : 他已 證明費馬最後定理 , 350 多年來眾人對此問題的探索於焉完滿。 這全然令人驚訝。 從公眾的角度 來看, 這無疑是數學上最令人興奮的消息; 因此, 隔天早上, 我的名字、 當然還有 Andrew 的名 1影音檔請見 /watch?v=NwGX6hGSzxY 34 費馬最後定理及理想類 35 字, 都上了紐約時報的頭版。 稍後我會給出定理的實際敘述; 它攸關方程式的解, 基本上是說任何正整數 a, b 和 c 都 不能使某件事成立。 1993 年, 記者常問我的一個問題是 : 「能否藉由電腦來驗證這個定理? 是 否只要檢查了足夠的數據, 就能確信它是對的?」 身為專業數學家, 我們當然必須向記者及公眾 解釋 : 數學定理通常不能藉由有限的計算來證明。 數論是我的研究主題, 其中恰巧有許多表面 上看似不怎麼樣複雜的問題, 其所牽涉到的數值卻出奇的大。 譬如所謂的 Pell 方程式 : x2 − cy2 = 1, c : 常數; 費馬就觀察到, 若取 c = 109, 則方程式 x2 − cy2 = 1 的最小解是 x = 158070671986249, y = 15140424455100; 比起 109, x 很大, y 的值較 x 稍小, 也很大 (譯註 : 所以你若只檢查比較小的 x 或 y , 會以為此方程式沒有整數解)。 另一個有名的例子是 Euler 在十八世紀提出的一個猜想 : 方程式 a4 + b4 + c4 = d4 沒有 正整數解; 換句話說, 三個整數四次冪的總和永遠不可能是整數的四次冪。 到了 60 年代及 70 年 代, 人們開始懷疑這個猜想可能是錯的, 結果哈佛的 Noam Elkies 首先找到反例+ 4 4 4 + =。 後來我們知道, 這不是最小的反例, 但最小的反例並 不比它小很多。 Elkies 是用電腦找到反例的, 但在他讓筆記本電腦作運算之前, 已用紙筆做了 很多腦力工作。