潘國本

寫下這個(gè)標(biāo)題，我想到一個(gè)故事。

閔可夫斯基在哥廷根大學(xué)教書的時(shí)候，有一次，剛跨進(jìn)教室，一個(gè)學(xué)生給他遞上一張字條：如果要把一張地圖上所有相鄰的國家用不同的顏色區(qū)分開來，只要4種顏色就已足夠。你能解釋一下其中的道理嗎？

教授看完字條說：“這已是一道名題了，之所以至今沒有得到解決，那是因?yàn)闆]有第一流數(shù)學(xué)家關(guān)注過它?！彼缟现v臺，直接在黑板上演算起來，不知不覺，下課鈴響了，問題還沒有解決。第二天，他在課堂上繼續(xù)這道問題的證明，仍然無果而終。如此一連掛了多天黑板。那一天，先生臉色凝重，跨出教室，忽然雷聲大作，他自我調(diào)侃說：“哎，老天爺在責(zé)備我狂妄自大了。我也無法解決這個(gè)問題?！?/p>

閔先生，與克萊因、希爾伯特并稱哥廷根大學(xué)數(shù)學(xué)三巨頭，也是愛因斯坦的老師，愛因斯坦不去聽課那陣，閔先生還罵過愛因斯坦懶蟲，后來愛因斯坦得知。閔先生也是給表述狹義相對論提供“閔可夫斯基四維時(shí)空”數(shù)學(xué)模型的恩師。但，數(shù)學(xué)從來不會(huì)去看一個(gè)人的名聲或者臉色的。

讓我們回到1850年，有一個(gè)叫格思里的英國青年。他在繪制地圖時(shí)偶爾發(fā)現(xiàn)了這個(gè)“四色定理”，當(dāng)時(shí)，只是一個(gè)猜想，但他感到很有意思，立即寫信給他仍在倫敦大學(xué)讀書的弟弟。他弟弟也認(rèn)為應(yīng)該是這樣，但同樣無力證明這個(gè)結(jié)論，立即去請教他的老師，著名數(shù)學(xué)家德·摩根。摩根也不含糊，他將兩個(gè)同心圓的圓環(huán)部分分成3個(gè)區(qū)域，以這樣4部分的圖形。表明了3種顏色是顯然不行的，但是，要他給出只要4種顏色的證明，他辦不到。1852年他又寫信去請教發(fā)明四元數(shù)的哈密爾頓。起初，哈密爾頓還很不以為然，但當(dāng)他陷入這個(gè)問題后，盡管智慧過人，也耗費(fèi)13年心血，仍一籌莫展。

又過了大約13年，問題還沒有得到解決，有人正式把“四色問題”遞交給了倫敦?cái)?shù)學(xué)會(huì)，向全世界征求解答。不到一年，有位叫肯普的律師交來一篇論文。稱已經(jīng)“證明”出來了。他的證明于1879年發(fā)表于《美國數(shù)學(xué)雜志》。問題好像已經(jīng)結(jié)束，可又過了11年，希伍德發(fā)現(xiàn)了這個(gè)證明的一個(gè)“窟窿”。希伍德是一個(gè)細(xì)心人，他沒有完全否定肯普，在修補(bǔ)窟窿的進(jìn)程中，他借助肯普提供的方法，證明出了五種顏色足以區(qū)分地圖。即后人稱的“五色定理”。

選擇數(shù)學(xué)，也許就選擇了苦行，選擇了太上老君那只煉丹爐。人類歷史上，我們還沒有發(fā)現(xiàn)一位天才沒有被數(shù)學(xué)難倒過、否定過。

令人十分困惑的是。這個(gè)四色難題在更復(fù)雜的曲面上反倒容易證明，到1968年，數(shù)學(xué)家已解決了除平面和球面之外，所有曲面的四色問題，恰恰在最簡單的平面和球面內(nèi)無力攻克。更有一個(gè)疑難，構(gòu)形的可能情況實(shí)在太多。多到要作200億個(gè)判斷才能確定。這樣，直到電子計(jì)算機(jī)出現(xiàn)，才帶來新的曙光。1976年6月美國伊利諾斯大學(xué)的數(shù)學(xué)家阿沛爾和哈肯。運(yùn)用當(dāng)時(shí)最先進(jìn)的電子計(jì)算機(jī)，花了1200個(gè)小時(shí)，單單計(jì)算程序就修改了500多次，終于攻下了這個(gè)四色定理。

據(jù)說，后來又有人發(fā)現(xiàn)他們的證明還有錯(cuò)誤，好事多磨，直到1989年他們又做了新的修改。即使這樣，事情好像仍未完全結(jié)束：用一種人工無法驗(yàn)證的機(jī)械方法給出的證明，算不算數(shù)學(xué)證明？既然人的認(rèn)識是無限的，有沒有一種超越機(jī)械的證明方法，在等待著我們？

有時(shí)數(shù)學(xué)會(huì)是這樣的，比如黎曼猜想（1859年由黎曼提出），即使你拿出10萬億個(gè)數(shù)值證據(jù)，證明這個(gè)猜測是正確的，但仍然只是一個(gè)猜想，不能說它已經(jīng)得到證明。有時(shí)數(shù)學(xué)又會(huì)是這樣的。比如四色定理，它謙卑得連文盲也不會(huì)把它的意思弄錯(cuò)。當(dāng)你初接手時(shí)，你會(huì)覺得答案就在河對面，游過河去就有了，因此，誰都想試試。根本不會(huì)想到文盲都能看懂的問題也會(huì)這么困難，最終還不是完全由人完成，而是借助計(jì)算機(jī)才能解決。那個(gè)哥德巴赫猜想，270年了，看懂它，中小學(xué)文化已經(jīng)足夠。根據(jù)媒體報(bào)道，宣稱解決了這個(gè)猜想的民間研究者，已經(jīng)有幾十個(gè)了，可它還屹立在那里！

尊嚴(yán)的四色定理。尊嚴(yán)的數(shù)學(xué)！

責(zé)任編輯/田心紅