你能證明四色猜想嗎

  你知道世界三大數學難題是什麼嗎？它們是費馬猜想、四色猜想和哥德巴赫猜想。這三個問題題目看起來淺顯易懂，但其實內涵深刻難解，像哥德巴赫猜想至今尚未解決。下面讓我們一起來了解一下四色猜想是怎麼回事吧！

  四色猜想最初是由法蘭西斯·古德里在1852年提出的。這一猜想源於古德里在繪製地圖的實踐中，發現只需用四種顏色，就能保證有相鄰邊界的分區顏色不同。這個猜想在後來的通俗表述中就是：「任意一張地圖都可以用四種顏色染色，使得沒有兩個相鄰國家染的顏色相同。」這個猜想在數學家德·摩爾根的推動下，在數學界引起研究熱潮，大家感興趣的是，這個猜想能否用嚴謹的數學推理證明呢？

  1879年，著名的律師兼數學家肯普在當時並不出名的雜誌上發表了對四色猜想的證明論文。大家都認可他的證明，也認為這一難題也就解決了。因為肯普並不是真正的數學家，很多數學家認為該證明並未涉及本質的數學問題，但是肯普的證明在一時間並未被推翻。直到在肯普的證明發表11年之後，珀西·約翰·希伍德發表了一篇文章，指出了肯普證明的漏洞。肯普的證明被攻破了，四色猜想又成了難題。

  後來的證明接連失敗，致使歐洲數學界對四色猜想的研究出現了停滯。四色猜想的旋風從歐洲刮到了美國，終於在1976年，美國數學家阿佩爾與哈肯藉助計算機完成了對四色猜想的證明——這個歷經120多年的數學難題終於得到了解決！