數(shù)學(xué)與猜想？《數(shù)學(xué)與猜想》(第1卷)通過許多古代著名的猜想，討論了論證方法，闡述了作者的觀點：不但要學(xué)習(xí)論證推理，也要學(xué)習(xí)合情推理，以豐富人們的科學(xué)思想，提高辯證思維能力，《數(shù)學(xué)與猜想》(第1卷)的例子不僅涉及數(shù)學(xué)各學(xué)科，那么，數(shù)學(xué)與猜想？一起來了解一下吧。
四色猜想:世界近代三大數(shù)學(xué)難題之一。四色猜想的提出來自英國。1852年，畢業(yè)于倫敦大學(xué)的弗南西斯.格思里(Francis Guthrie)來到一家科研單位搞地圖著色工作時，發(fā)現(xiàn)了一種有趣的現(xiàn)象：“看來，每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色。”這個結(jié)論能不能從數(shù)學(xué)上加以嚴(yán)格證明呢？他和在大學(xué)讀書的弟弟格里斯決心試一試。兄弟二人為證明這一問題而使用的稿紙已經(jīng)堆了一大疊，可是研究工作沒有進(jìn)展。
1852年10月23日，他的弟弟就這個問題的證明請教他的老師、著名數(shù)學(xué)家德.摩爾根，摩爾根也沒有能找到解決這個問題的途徑，于是寫信向自己的好友、著名數(shù)學(xué)家哈密爾頓爵士請教。哈密爾頓接到摩爾根的信后，對四色問題進(jìn)行論證。但直到1865年哈密爾頓逝世為止，問題也沒有能夠解決。
1872年，英國當(dāng)時最著名的數(shù)學(xué)家凱利正式向倫敦數(shù)學(xué)學(xué)會提出了這個問題，于是四色猜想成了世界數(shù)學(xué)界關(guān)注的問題。世界上許多一流的數(shù)學(xué)家都紛紛參加了四色猜想的大會戰(zhàn)。1878～1880年兩年間，著名的律師兼數(shù)學(xué)家肯普和泰勒兩人分別提交了證明四色猜想的論文，宣布證明了四色定理，大家都認(rèn)為四色猜想從此也就解決了。
11年后，即1890年，數(shù)學(xué)家赫伍德以自己的精確計算指出肯普的證明是錯誤的。
世界三大數(shù)學(xué)猜想即費馬猜想、四色猜想和哥德巴赫猜想。
1、費馬猜想的證明于1994年由英國數(shù)學(xué)家安德魯·懷爾斯完成，遂稱費馬大定理；斷言當(dāng)整數(shù)n>2時，關(guān)于x, y, z的方程沒有正整數(shù)解。
2、四色猜想的證明于1976年由美國數(shù)學(xué)家阿佩爾與哈肯借助計算機(jī)完成，遂稱四色定理；四色定理的本質(zhì)是二維平面的固有屬性，即平面內(nèi)不可出現(xiàn)交叉而沒有公共點的兩條直線。
3、哥德巴赫猜想尚未解決，目前最好的成果（陳氏定理）乃于1966年由中國數(shù)學(xué)家陳景潤取得。任一充分大的偶數(shù)都可以表示成二個素數(shù)的和，或是一個素數(shù)和一個半素數(shù)的和。
《數(shù)學(xué)與猜想》(第1卷)通過許多古代著名的猜想，討論了論證方法，闡述了作者的觀點：不但要學(xué)習(xí)論證推理，也要學(xué)習(xí)合情推理，以豐富人們的科學(xué)思想，提高辯證思維能力，《數(shù)學(xué)與猜想》(第1卷)的例子不僅涉及數(shù)學(xué)各學(xué)科，也涉及到物理學(xué)，全書內(nèi)容豐富，談古論今，敘述生動，能使人看到數(shù)學(xué)中真正的奧妙。全書共分兩卷，第一卷為數(shù)學(xué)中的歸納和類比，第二卷為合情推理模式，此冊為第一卷，主要講述數(shù)學(xué)中各種合情推理的實例。《數(shù)學(xué)與猜想》(第1卷)可供大學(xué)數(shù)學(xué)系師生、中學(xué)數(shù)學(xué)教師，數(shù)學(xué)研究人員及數(shù)學(xué)愛好者閱讀。
作者：(美)G.波利亞 譯者：李心燦 王日爽 李志堯
波利亞，數(shù)學(xué)家、教育家，曾任美國國家科學(xué)院、美國藝術(shù)與科學(xué)學(xué)院院士，匈牙利科學(xué)院榮譽院士，倫敦數(shù)學(xué)會、瑞士數(shù)學(xué)會、美國工業(yè)數(shù)學(xué)與應(yīng)用數(shù)學(xué)學(xué)會榮譽會員，法國巴黎科學(xué)院通訊院士。出生于匈牙利布達(dá)佩斯，1942年移居美國。獲布達(dá)佩斯Eotvos Lorand大學(xué)數(shù)學(xué)博士學(xué)位。著有《數(shù)學(xué)的發(fā)現(xiàn)》、《數(shù)學(xué)分析中的問題和定理》、《數(shù)學(xué)物理中的等周不等式》等。
很多很多.例如：
1、求：(1/1)^3+(1/2)^3+(1/3)^3+(1/4)^3+(1/5)^3+…+(1/n)^3=?
更一般地：當(dāng)k為奇數(shù)時,
求：(1/1)^k+(1/2)^k+(1/3)^k+(1/4)^k+(1/5)^k+…+(1/n)^k=?
歐拉已經(jīng)求出了：
(1/1)^2+(1/2)^2+(1/3)^2+(1/4)^2+(1/5)^2+ … +(1/n)^2=(π^2)/6
并且給出了當(dāng)k為偶數(shù)時的表達(dá)式.
于是,于是他提出了上述問題.
2、e+π的超越性：
背景：此題為希爾伯特第7問題中的一個特例.
已經(jīng)證明了e^π的超越性,卻至今未有人證明e+π的超越性.
3、素數(shù)問題（又稱黎曼猜想）.
證明：
ζ(s)=1+(1/2)^s+(1/3)^s+(1/4)^s+(1/5)^s + … ,(s屬于復(fù)數(shù)域)
所定義的函數(shù)ζ(s)的零點,除負(fù)整實數(shù)外,全都具有實部1/2.
背景：此為希爾伯特第8問題.
現(xiàn)已證明：ζ(s)函數(shù)中,前300萬個零點確實符合猜想.
引申的問題是：素數(shù)的表達(dá)公式?素數(shù)的本質(zhì)是什么?
4、 存在奇完全數(shù)嗎?
背景：
所謂完全數(shù),就是等于其因子的和的數(shù).
前三個完全數(shù)是：
6=1+2+3
28=1+2+4+7+14
496=1+2+4+8+16+31+62+124+248
目前已知的32個完全數(shù)全部是偶數(shù).
1973年得到的結(jié)論是如果n為奇完全數(shù),則：
n>10^50
5、 除了8=2^3,9=3^2外,再沒有兩個連續(xù)的整數(shù)可表為其他正整數(shù)的方冪了嗎?
背景：
這是卡塔蘭猜想（1842）.
1962年我國數(shù)學(xué)家柯召獨立證明了不存在連續(xù)三個整數(shù)可表為其它正整數(shù)的方冪.
1976年,荷蘭數(shù)學(xué)家證明了大于某個數(shù)的任何兩個正整數(shù)冪都不連續(xù).因此只要檢查小于這個數(shù)的任意正整數(shù)冪是否有連續(xù)的就行了.
但是,由于這個數(shù)太大,有500多位,已超出計算機(jī)的計算范圍.
所以,這個猜想幾乎是正確的,但是至今無人能夠證實.
6、 任給一個正整數(shù)n,如果n為偶數(shù),就將它變?yōu)閚/2,如果除后變?yōu)槠鏀?shù),則將它乘3加1（即3n+1）.不斷重復(fù)這樣的運算,經(jīng)過有限步后,一定可以得到1嗎?
背景：
這角古猜想（1930）.
人們通過大量的驗算,從來沒有發(fā)現(xiàn)反例,但沒有人能證明.
三 希爾伯特23問題里尚未解決的問題.
1、問題1連續(xù)統(tǒng)假設(shè).
全體正整數(shù)（被稱為可數(shù)集）的基數(shù) 和實數(shù)集合（被稱為連續(xù)統(tǒng)）的基數(shù)c之間沒有其它基數(shù).
背景：1938年奧地利數(shù)學(xué)家哥德爾證明此假設(shè)在集合論公理,即策莫羅-佛朗克爾公理里,不可證偽.
1963年美國數(shù)學(xué)家柯恩證明在該公理,不能證明此假設(shè)是對的.
所以,至今未有人知道,此假設(shè)到底是對還是錯.
2、問題2 算術(shù)公理相容性.
背景：哥德爾證明了算術(shù)的不完備,使希爾伯特的用元數(shù)學(xué)證明算術(shù)公理的無矛盾性的想法破滅.
3、 問題7 某些數(shù)的無理性和超越性.
見上面 二 的 2
5、 問題 8 素數(shù)問題.
見上面 二 的 3
6、 問題 11 系數(shù)為任意代數(shù)數(shù)的二次型.
背景：德國和法國數(shù)學(xué)家在60年代曾取得重大進(jìn)展.
7、 問題 12 阿貝爾域上的克羅內(nèi)克定理在任意代數(shù)有理域上的推廣.
背景：此問題只有些零散的結(jié)果,離徹底解決還十分遙遠(yuǎn).
8、 問題13 僅用二元函數(shù)解一般7次代數(shù)方程的不可能性.
背景：1957蘇聯(lián)數(shù)學(xué)家解決了連續(xù)函數(shù)情形.如要求是解析函數(shù)則此問題尚未完全解決.
9、 問題15 舒伯特計數(shù)演算的嚴(yán)格基礎(chǔ).
背景： 代數(shù)簌交點的個數(shù)問題.和代數(shù)幾何學(xué)有關(guān).
10、 問題 16 代數(shù)曲線和曲面的拓?fù)?
要求代數(shù)曲線含有閉的分枝曲線的最大數(shù)目.和微分方程的極限環(huán)的最多個數(shù)和相對位置.
11、 問題 18 用全等多面體來構(gòu)造空間.
無限個相等的給定形式的多面體最緊密的排列問題,現(xiàn)在仍未解決.
12、 問題 20 一般邊值問題.
偏微分方程的邊值問題,正在蓬勃發(fā)展.
13、 問題 23 變分法的進(jìn)一步發(fā)展.
四 千禧七大難題
2000年美國克雷數(shù)學(xué)促進(jìn)研究所提出.為了紀(jì)念百年前希爾伯特提出的23問題.每一道題的賞金均為百萬美金.
1、 黎曼猜想.
見 二 的 3
透過此猜想,數(shù)學(xué)家認(rèn)為可以解決素數(shù)分布之謎.
這個問題是希爾伯特23個問題中還沒有解決的問題.透過研究黎曼猜想數(shù)
學(xué)家們認(rèn)為除了能解開質(zhì)數(shù)分布之謎外,對於解析數(shù)論、函數(shù)理論、
橢圓函數(shù)論、群論、質(zhì)數(shù)檢驗等都將會有實質(zhì)的影響.
2、楊-密爾斯理論與質(zhì)量漏洞猜想(Yang-Mills Theory and Mass Gap
Hypothesis)
西元1954 年楊振寧與密爾斯提出楊-密爾斯規(guī)范理論,楊振寧由
數(shù)學(xué)開始,提出一個具有規(guī)范性的理論架構(gòu),后來逐漸發(fā)展成為量子
物理之重要理論,也使得他成為近代物理奠基的重要人物.
楊振寧與密爾斯提出的理論中會產(chǎn)生傳送作用力的粒子,而他們
碰到的困難是這個粒子的質(zhì)量的問題.他們從數(shù)學(xué)上所推導(dǎo)的結(jié)果
是,這個粒子具有電荷但沒有質(zhì)量.然而,困難的是如果這一有電荷
的粒子是沒有質(zhì)量的,那麼為什麼沒有任何實驗證據(jù)呢?而如果假定
該粒子有質(zhì)量,規(guī)范對稱性就會被破壞.一般物理學(xué)家是相信有質(zhì)
量,因此如何填補(bǔ)這個漏洞就是相當(dāng)具挑戰(zhàn)性的數(shù)學(xué)問題.
3、P 問題對NP 問題(The P Versus NP Problems)
隨著計算尺寸的增大,計算時間會以多項式方式增加的型式的問題叫做「P 問題」.
P 問題的P 是Polynomial Time(多項式時間)的頭一個字母.已
知尺寸為n,如果能決定計算時間在cnd (c 、d 為正實數(shù)) 時間以下
就可以或不行時,我們就稱之為「多項式時間決定法」.而能用這個
算法解的問題就是P 問題.反之若有其他因素,例如第六感參與進(jìn)來
的算法就叫做「非決定性算法」,這類的問題就是「NP 問題」,NP 是
Non deterministic Polynomial time (非決定性多項式時間)的縮寫.
由定義來說,P 問題是NP 問題的一部份.但是否NP 問題里面有
些不屬於P 問題等級的東西呢?或者NP 問題終究也成為P 問題?這
就是相當(dāng)著名的PNP 問題.
4、.納維爾–史托克方程（Navier–Stokes Equations）
因為尤拉方程太過簡化所以尋求作修正,在修正的過程中產(chǎn)生了
新的結(jié)果.法國工程師納維爾及英國數(shù)學(xué)家史托克經(jīng)過了嚴(yán)格的數(shù)學(xué)
推導(dǎo),將黏性項也考慮進(jìn)去得到的就是納維爾–史托克方程.
自從西元1943 年法國數(shù)學(xué)家勒雷（Leray）證明了納維爾–史托
克方程的全時間弱解(global weak solution)之后,人們一直想知道
的是此解是否唯一?得到的結(jié)果是：如果事先假設(shè)納維爾–史托克方
程的解是強(qiáng)解(strong solution),則解是唯一.所以此問題變成:弱解與強(qiáng)解之間的差距有多大,有沒有可能弱解會等於強(qiáng)解?換句話說,是不是能得到納維爾–史托克方程的全時間平滑解?再者就是證
明其解在有限時間內(nèi)會爆掉(blow up in finite time).
解決此問題不僅對數(shù)學(xué)還有對物理與航太工程有貢獻(xiàn),特別是亂
流(turbulence)都會有決定性的影響,另外納維爾–史托克方程與奧
地利偉大物理學(xué)家波茲曼的波茲曼方程也有密切的關(guān)系,研究納維
爾–史托克（尤拉）方程與波茲曼方程（Boltzmann Equations）兩
者之關(guān)系的學(xué)問叫做流體極限(hydrodynamics limit),由此可見納
維爾–史托克方程本身有非常豐富之內(nèi)涵.
5.龐加萊臆測(Poincare Conjecture)
龐加萊臆測是拓樸學(xué)的大問題.用數(shù)學(xué)界的行話來說：單連通的
三維閉流形與三維球面同胚.
從數(shù)學(xué)的意義上說這是一個看似簡單卻又非
常困難的問題,自龐加萊在西元1904 年提出之
后,吸引許多優(yōu)秀的數(shù)學(xué)家投入這個研究主題.
龐加萊（圖4）臆測提出不久,數(shù)學(xué)們自然的將
之推廣到高維空間(n4),我們稱之為廣義龐加萊臆測：單連通的
≥
n(n4)維閉流形,如果與n
≥ 維球面有相同的基本群(fundamental group)則必與n維球面同胚.
經(jīng)過近60 年后,西元1961 年,美國數(shù)學(xué)家斯麥爾（Smale）以
巧妙的方法,他忽略三維、四維的困難,直接證明五維(n5)以上的
≥
廣義龐加萊臆測,他因此獲得西元1966 年的費爾茲獎.經(jīng)過20年之
后,另一個美國數(shù)學(xué)家佛瑞曼（Freedman）則證明了四維的龐加萊臆
測,并於西元1986年因為這個成就獲得費爾茲獎.但是對於我們真
正居住的三維空間(n3),在當(dāng)時仍然是一個未解之謎.
=
一直到西元2003 年4 月,俄羅斯數(shù)學(xué)家斐雷曼（Perelman）於
麻省理工學(xué)院做了三場演講,在會中他回答了許多數(shù)學(xué)家的疑問,許
多跡象顯示斐雷曼可能已經(jīng)破解龐加萊臆測.數(shù)天后「紐約時報」首
次以「俄國人解決了著名的數(shù)學(xué)問題」為題向公眾披露此一消息.同
日深具影響力的數(shù)學(xué)網(wǎng)站MathWorld 刊出的頭條文章為「龐加萊臆測
被證明了,這次是真的!」[14].
數(shù)學(xué)家們的審查將到2005年才能完成,到目前為止,尚未發(fā)現(xiàn)
斐雷曼無法領(lǐng)取克雷數(shù)學(xué)研究所之百萬美金的漏洞.
6.白之與斯溫納頓-戴爾臆測（Birch and Swinnerton-Dyer
Conjecture）
一般的橢圓曲線方程式 y^2=x^3+ax+b ,在計算橢圓之弧長時
就會遇見這種曲線.自50 年代以來,數(shù)學(xué)家便發(fā)現(xiàn)橢圓曲線與數(shù)論、
幾何、密碼學(xué)等有著密切的關(guān)系.例如：懷爾斯（Wiles）證明費馬
最后定理,其中一個關(guān)鍵步驟就是用到橢圓曲線與模形式(modularform)之關(guān)系－即谷山-志村猜想,白之與斯溫納頓-戴爾臆測就是與
橢圓曲線有關(guān).
60年代英國劍橋大學(xué)的白之與斯溫納頓-戴爾利用電腦計算一些
多項式方程式的有理數(shù)解.通常會有無窮多解,然而要如何計算無限
呢?其解法是先分類,典型的數(shù)學(xué)方法是同余(congruence)這個觀念
并藉此得同余類(congruence class)即被一個數(shù)除之后的余數(shù),無窮
多個數(shù)不可能每個都要.數(shù)學(xué)家自然的選擇了質(zhì)數(shù),所以這個問題與
黎曼猜想之Zeta 函數(shù)有關(guān).經(jīng)由長時間大量的計算與資料收集,他
們觀察出一些規(guī)律與模式,因而提出這個猜測.他們從電腦計算之結(jié)
果斷言：橢圓曲線會有無窮多個有理點,若且唯若附於曲線上面的
Zeta 函數(shù)ζ (s) = 時取值為0,即ζ (1)
；當(dāng)s1= 0
7.霍奇臆測(Hodge Conjecture)
「任意在非奇異投影代數(shù)曲體上的調(diào)和微分形式,都是代數(shù)圓之
上同調(diào)類的有理組合.」
最后的這個難題,雖不是千禧七大難題中最困難的問題,但卻可
能是最不容易被一般人所了解的.因為其中有太多高深專業(yè)而且抽象
參考資料：《數(shù)學(xué)的100個基本問題》《數(shù)學(xué)與文化》《希爾伯特23個數(shù)學(xué)問題回顧
以上就是數(shù)學(xué)與猜想的全部內(nèi)容，作者：(美)G.波利亞 譯者：李心燦 王日爽 李志堯波利亞，數(shù)學(xué)家、教育家，曾任美國國家科學(xué)院、美國藝術(shù)與科學(xué)學(xué)院院士，匈牙利科學(xué)院榮譽院士，倫敦數(shù)學(xué)會、瑞士數(shù)學(xué)會、美國工業(yè)數(shù)學(xué)與應(yīng)用數(shù)學(xué)學(xué)會榮譽會員。
