若用π(n)表示不超過n的素數的
個數。當n→+ 時, =+ .人們可以發(fā)現:順著自然數的序列,越往后素數的"密度" π(n)/ n就變得越小 每個偶數都是兩個素數之和;每個奇數都是三個素數之和
哥德巴赫猜想的研究進展
維諾格拉多夫(1937年),無條件地證明了奇數哥德巴赫猜想,即每個充分大的奇數都是三個奇素數之和 布朗(挪威1919年)證明了:每個大偶數都是兩個素因子個數均不超過9的整數之和(記為9 + 9,記號k + l表示大偶數分解為不超過k個奇素數的積與不超過l個奇素數的積之和,下同)
布赫夕塔布的4 + 4(1940),瑞尼的l+c (c為一不確定大數)(1948)和庫恩的a+b (a+b≤6)(1954);
王元的2+3(1957)和潘承洞的1+5(1962),到1965年,歐洲數學家邦別里等三人差不多同時證明了1 + 3;1966年,中國數學家陳景潤宣布證明了1+2(1973年發(fā)表詳細證明) 陳景潤(1933~1996)簡介
圖7.1華羅庚(右)與陳景潤(左)
費馬猜想:對每個正整數n≥3,方程xn + yn = zn均沒有正整數解(x, y, z). 費馬本人利用無限下降法證明了n=4時,費馬猜想成立. 1825年年僅20歲的德國數學家狄利克雷和年過七旬的法國數學家勒讓德各自獨立地證明了n = 5的情形,1839年法國數學家拉梅證明了n = 7的情形.
由a + b 形式的數所形成的數系(記為 ,a,b為任意整數)中,有唯一因子分解定理成立,即每一個整數都可唯一地分解為這個數系中數的乘積.
后來才知道,對形如 的數系,唯一因子分解定理并不總是成立的,例如在數系 中,6 = 3×2 =(1+ )(1- ),就有兩種分解方式。事實上,能保證唯一因子分解定理成立的數系 只有9種 德國的數學家庫默爾(1810~1893)利用理想數的概念,證明了對于 100以內的所有素數,都能使費馬猜想成立. 懷爾斯的論文"模曲線和費馬最后定理" (1994年)――費馬猜想終于成為定理,被稱為費馬大定理或費馬最后定理 7.1.4 讓我們教猜想吧
費馬猜想是只"會下金蛋的鵝"
1966年菲爾茲獎獲得者,英國數學家阿蒂亞(1929~)認為:"與其它自然科學的情況一樣,數學中的一些發(fā)現也要經過幾個階段才能實現,而形式證明只是最后一步。最初階段在于鑒別出一些重要的事實,將它們排列成具體含義的模式,并由此提煉出看起來很有道理的定律或公式。接著,人們用新的經驗事實來檢驗這種公式。只是到了此時,數學家們才開始考慮證明問題." 958年菲爾茲獎獲得者,突變理論的創(chuàng)立者,法國數學家托姆用半開玩笑的態(tài)度說:"嚴格性是一個拉丁名詞。我們會想起僵死(rigormorits),即僵化的尸體。我要把數學分為以下的三類:第一,以嬰兒搖籃為標記。這是'活的數學'允許改變,澄清,完成證明,反對,反駁。第二,以十字架為標記。這是墳墓上的十字架。作者聲明它已完全嚴格,具有不朽的正確性。這類工作將構成'墳墓數學'.第三,以教堂為標記。這是外部的權威,由高級教士組成,判斷哪些工作已成為'墳墓數學'."
推測數學家的成功范例之一是印度數學家拉馬努金(1887~1920) 波利亞認為,在數學教育中,"證明與猜想,這兩類推理即論證的與合情的"都必須教給學生,"在有些情況下教猜想比教證明更為重要."因此,波利亞強烈的呼吁:"讓我們教猜想吧!"