第83章 如何證明女人是女人（1 / 2）
「老師，這就是我證明《四色猜想》的具體思路。」李智把厚厚一摞論文擺在桌麵上。
方院長雖然並不是他的任課老師，也從來沒有教授過他任何知識。
但李智從他身上總能感到一種莫名的熟悉感，就像初中那位慈祥的白老師一樣。
初中時，李智不但學習成績很差，還十分頑皮。
有一次，他「不小心」拽到前排女孩的頭發，結果那女孩的母親是一個很強勢的女人。
她直接找到校領導，要校領導開除李智。
眼見李智從此就變成了失學兒童，白老師站了出來，他說了一句讓李智銘記一輩子的話。
「學校是教書育人的地方，不能因為學生犯了錯誤就隨意開除學生。而且身為學校，身為老師，對好學生要好好教育，對差學生更要耐心教育。」
方院長身上，有一股真正教師的味道。
所以，李智喜歡把方院長稱呼為「老師」。
「四色猜想？你怎麼想著證明這玩意！」方院長原本激動的心情，頓時冷下來一半。
並不是因為四色猜想不出名，而是因為它實在太出名了，出名到已經被計算機專家，跨領域使用計算機證明了出來。
四色定理又稱四色猜想、四色問題，其與費馬猜想和哥德巴赫猜想並稱世界近代三大數學難題。
四色問題的第一次書麵記錄出現在1852年10月23日倫敦大學數學教授摩爾根給哈密頓先生的一封信中。
在信中，摩爾根講述了他的學生提出的一個問題：「一位學生今天讓我說明一個事實的道理，我們不知道它是否可作為一個事實。他說任意劃分一個圖形並對其每個部分染色，使得任何具有公共邊線的部分具有不同的顏色，而且隻能用四種顏色，不能再多。你以為如何？如果這個問題成立，它能引起人們關注嗎？」
起初，這個問題沒有引起數學家們的注意，認為這是一個不需要證明的事實。直到1878年，倫敦數學會負責人正式宣布了這一問題，四色問題最終形成。
1878年8月13日，英國數學家凱萊在倫敦數學會上當眾發問是否有人能證明四色猜想，從此才攜響了攻克四色猜想的戰鼓。不到一年，便有一位叫肯伯（abkee）的律師宣布其證明了四色猜想。但肯伯的證明是錯誤的。
1922年費蘭克林（franklin）證明了每個有至多25個國家的地圖都可以用四種顏色著色。
1926年雷諾德（reynolds）將這一結果推廣到27個國家，然後在1938年費蘭克林又創造了31個國家的紀錄。
1940年溫恩（winn）證明了35個國家的情形以後，這方麵的研究有所停滯，直到1970年，奧爾（ore）和史坦普爾（stele）對所有至多包含40個國家的地圖證明了四色定理。
這書數學家們意識到四色問題也許隻有借助於能處理巨量數據的強有力的計算裝置才能獲得解決。
於是計算機專家哈肯與阿佩爾登場了，他們經過整整四年的緊張工作，終於在1976年6月成功地證明了四色定理。其中他們一共花費了1200個計算機小時，處理了兩千多個構形。
就這樣，一道數學問題，被計算機以「強力」的方式解決了。
所以，當方院長看到李智證明出來的是四色猜想時，心情那是哇涼哇涼的。
世界級數學難題之所以吸引人，就是因為她像一個美妙的女孩，用華麗的衣服把自己的美好隱藏起來。
無數數學家，為了欣賞那種美好，前赴後繼，發動攻擊。