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