根根據(jù)國際數(shù)學(xué)聯(lián)合會的提議, 聯(lián)合國科教文組織確定 2000 年為``世界數(shù)學(xué)年''. 其目的在于提高數(shù)學(xué)在整個社會中的能見度. 為此, 好些國家的郵政部門相繼發(fā)行紀(jì)念郵票, 以加強(qiáng)宣傳, 推動此項工作的進(jìn)行. 其中有: 摩納哥 (圖 1)、 斯洛伐克 (圖 2)、 比利時郵票和首日郵戳 (圖 3)、 盧森堡 (圖 4)、 阿根廷 (圖 5)、 捷克 (圖 6) 等等. 這些國家都力圖在郵票圖案上展示有關(guān)數(shù)學(xué)的符號和信息, 其中以費(fèi)馬大定理倍受許多國家的關(guān)注 (如: 圖 3、圖 4、圖 6).

圖 1

圖2

圖 3

圖 4

圖 5

圖6

所謂費(fèi)馬大定理, 那是 300 多年前法國數(shù)學(xué)家費(fèi)馬 (Pierre de Fermat, 1601--1665), 在一本書的空白處寫了如下一個定理: 對于大于 2 的正整數(shù) n, 不定方程 xⁿ+yⁿ=zⁿ, 沒有非零整數(shù)解.

圖 7 是 2001 年法國發(fā)行的費(fèi)馬與費(fèi)馬大定理紀(jì)念郵票及其首日郵戳.

圖7

關(guān)于費(fèi)馬大定理, 在過去 300 多年里, 許多數(shù)學(xué)家 (包含一些著名的數(shù)學(xué)家如: 歐拉、 高斯、 柯西等) 都力圖去證明它, 但都未能得到滿意的結(jié)果. 或者只能證明當(dāng) n=3、4、5、7 時定理成立. 二戰(zhàn)后隨著計算機(jī)的出現(xiàn), 大量的計算已不再成為問題. 借助計算機(jī), 也只能證明: 當(dāng) n 小于等于 4100 萬時, 費(fèi)馬大定理是正確的. 這種成功僅僅是表面的, 即使范圍再提高, 也永遠(yuǎn)不能證明到無窮, 不能宣稱定理已經(jīng)證明. 一直到 1995 年, 美國普林斯頓大學(xué)的安德魯·懷爾斯 (Andrew Wiles) 經(jīng)過 8 年的奮戰(zhàn), 用 130 頁長的篇幅才完整證明了費(fèi)馬大定理. 圖 6 是捷克 2000 年發(fā)行的郵票, 票圖中指出: 1670 年費(fèi)馬提出他的定理和 1995 年懷爾斯證明了這個定理.

安德魯·懷爾斯 1953 年出生于英國劍橋, 1974 年從牛津大學(xué)獲得數(shù)學(xué)學(xué)士, 1980 年在劍橋大學(xué)取得博士學(xué)位, 后來到美國普林斯頓大學(xué)擔(dān)任教授. 1997 年, 他獲得了德國專門為``費(fèi)馬大定理''證明而設(shè)立的沃爾夫斯克爾獎.