第121部分(第2/4 頁)

小五色地圖中有一個國家的鄰國數少於六個，就會存在一個國數較少的地圖仍為五色的，這樣一來就不會有極小五色地圖的國數。也就不存在五色地圖了。這樣肯普就認為他已經證明了四色問題，但是後來人們發現他錯了。”

劉猛一聽大樂，所謂的歸謬法不就是自相矛盾的意思嘛，就好像一個傻蛋拿著一根矛和一面盾。號稱自己這矛是世界上最鋒利的。能夠刺破所有的盾，又宣稱自己的盾是最結實的。能夠防護最鋒利矛，歸謬法的本質就是用你的最鋒利的矛攻擊你最結實的盾，得到相悖的結論。

就是神經病的推論。

“不過肯普的證明闡明瞭兩個重要的概念，對以後問題的解決提供了途徑。第一個概念是構形。他證明了在每一張地圖中至少有一個國傢俱有兩個、三個、四個或五個鄰國。不存在每個國家都有六個或更多個鄰國的地圖，也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組構形是不可避免的，每張地圖至少含有這四種構形中的一個。”

“肯普提出的另一個概念是可約性。可約這個詞的使用是來自肯普的論證。他證明了只要五色地圖中有一國具有四個鄰國，就會有國數減少的五色地圖。自從引入構形、可約的概念後，逐步發展了檢查構形以決定是否可約的一些標準方法。能夠尋求可約構形的不可避免組，是證明四色問題的重要依據。但要證明大的構形可約，需要檢查大量的細節，這是相當複雜的。”

雖然孔繼道盡量說的淺顯。還是不自覺會引入一些數學上比較專業的概念，這些概念，即便沒接觸過，劉猛還是一聽就懂，不過，隨著孔繼道在方便食堂二樓開講，倒是吸引了幾個其他學院的學生在旁偷聽。

這些學生可能不認識孔繼道，但是卻沒有一個人不認識劉猛，冰城工業大學的基礎學部可是號稱高中與大學的過渡，在這裡，學生們雖然已經步入大學裡，但是還保持著高中時候的學習習慣，依舊每個班級還有固定的自習室，同樣的，大家對待學習也都非常認真，對於最優異者，劉猛同學，還是打內心中崇拜的，不自覺想跟劉猛認識一下的。

而從孔繼道的口中聽到劉猛同學竟然即將要被學校聘請為研究員，更是震驚地張大了嘴巴，一聽孔繼道聊起數學界的八卦事，作為學霸，自然就吸引了注意力。

這會兒，一聽孔繼道越說越專業，不由得皺了皺眉頭，不過還是保持著相當大的興趣，只覺得這個四色猜想還是很貼近生活的，不就是畫地圖嘛，到底是有什麼門道。

這會兒，幾個同學竊竊私語，大致都猜到了和神級學霸劉猛同學坐在一起聊天的老頭兒就是孔繼道老師，知道真相的同學不由得狠狠地瞪了孔繼道，看那樣子殺人的心都有了。

在場可有不少同學的處…女掛獻給了孔繼道老師，當真是風輕雲淡、不近女色，一出手卻不知道破了多少同學的不掛金身，使得人生從此完滿了那麼一點點。

孔繼道開啟了話匣子，說的唾沫橫飛，極為興奮，“人們發現四色問題出人意料地異常困難，曾經有許多人發表四色問題的證明或反例，但都被證實是錯誤的。後來，越來越多的數學家雖然對此絞盡腦汁，但一無所獲。於是，人們開始認識到，這個貌似容易的題目，其實是一個可與費馬猜想相媲美的難題。”

“進入20世紀以來，科學家們對四色猜想的證明基本上是按照肯普的想法在進行。1913年，美國著名數學家、哈佛大學的伯克霍夫利用肯普的想法，結合自己新的設想；證明了某些大的構形可約。後來美國數學家富蘭克林於1939年證明了22國以下的地圖都可以用四色著色。1950年，溫恩從22國推進到35國。1960年，有人又證明了39國以下的地圖可以只用四種顏色著色；隨後又推進到了50國。這種數量上