数学大师们的偶然失误.pdfVIP

數學大師們的偶然失誤 吳振奎 數學是嚴謹的藝術, 它拒絕一切醜陋和不真。 然而, “金無足赤, 人無完人”, 縱然你是學界泰斗, 哪怕你是科壇巨擎, 你總會有閃失 (俗 說: 老虎也會打盹), 數學家肯定也不例外。 我們這兒當然不是議論他們的人品, 而是談談他們 在數學上的偶然失誤。 常說 “瑕不掩瑜”, 大師的這些失誤絲毫不會影響他們光輝, 倒會增加他 們的真實與親切。 眾所周知: 數學結論 (命題、 定理、 公式、) 的給出往往是數學家們深思熟慮、 甚至終 生不懈的努力使然, 而這些結論產生的方法多是由具體的抽象、 特例的推廣以及不完全歸納所 獲。 因而這其中的失誤幾乎不可避免。 值得一提的是: 由於這些失誤出自大家之手, 因而它們往 往更具欺騙性且更難為人們所識破, 這一方面是鑑於大師們的權威與聲望, 一方面是由於結論 或貌似無瑕或難以核驗或熟視無睹, 因而要找到推翻命題的反例是困難和艱澀的。 本文試圖獵取幾例以饗讀者。 我們的目的是想從中學點做數學的道理和方法, 體味數學的 魅力與美妙, 當然也會令我們從中悟感數學 (乃至整個科學) 發展的艱難與坎坷, 同時更能品鑑 數學的嚴謹與純真。 1. 費爾馬 (P. de Fermat) 數 法國業餘數學家費爾馬一生有過許多重要數學發現, 這些大多都記錄在他研讀過的書籍空 白處, 他發現的著名命題如: 費爾馬小定理: 若 p 是質數, a ∈ Z, 且 p ∤ a, 則 ap −1 ≡ 1 (modp )。 費爾馬大定理: 若 n ∈ N, 且 n ≥ 3, 則方程 xn + yn = zn 無非平凡整數解。 前者為費爾馬本人及後來的學者證得; 後者記在他閱讀過的丟番圖 (Diophantus) 所著 「 算術」 一書的空白處 (1637年, 但未給出證明)。 四百餘年後 (1994年), 這一結論為美國普林斯 頓大學的數學家威爾斯 (A. J. Wiles) 經近十年潛心研究所解決, 成為上個世紀數學成就中最 為耀眼的輝煌、 最為美妙的終曲。 其中經歷的艱辛與磨難令人感嘆! 由此他也榮獲 1996年沃爾 夫 (R. S. L. Wolf) 獎。 69 70 數學傳播 28 卷 3 期 民 93 年 9 月 正是這位費爾馬, 當他驗算了 Fn = 22n + 1 在 n = 0, 1, 2, 3, 4 時分別為: F0 = 3, F1 = 5, F2 = 17, F3 = 257, F4 = 65537, 發現它們都是質數後便聲稱: 對於任何 自然數 n, Fn 均給出質數。 然而, 1732年歐拉 (L. Euler) 指出, 當 n = 5 時: 25 F5 = 2 + 1 = 641 × 6700417 已不再是質數。 1880年, 蘭道 (Landon) 算得: F6 = 274177 × 67280421310721 帶有費爾馬批註的巴歇譯 「亞 亦非質數。 歷山大的丟番圖算術」 封面 1905年莫瑞漢德 (J. C. Morehead) 和威斯坦 (Western) 證明 F7 亦是合數。 時至今 日, 人們在 Fn 型數中除了費爾馬給出的五個質數外, 尚未發現其他質數。 於是有 人 (Selfridge) 提出猜測: [15] Fn 型數中除 n = 0, 1, 2, 3, 4 外不會有其他質數。 然而此項猜測至今未獲證明。 下表給出某些 Fn 型數的資料: [11] [16] n 值 Fn 研究進展 0 ∼ 4 質數