求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。

費馬檢視原始碼討論檢視歷史

事實揭露 揭密真相
前往: 導覽搜尋
皮埃爾·德·費馬
原文名 Pierre de Fermat
出生 (1601-08-17)1601年8月17日
法國
逝世 1665年1月12日(1665-01-12)(63歲)
國籍 法國
職業 律師

【費馬大定理真相】 https://factpedia.org/wiki/%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86%E7%9C%9F%E7%9B%B8

皮埃爾·德·費馬法國律師和業餘數學家。他在數學上的成就不比職業數學家差,他似乎對數論最有興趣,亦對現代微積分的建立有所貢獻。被譽為"業餘數學家之王"。費馬,是當今常見譯法,80年代的書籍文章也多見譯為"費爾瑪"的情況,但"費瑪"則少見。

人物簡介

皮耶·德·費馬(Pierre de Fermat)是一個17世紀的法國律師,也是一位業餘數學家。之所以稱業餘,是由於皮耶·德·費馬具有律師的全職工作。根據法文實際發音並參考英文發音,他的姓氏也常譯為"費爾瑪"(注意"瑪"字)。費馬最後定理在中國習慣稱為費馬大定理,西方數學界原名"最後"的意思是:其它猜想都證實了,這是最後一個。著名的數學史學家貝爾(E. T. Bell)在20世紀初所撰寫的著作中,稱皮耶·德·費馬為"業餘數學家之王"。貝爾深信,費馬比皮耶·德·費馬同時代的大多數專業數學家更有成就。17世紀是傑出數學家活躍的世紀,而貝爾認為費馬是17世紀數學家中最多產的明星。

個人成就

對解析幾何的貢獻

費馬獨立於笛卡兒發現了解析幾何的基本原理。

1629年以前,費馬便着手重寫公元前三世紀古希臘幾何學家阿波羅尼奧斯失傳的《平面軌跡》一書。他用代數方法對阿波羅尼奧斯關於軌跡的一些失傳的證明作了補充,對古希臘幾何學,尤其是阿波羅尼奧斯圓錐曲線論進行了總結和整理,對曲線作了一般研究。並於1630年用拉丁文撰寫了僅有八頁的論文《平面與立體軌跡引論》。

費馬於1636年與當時的大數學家梅森、羅貝瓦爾開始通信,對自己的數學工作略有言及。但是《平面與立體軌跡引論》的出版是在費馬去世14年以後的事,因而1679年以前,很少有人了解到費馬的工作,而現在看來,費馬的工作卻是開創性的。

《平面與立體軌跡引論》中道出了費馬的發現。他指出:「兩個未知量決定的—個方程式,對應着一條軌跡,可以描繪出一條直線或曲線。」費馬的發現比笛卡爾發現解析幾何的基本原理還早七年。費馬在書中還對一般直線和圓的方程、以及關於雙曲線、橢圓、拋物線進行了討論。

笛卡兒是從一個軌跡來尋找它的方程的,而費馬則是從方程出發來研究軌跡的,這正是解析幾何基本原則的兩個相反的方面。

在1643年的一封信里,費馬也談到了他的解析幾何思想。他談到了柱面、橢圓拋物面、雙葉雙曲面和橢球面,指出:含有三個未知量的方程表示一個曲面,並對此做了進一步地研究。

對微積分的貢獻

16、17世紀,微積分是繼解析幾何之後的最璀璨的明珠。人所共知,牛頓和萊布尼茨是微積分的締造者,並且在其之前,至少有數十位科學家為微積分的發明做了奠基性的工作。但在諸多先驅者當中,費馬仍然值得一提,主要原因是他為微積分概念的引出提供了與現代形式最接近的啟示,以致於在微積分領域,在牛頓和萊布尼茨之後再加上費馬作為創立者,也會得到數學界的認可。

曲線的切線問題和函數的極大、極小值問題是微積分的起源之一。這項工作較為古老,最早可追溯到古希臘時期。阿基米德為求出一條曲線所包任意圖形的面積,曾藉助於窮竭法。由於窮竭法繁瑣笨拙,後來漸漸被人遺忘、直到16世紀才又被重視。由於開普勒在探索行星運動規律時,遇到了如何確定橢圓形面積和橢圓弧長的問題,無窮大和無窮小的概念被引入並代替了繁瑣的窮竭法。儘管這種方法並不完善,但卻為自卡瓦列里到費馬以來的數學家開闢廠一個十分廣闊的思考空間。

費馬建立了求切線、求極大值和極小值以及定積分方法,對微積分做出了重大貢獻。

對概率論的貢獻

早在古希臘時期,偶然性與必然性及其關係問題便引起了眾多哲學家的興趣與爭論,但是對其有數學的描述和處理卻是15世紀以後的事。l6世紀早期,意大利出現了卡爾達諾等數學家研究骰子中的博弈機會,在博弈的點中探求賭金的劃分問題。到了17世紀,法國的帕斯卡和費馬研究了意大利的帕喬里的着作《摘要》,建立了通信聯繫,從而建立了概率學的基礎。

費馬考慮到四次賭博可能的結局有2×2×2×2=16種,除了一種結局即四次賭博都讓對手贏以外,其餘情況都是第一個賭徒獲勝。費馬此時還沒有使用概率一詞,但他卻得出了使第一個賭徒贏得概率是15/16,即有利情形數與所有可能情形數的比。這個條件在組合問題中一般均能滿足,例如紙牌遊戲,擲銀子和從罐子裡模球。其實,這項研究為概率的數學模型一概率空間的抽象奠定了博弈基礎,儘管這種總結是到了1933年才由柯爾莫戈羅夫作出的。

費馬和帕斯卡在相互通信以及着作中建立了概率論的基本原則——數學期望的概念。這是從點的數學問題開始的:在一個被假定有同等技巧的博弈者之間,在一個中斷的博弈中,如何確定賭金的劃分,已知兩個博弈者在中斷時的得分及在博弈中獲勝所需要的分數。費馬這樣做出了討論:一個博弈者A需要4分獲勝,博弈者B需要3分獲勝的情況,這是費馬對此種特殊情況的解。因為顯然最多四次就能決定勝負。

一般概率空間的概念,是人們對於概念的直觀想法的徹底公理化。從純數學觀點看,有限概率空間似乎顯得平淡無奇。但一旦引入了隨機變量和數學期望時,它們就成為神奇的世界了。費馬的貢獻便在於此。

對數論的貢獻

17世紀初,歐洲流傳着公元三世紀古希臘數學家丟番圖所寫的《算術》一書。l621年費馬在巴黎買到此書,他利用業餘時間對書中的不定方程進行了深入研究。費馬將不定方程的研究限制在整數範圍內,從而開始了數論這門數學分支。

費馬在數論領域中的成果是巨大的,其中主要有:

費馬大定理:n>2是整數,則方程x^n+y^n=z^n沒有滿足xyz≠0的整數解。這個是不定方程,它已經由美國數學家證明了(1995年),證明的過程是相當艱深的!

費馬小定理:a^p-a≡0(mod p),其中p是一個素數,a是正整數,它的證明比較簡單。事實上它是Euler定理的一個特殊情況,Euler定理是說:a^φ(n)-1≡0(mod n),a,n都是正整數,φ(n)是Euler函數,表示和n互素的小於n的正整數的個數(它的表達式歐拉已經得出,可以在「Euler公式"這個詞條里找到)。

另外還有:

(1)全部素數可分為4n+1和4n+3兩種形式。

(2)形如4n+1的素數能夠,而且只能夠以一種方式表為兩個平方數之和。

(3)沒有一個形如4n+3的素數,能表示為兩個平方數之和。

(4)形如4n+1的素數能夠且只能夠作為一個直角邊為整數的直角三角形的斜邊;4n+1的平方是且只能是兩個這種直角三角形的斜邊;類似地,4n+1的m次方是且只能是m個這種直角三角形的斜邊。

(5)邊長為有理數的直角三角形的面積不可能是一個平方數。

(6)4n+1形的素數與它的平方都只能以一種方式表達為兩個平方數之和;它的3次和4次方都只能以兩種表達為兩個平方數之和;5次和6次方都只能以3種方式表達為兩個平方數之和,以此類推,直至無窮。

(7)發現了第二對親和數:17296和18416。

十六世紀,已經有人認為自然數裡就僅有一對親和數:220和284。有一些無聊之士,甚至給親和數抹上迷信色彩或者增添神秘感,編出了許許多多神話故事。還宣傳這對親和數在魔術、法術、占星術和占卦上都有重要作用等等。

距離第一對親和數誕生2500多年以後,歷史的車輪轉到十七世紀,1636年,法國「業餘數學家之王」費馬找到第二對親和數17296和18416,重新點燃尋找親和數的火炬,在黑暗中找到光明。兩年之後,「解析幾何之父」——法國數學家笛卡爾](René Descartes)於1638年3月31日也宣布找到了第三對親和數9437506和9363584。費馬和笛卡爾在兩年的時間裡,打破了二千多年的沉寂,激起了數學界重新尋找親和數的波濤。

對光學的貢獻

費馬在光學中突出的貢獻是提出最小作用原理,也叫最短時間作用原理。這個原理的提出源遠流長。早在古希臘時期,歐幾里得就提出了光的直線傳播定律相反射定律。後由海倫揭示了這兩個定律的理論實質——光線取最短路徑。經過若干年後,這個定律逐漸被擴展成自然法則,並進而成為一種哲學觀念。—個更為一般的「大自然以最短捷的可能途徑行動」的結論最終得出來,並影響了費馬。費馬的高明之處則在於變這種的哲學的觀念為科學理論。

費馬同時討論了光在逐點變化的介質中行徑時,其路徑取極小的曲線的情形。並用最小作用原理解釋了一些問題。這給許多數學家以很大的鼓舞。尤其是歐拉,競用變分法技巧把這個原理用於求函數的極值。這直接導致了拉格朗日的成就,給出了最小作用原理的具體形式:對一個質點而言,其質量、速度和兩個固定點之間的距離的乘積之積分是一個極大值和極小值;即對該質點所取的實際路徑來說,必須是極大或極小。

相關影片

Pierre de Fermat: Biography of a Great Thinker
L'énigme de Fermat
Pierre de Fermat: Dynamics and Least-Time

參考文獻

  • 萬方數據期刊論文費馬原理確定柱面和錐面反射點的解析表示式 - 電波科學學報 - 200419 ( 2 )
  • 萬方數據期刊論文非均勻介質中地震波走時與射線路徑快速計算技術 - 地震學報 - 200022 ( 2 )
  • 萬方數據期刊論文一種規整高速的費馬數模乘的VLSI結構 - 半導體學報 - 200021 ( 10 )