證明「費馬最後定理」：懷爾斯生日│科學史上的今天：4/11

本文與 Panasonic 合作，泛科學撰文 

●以下科學研究內容作為知識分享，不直接與Panasonic A La Uno全自動洗淨馬桶產品功能連結

在做家務的痛苦排行榜上，「刷馬桶」絕對名列前茅。明明天天都在沖水，但過不了幾天，馬桶內壁邊角總會浮現黃黃的水垢、角落發黑的霉斑，甚至是那些刷掉又長出來的粉紅色污垢（黏質沙雷氏菌）。

許多市售衛浴設備常標榜「神奇抗污」或「永久不沾」，讓人誤以為安裝後便能永保潔淨。然而從材料科學的角度來看，世上並無能使污垢憑空消失的魔法。所謂「耐污」的實質機制，並非打造完全不沾染髒污的材質，而是調整表面的物理與化學屬性，使水垢和微生物難以強力附著。一旦降低了污垢與內壁之間的附著力，透過日常水流沖刷，便能輕易地將髒污帶走。

為什麼污垢「黏不住」？ 

要搞懂為什麼某些特殊表面能做到「耐污」，我們得先像偵探一樣，拆解馬桶裡的髒污究竟是怎麼「抓緊」材料表面的。馬桶內壁的污垢主要有兩大難纏的元兇：

1. 水垢與礦物沉積*1：我們日常使用的自來水中含有鈣、鎂等金屬離子。當水滴在表面經歷反覆的濕潤與蒸發乾燥循環時，這些離子會逐漸結晶析出，變成硬度極高、緊緊「卡」在微觀縫隙裡的礦物質水垢。
2. 生物膜與有機物*2：包含尿液中的無機鹽、油脂殘留，以及細菌入侵後分泌出像超強膠水一般的聚合物，所組成的黏滑防禦大本營。

這兩大類污垢想要在材料上「落腳」，前提是它們必須能在表面找到足夠的附著點與黏合力。那麼，材料科學家是如何讓這些髒污「站不穩」的呢？答案就藏在「表面能（Surface Energy）」與「濕潤性（Wettability）」這兩個核心概念中。

當我們把水滴在某個表面上時，水滴會聚成一顆圓滾滾的水珠，還是迅速攤平開來？這取決於表面的特性：

• 疏水路線（Hydrophobic）*1：具備低表面能的疏水表面，能顯著減少水分子或污染物與表面之間的極性作用力與氫鍵。水滴在這種表面上會因為表面張力而收縮成水珠，當水珠滾動滑落時，就能順便把表面的灰塵與礦物質顆粒帶走，這就是著名的「自清潔效應」。
• 親水路線（Hydrophilic / Superhydrophilic）*2：相反地，極度親水的超親水表面則會強烈地吸引水分子，在材料最外層形成一層薄薄的「水化層（Hydration Layer）」。這層水化層就像是實體的液體盾牌，讓油污、蛋白質或細菌無法直接接觸到材料基底，只能漂浮在水膜上方。

如果要用攀岩來比喻：傳統粗糙的表面就像是有許多凹槽的攀岩牆，髒污就像攀岩者，需要找到落腳點並用力撐住才能攀附；而我們做的是抽掉把手點，或是在把手上塗上潤滑油，讓髒污找不到施力點，自然難以停留。

不給細菌「握手」的機會

解決了水垢，下一個更棘手的對手是「細菌」。

馬桶內壁那些黑黑粉粉、摸起來滑滑的污垢，在微生物學中被稱為「生物膜（Biofilm）」。細菌並不是孤立生長的，當單顆細菌落在表面後，如果覺得環境舒適，它就會開始分泌胞外聚合物（EPS），這是一種天然的超強膠水。細菌們用這種膠水把自己與同伴緊緊黏在一起，並築起堅固的防禦堡壘，這時一般的沖水就很難把它們沖洗乾淨了。

根據《Nature Communications》與《Microsystems & Nanoengineering》的學術期刊研究指出，要阻止生物膜形成，除了化學上的抗菌，材料的「表面微幾何結構」扮演了至關重要的角色。

材料科學領域中有一個著名的「附著點理論（Attachment Point Theory）」：

1. 粗糙與微孔洞表面：如果材料表面存在許多微小的裂縫、氣孔或微米級凹洞，細菌（體積通常約 1 到 3 微米）就會興高采烈地鑽進這些小凹槽裡。這些凹槽不僅提供了極佳的機械咬合支點，還能幫細菌擋掉水流的沖刷。
2. 極致平滑與微結構表面：相反地，如果材料表面做到極致平滑，完全沒有微米級的缺陷；或者反過來設計出尺寸遠小於細菌的奈米結構，細菌的足跡構造（如鞭毛或纖毛）就無法在表面找到穩固的「接觸附著點（Contact Points）」。

當細菌發現自己在這個表面上連「手都握不緊」、隨時會被水流吹走時，它就無法順利定殖並分泌膠水築巢。此外，現代衛浴結構在設計時，也越來越強調「一體成形」與「無接縫工藝」。消除接縫與死角，等於直接拔除了細菌與水垢最喜歡的避風港。

當材料、結構與流體科技組隊聯防 

了解了材料化學與微觀幾何，我們就能勾勒出一座現代耐污馬桶的完整防禦體系：【材料層（低附著力）】+【結構層（無縫平滑）】+【動態流體層（泡沫與水流剪切力）】= 高效清潔！

以市面上備受矚目的 Panasonic A La Uno 全自動洗淨馬桶為例，就是將材料科學、結構工程與流體力學發揮到極致的典型代表：

1. 材料層：有機玻璃系新素材

A La Uno 全自動洗淨馬桶採新開發的「有機玻璃系新素材」（以壓克力高分子為基礎研發的衛浴專用材料，這類高分子成形技術亦被廣泛運用於大型水族館高壓觀景窗與飛機機艙罩）。這種材料表面具備極佳的疏水性與耐水垢特性，水滴不易長時間攤平停留；材質堅固、不易破裂，耐刮、不易造成細小傷痕。通過實驗測試，這種素材配合泡沫洗淨，在沖洗後能有效沖刷掉高達 99.99% 的大腸桿菌，從源頭阻斷細菌定殖。

2. 結構層：無接縫工藝與三重防濺防護

在宏觀結構上，A La Uno 全自動洗淨馬桶採用無水箱沖水與便器、溫水洗淨便座一體成型設計，減少傳統水箱與座體之間的結構層次及接縫，並搭配可動迴轉式排水系統完成沖洗。更貼心的是其「三重防護」設計：

• 泡沫防護：在水面上製造一層充沛的泡沫緩衝層，有效抑制男性站立小便時的尿液與污水飛濺；
• 外圍防護：馬桶邊界特別設計了高約 3mm 的水檔，防止液體延著外壁滴落至地板；
• 測漏防護：便座與馬桶本體採用不外露的防護設計，避免液體從縫隙飛濺滲漏。

3. 動態流體層：雙效泡沫洗淨、漩渦水流與 nanoe™ X

當污垢降落在馬桶內壁時，A La Uno全自動洗淨馬桶 的動態流體科技便接手進行徹底打掃。其「雙效泡沫洗淨」會先釋放直徑約 5mm 的「毫米泡沫」包裹並帶走大塊髒污，再透過直徑約 60微米的「微米泡沫」深入微觀縫隙，徹底溶解殘餘的油脂與細微污垢。接著，配合高度清潔力的「漩渦型強力水流」，利用旋轉產生的流體剪切力，一口氣將附著力已被削弱的污垢剝離並沖走。此外，Panasonic A La Uno 全自動洗淨馬桶還搭襯了 nanoe™ X 健康科技，釋放氫氧離子有效抑制異味與髒污，維持空氣與內壁的良好衛生狀態。

科技讓生活變輕鬆，但物理法則依然誠實

從材料化學的低表面能設計，到微觀幾何的附著點控制，再到流體力學的水流沖刷，一座現代抗污馬桶的演進，縮影了人類如何運用基礎科學來解決日常生活痛點的智慧。

我們習慣將衛生清潔想像成一場與細菌髒污的硬碰硬死鬥。然而，A La Uno全自動洗淨馬桶 等現代衛浴技術的突破，展示了材料科學的另一種聰明思維：不靠強酸強鹼硬打，而是透過物理與化學邏輯，將「污垢固著」的機率降到最低。

當材料科學與現代衛浴技術結合，刷馬桶不再是一件令人頭痛的辛苦瑣事。透過這些前沿科技的加持，我們得以從繁重的家務勞動中解放，享受更加乾淨、舒適且有品質的日常生活。

*1 參考論文：A metallic anti-biofouling surface with a hierarchical topography containing nanostructures on curved micro-riblets

*2 參考論文：Brushing up functional materials

數感實驗室／朱倍玉

如果有人突然問你： \(  a^{2}+b^{2=} \)？ 台灣學生大概像膝反射一樣，自然而然地答出 \( c^{2} \)。

直角三角形，直角的兩鄰邊長的平方和等於斜邊長的平方。這是人人都熟悉的畢氏定理，也是百年數學之謎「費馬最後定理」的一部分。

費馬提出的世紀難題

費馬（Pierre de Fermat）是 17 世紀的一名律師，數學是他業餘的興趣，當時與他書信往來的包括了笛卡爾、帕斯卡、惠更斯等歷史上知名的數學家。雖然費馬本業跟數學天差地遠，但他相繼提出微積分、機率論與數論的研究，在數學界的貢獻不輸職業數學家，也因此獲得「業餘數學家王子」的封號。

研究《算數》（Arithmetica）這本書時，費馬在書的空白處寫下「\(  a^{n}+b^{n}=c^{n} \)，當 \(  n>2  \) 時無正整數解」，並且用拉丁文留下一句話「我發現了一個極為美妙的證明，可是空白處太小所以沒寫下來」。

短短一條小學生就能理解的式子，再加上一句話，卻讓後世的數學家們花了足足三百年，直到 1995 年才由懷爾斯（Andrew John Wiles）教授完成證明，而這項證明，被稱為上個世紀的大任務。

(2019/8/20) 編按：原文提及費馬定理時敘述為「無解」，實為「無正整數解」，特此更正。

立志要趁早，十歲許願解題的懷爾斯

這個世紀大任務的起點是懷爾斯 10 歲那年。他在圖書館翻閱一本講述費馬最後定理歷史的書，當時，他便對費馬留下來的難題產生濃厚興趣。在其他人才正要認識三角形的年紀，懷爾斯已經下定決心要解決這道流傳百年的難題。正好，又提供大家一個立志要及早的偉人例證。

跟很多成就大事的人一樣，懷爾斯在研究費馬最後定理的過程並非一帆風順。他踏入數學界的時期，正好是數學界準備放棄費馬最後定理的時候。大多數學家認為費馬最後定理無法證明，紛紛轉往其他領域。懷爾斯的指導教授也不例外，要懷爾斯放棄夢想，別白忙一場。也因此除了夢想外，他同時開始研究橢圓曲線^註1這個領域。

然而事實上在更早以前，日本數學家谷山豐和志村五郎提出「谷山－志村猜想」，他們認為橢圓曲線與「模形式」^註2可能有關聯。但是，橢圓曲線或是它與模形式的關聯跟費馬最後定理有什麼關係呢？1985 年，德國數學家佛列（Gerhard Frey）將谷山－志村猜想與費馬最後定理連結，他認為谷山－志村猜想可能可以協助完成費馬最後定理的證明。

後來，法國數學家賽爾（Jean-Pierre Serre）、美國數學家里貝特（Ken Ribet）也投入研究。他們發現只要證明出谷山－志村猜想就可以完成費馬最後定理的證明，才再次啟動懷爾斯的世紀難題證明之路。

於是，長達 7 年的時間，懷爾斯致力於研究谷山－志村猜想與費馬最後定理，他也找來另一位數學教授卡茲（Nicholas Katz）加入研究。懷爾斯是一個很低調的人，為了避免引起眾人的懷疑與關注，他在學校開設新課程，好讓卡茲協助他找到證明費馬最後定理所需要的最後一項工具──類數公式^註3。

由於懷爾斯從未說明開課目的，也沒向學生解釋這個公式將幫助他們通往費馬最後定理，只是不停地證明，難度相當高，搞到最後台下聽眾就只剩下卡茲。不久後，懷爾斯正式完成所有證明。他選擇在劍橋大學舉辦三場研討會，對外宣稱研討會的內容討論的是橢圓曲線和模形式，完全沒提到費馬最後定理。

當時有些謠言，這場研討會似乎有更勁爆的突破要發生，許多學者因此前來。研討會上，懷爾斯從橢圓曲線、模形式，一路證明到費馬最後定理，帶給台下聽眾滿滿的驚喜。隔天報章雜誌上，到處都在報導世紀難題已經解決的喜訊。

以為解開了嗎？過程曲折離奇

然而「福兮，禍之所伏」，驚喜後面還藏了一個巨大的驚嚇。當懷爾斯的證明手稿進入審查階段，卡茲與懷爾斯反覆驗證時，他們找到一處先前完全沒發現的錯誤。

人們尖銳地檢視著懷爾斯的失誤，漫天的喜訊瞬間化成毫無遮掩的嘲諷。懷爾斯接受訪問時也表達，在備受矚目的狀態下進行研究並不是他的風格。他把自己關在書桌前，試圖解決這個錯誤，然而不論怎麼做都沒辦法突破。

就在陷入絕望之際，他偶然在桌邊看到一份關於「岩澤理論」的論文。一時靈光乍現，他運用了岩澤理論來化解掉原先證明的錯誤，完成證明。1995 年，世紀難題才正式從未竟之謎的名單中消除。

「或許，我能給出關於我研究數學的歷程最貼切的描述，就是進入一棟大房子。當一個人開始探索第一個全黑的房間時，裡頭一片漆黑，他會在家具中邊跌倒邊摸索。漸漸地知道家具的位置。六個月後，你會找到開關並且打開燈。開燈的那一瞬間，整個房間被光線壟罩，你終於，能清楚地看見你站在哪裡」

——懷爾斯（Andrew John Wiles）

BBC拍攝了一部關於破解費馬最後定理的紀錄片，這段話正是懷爾斯在片頭的開場白。

破解費馬最後定理的世紀任務就像是完成一場接力式的拔河比賽，仰賴歷史上許多數學家的一臂之力，更需要在時間的沖刷與眾人的關注下承擔壓力的決心。從這個例子我們也可以看到，數學不是計算，更不是算得快就叫數學好。它是思考與邏輯，能讓許多人投入一生也樂此不疲的遊戲。

今年的 8 月 17 日，正好是費馬的 418 歲生日，特別寫這段費馬留給後人的禮物來祝他生日快樂！

註釋：

1. 橢圓曲線（Elliptic Curve）是二元三次曲線的一種形式，其圖形並非橢圓，而是圓環狀。
2. 模形式（Modular forms）是具有極複雜對稱性的複數平面函數。
3. 類數公式（Class number formula）與環的有限序列有關。

資料來源：

• 費瑪最後定理（Fermat’s Last Theorem） 紀錄片
• mathworld.wolfram-Elliptic Curve
• 模形式
• mathworld.wolfram-Class Number Formula
• 解開「費馬最後定理」的懷爾斯—《科學月刊》
• Andrew John Wiles
• Andrew-Wiles
• Pierre de Fermat

作者｜李武炎／曾任教於淡江大學數學系，現為《科學月刊》編輯委員。

今年素有「數學諾貝爾獎」的阿貝爾獎由美國牛津大學皇家協會講座教授懷爾斯（Andrew Wiles）獲得，推薦文中指出，為了表彰他利用半穩定橢圓曲線的模猜想推出「費馬最後定理」的震撼證明，對數論的發展開啟一個新的世代，獎項已於今（2016）年 5 月 24 日在挪威首都奧斯陸頒發。

英年早逝的天才數學家阿貝爾

阿貝爾（Niels Henrik Abel，1802~1829）是挪威歷史上一位非常著名的數學家，他在很年輕的時候就已經研習大數學家歐拉、拉格朗治、拉普拉斯及高斯等人的著作。19 歲時，他解決了困惑數學界 200 年的老問題：一般 5 次方程式根的公式解是不存在的，如此非凡的表現奠定他在歷史上的地位。另外他在超越函數上的研究，對橢圓函數理論起了革命性的影響。阿貝爾生前非常貧困，18 歲時就肩負起照顧家中 6 個弟妹的重責，後來不幸罹患肺結核，因為無法得到良好的調養， 很可惜在 1829 年 4 月 6 日以 26 歲的年紀辭世，實在是英年早逝，死後兩天，數學家克雷勒（August Leopold Crelle） 攜來柏林欲聘請他擔任教授的聘書，但已經來不及了。後來數學界為了紀念他，特別將抽象代數學中的一個結構交換群命名為「阿貝爾群（abelian group）」，以他為名的專有名詞已經被普通化了，是為了更能彰顯他的偉大。

挪威政府一直有設立紀念阿貝爾的獎項的念頭，這是要彌補諾貝爾獎沒有數學項目的遺憾，但這個獎項的成立一直要等到西元 2002 年阿貝爾 200 歲誕辰方才實現。2002 年阿貝爾獎開始頒發，而第一屆的得主便是法國數學家，同時是數學界大老的謝爾（Jean-Pierre Serre）。去年 2015 年的得主是電影《美麗境界》戲中的主人翁約翰納許，但去年 5 月 19 日納許夫婦領取阿貝爾獎返家途中不幸發生車禍遇難，曾造成新聞界一陣報導。觀察阿貝爾獎的歷屆得主，都是當代數學的翹楚， 而且大都是年高德劭著作等身的數學圈耆老，懷爾斯雖屬壯年，但因為他解決「費馬最後定理」這個世紀難題， 名氣實在太大了，因此阿貝爾獎的評審委員會決定頒授 2016 年的獎給他。有人說這是遲來的獎項，因為自從 20 幾年前懷爾斯證出這個劃時代的問題後，已經得獎無數，幾乎全世界所有的數學獎都被他囊括，其中包括著名的沃爾夫數學獎（1995 年）、沃爾夫斯克爾獎（1997 年）以及邵逸夫獎（2005 年）等，今年添上阿貝爾獎無疑是在懷爾斯的功勛簿上貼滿最後一塊拼圖。值得一提的是，當年懷爾斯解決費馬最後定理時已經年過 40， 無緣獲得數學界的費爾茲獎章（Fields Medal）。

 費馬最後定理

「費馬最後定理」是個一般人都可以明瞭的題目， 並不需要具備很深的數學背景才能理解──探討方程式： xⁿ+yⁿ=zⁿ 的正整數解。當 n = 2 時， 讓我們想到熟知的畢氏定理（又稱勾股弦定理），此處 z 代表一個直角三角形的斜邊長，x 與 y 則為此三角形之兩股的長，也就是說一個直角三角形的斜邊長的平方等於它的兩股長之平方和。 這個方程式當然有許多正整數解，例如：x = 3，y = 4，z = 5；x = 6，y = 8，z = 10；x = 5，y = 12， z = 13 ⋯⋯等等。費馬聲稱當 n ≥ 3 為正整數時， 就不存在非零的整數解。

數學業餘王子─費馬

費馬（Pierre de Fermat，1601~1665）是一位留著長髮，穿著中古世紀歐洲袍的法國數學家。他是 17 世紀最卓越的數學家之一，在許多數學領域都有極大的貢獻，例如：他在笛卡兒之前發明解析幾何，也在微積分的發展有所建樹，他與巴斯卡被公認是機率論的先驅， 然而他在數論上的研究成果最為後人所記得。他的本行是專業的律師，數學只是他的愛好，而他所作的數學作品都是第一等的工作，為了表彰他的數學造詣，世人冠以「業餘王子」的美譽。在 1637 年的某一天，費馬正在閱讀一本古希臘時代數學家丟番圖（Diophantus） 的數論書《算術學》（Arithmetica）時，突然心血來潮在書頁的空白處寫下這個看似簡單的定理：當 n ≥ 3 為正整數時， 沒有非零的整數解。

當時費馬並沒有說明原因，不過他留下這一段話：「我已經發現一個非常美妙的證明，只是書頁的空白處太小無法寫下來。」，始作俑者的費馬也因此留下了這個千古的難題，300 多年來無數的數學家嘗試要求解決這個難題都徒勞無功，這個號稱「世紀難題」的「費馬最後定理」也就成了數學界的心頭大患，極欲解之而後快。19 世紀時法國的法蘭西學院曾二度懸賞金質獎章及 300 法郎給任何解決此一難題之人，可惜都沒有人能夠領到獎賞。德國的一位工業家沃爾夫斯克爾（Paul Wolfskehl，1856~1906）對「費馬最後定理」情有獨鍾，他死後，根據其遺囑遺贈 10 萬馬克（約合 5000 萬新臺幣），頒給能夠證明「費馬最後定理」是正確的人。

這個獎在 1908 年設立，有效期間為 100 年，懷爾斯在 1997 年領到這個獎時，獎金只有約 150 萬新臺幣， 原因是這段期間世界曾發生經濟大蕭條，此筆獎額已大幅貶值了。當年沃爾夫斯克爾獎一宣布時，確實吸引不少「數學癡」去從事這個問題，而社會上也掀起了一股瘋「FLT（Fermat’s Last theorem）熱」。20 世紀電腦發展以後，許多數學家利用電腦計算可以證明這個定理當 n 很大時是成立的，1983 年電腦專家斯洛文斯基借助電腦運行 5782 秒證明當 n 為2⁸⁶²⁴³-1 時「費馬最後定理」是正確的，2⁸⁶²⁴³-1是一個天文數字， 大約有 25960 位數。雖然如此，數學家還是沒有找到一個普遍性的證明。不過這個三百多年的數學懸案終於解決了，由當時在美國普林斯頓大學數學系任教的英國數學家懷爾斯教授提出證明，其實他是利用 20 世紀過去 30 年來代數幾何發展的結果加以運用並解決的。

追求數學聖杯的懷爾斯

1993 年的 6 月 21~23 日，懷爾斯在英國劍橋大學所舉辦的研討會發表這個結果，這個報告馬上震驚了數學界甚至於一般社會大眾，懷爾斯證出費馬最後定理的消息在 1993 年的 6 月 24 日登上了《紐約時報》、《美國國家廣播公司》等重要媒體的頭條。一個數學證明能讓新聞媒體如此青睞，可謂空前絕後，原因正如前面所言，這是一個能被一般民眾所能明白的數學問題，並不需具備很強的數學專業知識。其實數論中有很多問題都與費馬最後定理一樣，敘述都很淺顯易懂，內容也很吸引人去思考，可是證明起來都很難。懷爾斯在 1993 年發表的論文報告經過數學界審慎檢查後，卻發現了極大的瑕疵，後來懷爾斯與他的學生嘗試加以補救，終於在 1994 年 9 月修正成功，並且在 1995 年將修正後的論文發表在《數學年刊》（Annals of Mathematics）上。

偉大的集體成就

「費馬最後定理」的最終解決其實要歸功於無數數學家的努力，最早在 1950 年代，日本數學家谷山豐首先提出一個有關橢圓曲線的猜想，即二元三次方程式 y²=x³+ax²+bx+c 定義的圖形，其中 a、b、c 為有理數，它不是橢圓，而是因為當初數學家想計算橢圓的周長而產生的名詞。後來由另一位日本數學家志村五郎加以發揚光大，提出谷山 – 志村猜想：每一個橢圓曲線都具有一種模形式（modularity pattern）， 這個名詞與高等數學複變函數論有關，在此就不擬加以解釋。當時沒有人認為這個猜想與「費馬最後定理」有任何關聯，直到 1980 年代，德國數學家佛列（Gerhard Frey）才將這個猜想與「費馬最後定理」掛勾。若對奇質數p而言， a^p+b^p+c^p 有異於零的整數解，則佛列建議考慮橢圓曲線 y²=x(x+a^p)(x-b^p)，此曲線後來被稱為佛列曲線， 因為他覺得此橢圓曲線的判別式 a^2pb^2p(a^p+b^p)²=(abc)^2p 呈現出一點不太尋常，因此他懷疑這個橢圓曲線不具模形式，所以只要能證明谷山 – 志村猜想就等於證明了「費馬最後定理」。

佛列的猜想後來被法國數學家謝爾加以改良，並且在 1986 年由數學家里貝特（Ken Ribet）證明從 a^p+b^p=c^p 所得的佛列曲線違反模形式。根據里貝特的這個啟發，懷爾斯就全力去從事谷山 志村猜想的證明，至少要證明絕大部分的橢圓曲線都具有模形式。最後他證明了任何半穩定（semistable）橢圓曲線都具有模形式，而佛列曲線就是一個半穩定橢圓曲線，因此證明 a^p+b^p=c^p 之非零整數解是不存在，從而證明了「費馬最後定理」。這裡要提一點，「費馬最後定理」是說對任何大於 2 的整數 n 而言，aⁿ+bⁿ=cⁿ 沒有非零的整數解，其實就是要證明對 n = 4 及任意奇質數（3、5、7⋯）均成立即可，因為對任何大於 2 的整數 n，n 必有 4 或奇質數的因數，而當 n = 4 時，費馬曾經給予證明（用數論的技巧就可以證出），因此只需考慮 而 p 為奇質數即可。

「費馬最後定理」的證明成功並非僅靠一人之力便能解決，雖然懷爾斯完成了封頂之作，但如同前面所提到的谷山豐、志村五郎、佛列及里貝特都是功臣；自古以來，很多數學理論的形成都是從一些猜想或假設開始，激發數學家的興趣，為了尋求問題的解決，不斷努力發展新的數學技巧，也豐富了數學的內涵，而這些建樹都是歷史上的數學家前仆後繼研究所得的成果，我們可以說：數學演進就是團隊合作的結晶。

〈本文選自《科學月刊》2016 年 7月號〉

延伸閱讀：

數海英雌的孤單與堅強—中研院院士張聖容專訪

數學的諾貝爾獎

什麼？！你還不知道《科學月刊》，我們46歲囉！

入不惑之年還是可以當個科青