证明费马与最后定理 .ppt

費馬最後定理 勾股定理及勾股數組 勾股定理　在 ?ABC 中，若 ?C 為直角，則 a2 + b2 = c2。 留意：32 + 42 = 52; 52 + 122 = 132; 82 + 152 = 172; 72 + 242 = 252; ……等等 即 (3 , 4 , 5)、(5 , 12 , 13) … 等等為方程x 2 + y 2 = z 2 的正整數解。 我們稱以上的整數解為「勾股數組」。 勾股數組的通解 《算術》第 II 卷命題 8： 將一個平方數分為兩個平方數。即求方程 x 2 + y 2 = z 2 的正整數解。 費馬利用他發明的「無窮遞降法」來解此題，得到以下結果： 若 HCF(x , y) = 1，y 為偶數，則 x = u 2 - v 2 ; y = 2uv ; z = u2 + v 2 ；這裡 u v 0，HCF(u , v) = 1，u、v 奇偶性相反。 勾股數組 費馬的「解答」 將一個立方數分成兩個立方數，一個四次冪分成兩個四次冪，或者一般地將一個高於二次冪的數分成兩個相同次冪，這是不可能的。我對這個命題有一個美妙的證明，這裏空白太小，寫不下。 但，費馬從未向其他人提及這個「美妙證明」，亦沒有任何紀錄提及這件事！ 到底費馬的說法是否正確呢？ 「費馬最後定理」名稱的確立 甚麼叫「定理」？ 曾經被證實為正確無誤的數學命題。 既然費馬的命題又未被證明為正確，為甚麼又叫做「定理」呢？ 因為經過 300 多年，都沒有人能作出反例，所以人們相信是它是正確的，是一個定理。 費馬提出這命題後 30 年才去世，為甚麼會叫這命題做「最後定理」呢？ 因為費馬曾經提出過的命題，都已經被證實或否定，祇剩下這「最後」一題，未能獲證。 n = 4 的證明 費馬在給朋友的信中，曾經提及他已證明了 n = 4 的情況。但沒有寫出詳細的證明步驟。 1674 年，貝西在的少量提示下，給出這個情形的證明。 證明步驟主要使用了「無窮遞降法」。 費馬的證明 一個推論 可以斷言：對於任何正整數 k，方程x 4k + y 4k = z 4k 沒有正整數解。 如果方程有解，例如： a4k + b4k = c4k，則 (a k)4 + (b k)4 = (c k)4，但這與費馬的結果矛盾！ ? 原方程沒有解。 同樣道理，以後祇須證明對於奇質數 p，方程 x p + y p = z p 沒有正整數解。 再進一步 瑞士人。18世紀最優秀的數學家。 世上最多產的數學家。 13歲入大學，17歲取得碩士學位，30歲右眼失明，60歲完全失明。 1770年提出 n = 3 的證明。 可惜在細節上出現缺憾。 n = 5 的證明 勒讓德 Legendre (1752 - 1833) n = 7 的證明 拉梅 Gabriel Lamé (1795 - 1870) 理想數的誕生 庫麥爾 Ernst Edward Kummer (1810 - 1893) 懸紅十萬馬克 無數英雄盡折腰 1941年，雷麥證明當 n 253747887 時 ，「費馬最後定理」第 I 情況成立。 1977 年，瓦格斯塔夫證明當 n 125000 時，「費馬最後定理」成立。 1983 年，德國數學家伐爾廷斯證明了「莫德爾猜想」，從而推出方程 x n + y n = z n 最多祇有有限多個整數解。 1988 年，日本數學家宮岡洋一宣布以微分幾何的角度，證明了「費馬最後定理」！ 不過，該證明後來被發現有重大而無法彌補的缺陷，證明不成立！ 兩個疑問 相信沒有。可能費馬後來發現自己的證明有錯，所以沒有將它紀錄下來，但是，他修改了自己的方法，最後得到 n = 4 的證明。 橢圓曲線 定義　我們稱一條虧格數等於 1 的非奇異代數曲線為「橢圓曲線」。 簡單來說，就是由滿足方程  y 2 = x 3 + ax + b 的點所組成的曲線，其中 a、b 為任意的有理數。 「橢圓曲線」原本用來研究「橢圓函數」，而「橢圓函數」則用於計算橢圓的周長。事實上，「橢圓曲線」的形狀和橢圓形完全不同，到了現在，「橢圓曲線」已被獨立地研究。 橢圓曲線 谷山—志村猜想 谷山—志村猜想 之後，就開始了二人對「模形式」的研究。 1955 年，谷山開始提出他的驚人猜想。 1958 年，谷山突然自殺身亡。 其後，志村繼續谷山的研究，並提出以下的猜想： 谷山—志村猜想每一條橢圓曲線，都可以對應一個模形式。 對「谷山志村猜想」的評價 起初，大多數的數學家都不相信「谷山志村猜想」。 60 年代後期，眾多數學家反覆地檢驗該猜想，既未能證實，亦未能否定它。 到了 70 年代，相信「谷山志村猜想」的人越來越多，甚至以假設「谷山志村猜想」成立的前提下進行論證。 弗賴曲線（? 猜想） 1984 年秋，德國數學家弗賴（Gerh