濃墨重彩的費馬大定理證明

2020-12-04 初中化學大師

我們所熟知的「費馬大定理」(亦稱「費馬最後的定理」),是由法國數學家費馬於15世紀30年代提出的。無數的數學家耗費了幾個世紀來驗證這一理論的真偽,使這一定理成了「世界上最棘手的數學問題」之一。 費馬以其在解析幾何和數論方面所做的卓越貢獻而聞名於世。費馬認為,當方程a n +b n =c n 的冪指數n大於2時,方程中的參數a,b,c沒有整數解。比如:不存在3個整數使等式a 3 +b 3 =c 3 恆成立。

費馬的這一定理是從著名的畢達哥拉斯定理:a 2 +b 2 =c 2 衍生而來的。我們在學校學習畢達哥拉斯定理時一般會經過如下步驟:首先要學習一般三角形的性質,接著再引入直角三角形的性質,最後引出直角三角形兩條直角邊的平方和(a 2 +b 2 )等於斜邊平方和(c 2 )這一論斷(實質上就是引入了畢達哥拉斯定理)。

例如,當一個直角三角形的兩條直角邊長度分別為3和4時,那麼斜邊長度一定是5,因為3 2 +4 2 =5 2 。顯然這三個數字滿足畢達哥拉斯定理的條件,據此我們同樣可以經由任意兩個完全平方數(如9,16,25)求出另外一個完全平方數。

費馬因畢達哥拉斯定理而獲得啟發,進而研究了完全平方數的性質,並猜想能否通過任意兩個完全立方數就可求出另外一個完全立方數。但是費馬很快發現用這種方法求出的數不是太大就是太小,而且根本就不是完全立方數。我們舉個具體實例:

以9為邊長的立方體體積與以10為邊長的立方體體積之和結果近似於以12為邊長的立方體體積,但前者與後者並非完全等同(兩者相差1)。

由此,費馬大膽做出斷言:即使窮盡所有整數集合都不可能找出一組整數滿足這樣的條件:a 3 +b 3 =c 3 或a 4 +b 4 =c 4 ……

也就是說,當冪次項n>2時,上述方程不存在整數解。這可以看作對整數數域性質的大膽推斷。即使這一結論已經被數以萬計的例子加以驗證,但是僅靠枚舉法是無法窮盡所有數字的。

我們知道,一旦數學猜想得到證明而成為數學定理後,肯定是經得起時間考驗的,亙古不變。定理證明通常是在已經得證的公理性結論的基礎上,經過一系列可靠邏輯論證後進一步得到的結果,一經證實,便會成為新的公理流傳下來。費馬的這項推斷是在15世紀30年代產生的,但他並未給出詳細證明。而恰恰是這一證明困擾了無數的數學家近350年之久。有趣的是,費馬雖然沒有對該結論予以證明,但他在自己手稿的空白處寫到,他已經知道了關於該結論的一個美妙證明,只是限於筆記上已經沒有足夠空間可以寫出來。這不禁又引發了人們的無限遐想。費馬在手稿中未提及的這個證明方法困擾了數學家們幾個世紀之久依然懸而未決。「費馬大定理」也因此被評為「世紀數學難題」之一。

儘管「費馬大定理」被許多數學先驅關注,但是在350多年的時間長河裡,這一問題始終未得到圓滿解決。出乎意料的是,它最終卻被一位質樸而又略顯羞澀的英國數學家成功地證明了。當然,有關這位數學家的個人事跡我們可以從傳記作品、新聞紀實甚至是傳說中去了解,但是他在證明這一數學定理的過程中展現出的精妙之處卻不為人知。如果有人(不管是大人還是小孩)被數學家們堅持不懈的工作精神打動,被這樣一道十分有趣的「謎題」吸引,想親自去嘗試探索一番的話,那麼我推薦Simon Singh的著作——《費馬大定理》。

這本書中詳盡介紹了「費馬大定理」在被證明過程中展現的數學生動之美,Singh因此也將數學家們所從事的工作稱為「推進人類思想不斷邁進的偉大革命」。

在此之前,人們普遍認為目前缺少足夠新穎的數學工具來解決「費馬大定理」,以致將它視為無法解決的問題。許多國家為此設立豐厚的獎金以鼓勵人們向這一世界性難題發起挑戰,於是一批又一批的有識之士將自己的畢生精力投入其中,可惜的是,從結果來看並未取得實質性進展。Andrew Wiles,這位數學家的名字足以名垂青史,因為是他將「費馬大定理」完美地解決。

Wiles初識「費馬大定理」還是在他10歲的時候,當時是在家鄉劍橋當地一所學校的圖書館裡,他如此來形容自己與「費馬大定理」初次相遇的情形:「這個問題看起來似乎挺簡單的,很多偉大的數學家卻拿它沒有辦法。雖然我那時還只是10歲的小孩子,但是我知道自從和它相遇那一刻起,我就下定了決心,一定要去證明這一定理。」 多年之後,Wiles在劍橋大學取得了數學博士學位後,又被普林斯頓大學聘為數學系的一名講師。隨著工作的深入,他不禁意識到必須將自己的全部精力都投入到兒時就確立的目標中,才有可能看到希望。所以為了證明「費馬大定理」,Wiles暫停了手頭上的一切工作,開始閱讀大量相關領域的文獻,並收集整理新穎的數學思想。

他知道要進行證明,必須有新的數學分析工具出現,因此他將焦點集中在與「費馬大定理」相關的各種數學分支研究領域,試圖尋找解開關鍵環節的突破口。Wiles曾花費了幾年時間,用不同方法去嘗試證明,以尋求解決問題的最優路徑。終於在某一天午後,經過反覆驗證,Wiles興奮地告訴他的妻子,自己已經完美地驗證了「費馬大定理」。

在1993年,Wiles在英國劍橋大學牛頓學院舉辦的數學研討會上,公布了他對「費馬大定理」的證明結果,這一困擾人們350年之久的數學難題終於圓滿落幕。很多人此前都對Wiles的工作產生濃厚興趣,而且有關他將於本次研討會公布他對「費馬大定理」證明的消息早已不脛而走。當Wiles到達會場時,會議室裡早已坐滿了200多名數學家,有許多人都帶著照相機準備記錄這一激動人心的時刻,而那些沒能擠進會議室的人只能透過會議室的玻璃窗來見證這個奇蹟時刻。

Wiles大約用了3節課的時間來講解他的計算過程,當最終敲定結論時,全場報以熱烈的歡呼聲。據Singh回憶,那時各國媒體猶如潮水般湧入會場,整個會場氣氛又推向了新的高潮。人們感到難以置信,難道這個頗具歷史性的數學難題真的就這樣被解決了嗎?

數論學家與代數幾何學家Barry Mazur在回憶當時的情景時談道:「這是我有生以來聽到的最精彩的一次演講,在他講解證明的過程中你能夠感受到思維的跳躍,收穫最新的思想方法。我懷著緊張激動的心情讚嘆這項證明工程是如此的偉大,可以說此次的講演為『費馬大定理』的最終解決畫上了濃墨重彩的一筆。」

也許每位親眼見證這一偉大時刻的人都會認為「費馬大定理」至此告一段落,但不湊巧的是,在Wiles的證明中還存有一些錯誤,因此他不得不重新對他的證明過程進行調整。在1994年9月,歷經幾個月的修改工作後,Wiles終於確認了證明結論的完整性與準確性。其實在證明過程中使用的許多理論在此之前並未在邏輯上顯現出關聯性,Wiles通過自身的努力和研究將這些理論恰當地聯結在一起,從而開創了數學領域一套全新的方法理論體系。

我們不應忘記的是,來自伯克利分校的數學家Ken Ribet同樣對「費馬大定理」的最終證明做出了卓越貢獻:他通過將兩個看似毫不相關的數學分支(這裡指的是橢圓方程與數論)體系建立聯繫,從而拓寬了數學領域的研究視野。

關於這場令人難忘的證明講演,更深入的細節可以在Singh以及其他人的著作中找到具體描寫。現在讓我們把目光拉回來,那麼這樣一個故事又對孩子們的教育有什麼樣的啟發呢?數學家與學生所接觸的數學差異在於:數學家花費很長時間投身於複雜的數學問題,這些問題通常涉及多個領域的數學知識。這與學生在課堂上花費好幾個小時聽老師講解單一模式解題方法的情況有著較大差別。其實如果學生有能力應對冗長且複雜的數學問題,那麼這將會對他們很有幫助:這種能力能夠讓年輕人在面對未來工作和生活中的困難時堅持不懈,不輕言放棄。在對許多數學家的採訪中,他們都一致表示非常熱衷於去處理那些困難棘手的問題。

本文由初中化學大師原創,歡迎關注,一起漲知識!

允許非盈利性引用,並請註明出處:「轉載自初中化學大師」字樣,以尊重作者的勞動成果

相關焦點

  • 數理史上的絕妙證明:費馬大定理
    費馬宣稱自己證明了但在書邊寫不下證明過程的那個猜想,後來變成了費馬大定理。三百多年來,費馬大定理的證明吸引了大批數學家前僕後繼,也產生了諸多無心插柳式的成果。如今,費馬大定理算是得到了證明,但也許我們還是可以期待費馬曾以為得到過的那種簡明的證明。
  • 數理史上的絕妙證明:費馬大定理|賢說八道
    費馬宣稱自己證明了但在書邊寫不下證明過程的那個猜想,後來變成了費馬大定理。三百多年來,費馬大定理的證明吸引了大批數學家前僕後繼,也產生了諸多無心插柳式的成果。如今,費馬大定理算是得到了證明,但也許我們還是可以期待費馬曾以為得到過的那種簡明的證明。
  • 數理史上的絕妙證明:費馬大定理 | 賢說八道
    原創: 曹則賢 返樸費馬宣稱自己證明了但在書邊寫不下證明過程的那個猜想,後來變成了費馬大定理。三百多年來,費馬大定理的證明吸引了大批數學家前僕後繼,也產生了諸多無心插柳式的成果。
  • 費馬真的知道費馬大定理的證明嗎?
    他仍然確信費馬是帶著一個沒有向任何人揭示的他所聲稱的證明歸於塵土的。  多虧了現代數學家安德魯·懷爾斯,我們才能夠知道費馬的聲稱是正確的,他也因為在費馬大定理上的著名工作而在不久前獲得了阿貝爾獎。但是,費馬真的有那個絕妙的證明嗎?這正是我今天想要探討的。
  • 費馬大定理,數學最大的浪漫
    —費馬大定理。費馬小定理?……小先生就來講講費馬最後的定理——費馬大定理                   我們熟知的費馬做過很多數學上的貢獻,但其實,他的主業是一名律師,而數學家只是他的業餘身份,他也因此獲得了「業餘數學家之王」的稱號。
  • 費馬大定理為什麼敢叫「大」定理?
    恰好他讀到了前人一篇試圖證明費馬大定理但是失敗了的論文。更不可思議的是,他發現了其中一行證明邏輯上有個漏洞,而這個漏洞可能導致費馬大定理得到證明!於是,他開始了全神貫注的證明工作。最後,他補救了該論文的證明,得出的結論 是:「費馬大定理不可證」不見得是真命題。
  • 費馬大定理:費馬自己故意不寫證明,坑了數學家們358年
    他就是費馬,留下了費馬大定理。正是這樣的靈活轉變,才使得費馬創造出了費馬大定理。費馬大定理的闡述並不複雜,可令人奇怪的是,費馬自己並沒有給出來證明過程。這個傢伙開始調皮了,他在費馬大定理的手稿旁邊留下了一句話,大意是我已經想出了一個很巧妙的證明方法,但是紙已經沒地方寫了,那我就省略了。實際上他的手稿還有一片不小的空白,他在故意的引誘其他數學家。
  • 懷爾斯用新方法證明了費馬大定理,數學界認為費馬本人都未曾證明
    筆記中的數學命題,往往沒寫下證明過程,留下了一個極為誘人的挑戰。幾年內,讀者幾乎證明出了所有命題,除了那個關於高維勾股數組的命題,那是「最後一個」未能被證明的命題(費馬大定理也稱作「費馬最後的定理」)。 幾個世紀以來,費馬大定理成了科學家、業餘愛好者和「民科」們追逐的對象,每次看似靠近卻發現沒有出路。
  • 漸修與頓悟:從費馬大定理的證明看創造力的5要素
    這也就是著名的費馬大定理,又被稱為「費馬最後的定理」。300多年來,無數的數學家接力嘗試,要去解決這個難題,卻都徒勞無功。這個號稱世紀難題的「費馬最後定理」也就成了數學界的心頭病,極欲解之而後快。甚至到了1908年,哥廷根皇家科學協會還公布了沃爾夫斯凱爾獎:凡在2007年9月13日前解決費馬大定理者,將獲得10萬馬克獎勵。
  • 費馬大定理的啟示:數學內容、方法的豐富促成了費馬大定理的解決
    費馬大定理的證明事件已經過去多年了,回顧起來還是會給我很大的震撼,功給了我很大的啟發。目前的社會早就已經進入了高速的知識增長、爆炸時代,而我們的教育仍然是以知識的積累為目的的,不敢說直接淘汰這種教育,但重新審視和改革是必須的。知識的爆炸增長是全面覆蓋的,數學自然也不例外。
  • 費馬大定理證明者獲阿貝爾獎
    挪威科學與文學院15日宣布,將2016年度阿貝爾獎授予英國數學家安德魯·懷爾斯,以表彰他在證明費馬大定理方面所作出的卓越貢獻。
  • 指數為3的費馬大定理的證明(下)
    有了前面2篇的準備,我們現在開始給出高斯對於n=3時費馬大定理的證明。實際上高斯是證明了一個更為一般的結論,即對於每個單位ε,型如x^3+y^3=εz^3的方程在復整數範圍中沒有xyz≠0的解。下面我們來說具體說明如何證明這3步。(I)的證明:假設復整數x,y,z,滿足x^3+y^3=εz^3且xyz≠0,x,y,z兩兩互素(如果有公因子等式兩邊除一下消去即可)。
  • 指數為3的費馬大定理的證明(上)
    費馬大定理大家都非常熟悉,是說型如x^n+y^n=z^n(n大於2的整數)成立的x,y,z是不存在的。這一假設最終在1995年由英國數學家懷爾斯徹底證明。今天只介紹在《數學的100個基本問題》中提到的關於n=3的時候一個精巧證明,而提供這一證明的正式偉大的數學王子——高斯。
  • 從3到n:費馬大定理得證歷程
    大家翻遍費馬遺稿,也沒找到這一證明。19世紀初,費馬遺留的其他問題均告解決,只剩這一問題懸而未解,是以被稱為「費馬最後定理」(我國稱「費馬大定理」)。 費馬大定理 不存在正整數x、y、z,使得xn+yn=zn;n為大於2的正整數。
  • 費馬大定理,難道只有一種證明方法?就沒人問這事?
    ;那個偉大的畢達哥拉斯定理,已經擁有幾百種證明方法;好吧,現在,可不可以問:你推崇的費馬大定理,為什麼不去追求第二種證明方法?看清楚,是用兩種方法來證明看看你給她的名字,就知道她有多麼重要;大定理,是大定理,你甚至稱呼她---費馬終極定理;看看她等待的時間,就知道她有多麼深奧;她等待了三百年,這是三個世紀啊
  • 費馬大定理是啥?有啥用?
    《數學通識50講》1、費馬大定理是啥?有啥用?很多人都聽說過費馬大定理,但具體是啥恐怕說不上來。讓我意外並長見識的是,今天區塊鏈技術用到的橢圓加密方法,就是以它為基礎的。2、著名的希爾伯特第十問題又是啥?有啥用?通過它能理解數學的邊界,這是一個硬的邊界。3、高深的理論數學研究有啥用?
  • 費馬大定理這三百年,鬼知道它究竟經歷了什麼?
    不過費馬對大定理的研究也止步於此,他並沒有給出對其他自然數n的相關證明。在聽聞費馬的評註之後,德國數學家萊布尼茨(Leibniz)也獨立證明了"n=4"的情形,證明的手法與費馬如出一轍。在費馬大定理提出後,18世紀最偉大的數學家之一歐拉(Euler)成為取得重大進展的第一人。1770年,歐拉證明了當"n=3"的時候,費馬大定理成立。
  • 重磅 | 費馬大定理有反例?你怎麼看?
    在動畫片《辛普森一家》中,辛普森曾經構造出費馬大定理的一個「反例」:
  • 費馬大定理:從赫克代數到橢圓曲線,一部輝煌的數學史詩
    .這個結論與費馬大定理的要求還有很大的距離.但是人們感覺畢竟是從另外的角度向費馬大定理靠近,而且有希望從代數幾何方面獲得解決費馬大定理的有力工具.TSW猜想來推出費馬大定理。 1988年,報紙聲稱東京大學38歲的宮岡洋證出了費馬大定理。不過也像過去一樣,被發現巨大邏輯漏洞。
  • 臨沂「農民數學家」迷上「費馬大定理」推算9年
    程中永20歲起就跟著大哥一起打工,痴迷於研究費馬大定理的程中佔常常與弟弟程中永探討各種數學難題,一來二去,兄弟倆都成了「數學迷」。1995年,英國數學家安德魯·懷爾斯發表歷史性長文《模橢圓曲線和費馬大定理》,被認為是「20世紀最重大的數學成就」,懷爾斯的論證過程共五章130頁。