第三部：百年地圖的色彩詛咒
數學裡最可怕的問題，往往是那些連小學生都能聽懂，卻連最偉大的天才都解不開的謎題。
1. 植物學家的隨口一問
1852 年，英國植物學家兼業餘數學愛好者法蘭西斯·古德里 (Francis Guthrie)，正在桌前為一幅英格蘭的地圖上色。
為了讓地圖看起來清晰，有一個顯然的規則：相鄰的兩個郡（國家），不能塗上一樣的顏色（否則邊界就會糊在一起，看不出是兩個地區）。
古德里塗著塗著，突然發現了一個神奇的現象：不管這張地圖被切分得多麼複雜、多麼破碎，他似乎最多只需要四種顏色，就足以塗滿整張地圖，且保證相鄰的地區顏色不同。
他好奇地問了他的弟弟，他弟弟又跑去問了他的老師、著名的數學家奧古斯都·德摩根 (Augustus De Morgan)。德摩根聽完後愣住了，因為他發現自己竟然無法證明這件事。
這就是圖論歷史上最著名、也最臭名昭著的「四色猜想 (Four Color Conjecture)」。
2. 圖論的降維打擊
四色猜想乍看之下是個幾何學問題（因為國家的形狀千奇百怪），但數學家很快就利用了尤拉當年的思維，對它進行了「降維打擊」。
他們把地圖上的每一個「國家」變成一個「點 (Vertex)」。 如果兩個國家有相鄰的邊界，就在這兩個點之間連上一條「線 (Edge)」。
於是，複雜的地圖著色問題，瞬間變成了一個純粹的圖論問題：在一個平面圖上，能不能保證只用四種顏色為所有頂點上色，且任何一條線兩端的點顏色都不一樣？
這個問題聽起來直觀且無害，於是，無數的頂尖數學家前仆後繼地跳進了這個坑裡，然後灰頭土臉地爬出來。
3. 肯普的十一年的幻夢
1879 年，距離問題提出已經過了 27 年。一位名叫阿爾弗雷德·肯普 (Alfred Kempe) 的英國律師兼數學家，在《自然》雜誌上發表了一篇論文，宣稱他終於證明了四色定理！
肯普的證明思路非常聰明。他發明了一種叫做「肯普鏈 (Kempe Chain)」的換色技巧。他證明了，任何地圖中一定存在某些「不可避免的結構」，而且這些結構都可以被簡化並用四種顏色塗滿。
整個數學界為之沸騰。肯普因此被選為英國皇家學會會士，甚至後來被封為爵士。四色定理似乎終於被征服了。
然而，數學的真理是殘酷的。
11 年後的 1890 年，另一位數學家珀西·希伍德 (Percy Heawood) 仔細檢查了肯普的論文，並指出了證明中一個極度隱蔽的致命漏洞。肯普的「換色技巧」在面對某種特定形狀的五邊形相鄰結構時，會發生衝突而完全崩潰。
肯普的證明是錯的。四色「定理」瞬間又退回了四色「猜想」。
希伍德雖然推翻了肯普，但他也無法證明四色猜想，他只能用肯普的方法，退而求其次地證明了「任何地圖只需要五種顏色（五色定理）」。
但數學家不要五，他們只要四。
4. 百年詛咒的延續
進入 20 世紀，四色猜想成為了與費馬最後定理齊名的「世紀懸案」。
數學家們發明了越來越多複雜的圖論技巧。他們把肯普那套「不可避免的結構」擴展到了幾百種、幾千種。他們發現，要證明四色猜想，就必須證明這成千上萬種複雜的圖形結構，全部都能被四種顏色塗滿。
這已經超出了人類大腦與紙筆運算的極限。
到了 1970 年代，兩位年輕的數學家看著這座人力無法翻越的高山，將目光轉向了當時剛剛興起、體積龐大且笨重的機器——電子計算機。
下一集：為了徹底終結四色猜想的百年詛咒，人類歷史上第一次將神聖的數學證明權，交給了沒有靈魂的機器。這引發了數學界一場史無前例的哲學大地震。