維基百科:優良條目/2018年12月28日
![](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Four_Colour_Map_Example.svg/90px-Four_Colour_Map_Example.svg.png)
四色定理是一個著名的數學定理:如果在平面上劃出一些鄰接的有限區域,那麼可以用四種顏色來給這些區域染色,使得每兩個鄰接區域染的顏色都不一樣。另一個通俗的說法是:每個地圖都可以用不多於四種顏色來染色,而且沒有兩個鄰接的區域顏色相同。「是否只用四種顏色就能為所有地圖染色」的問題最早是由一位英國製圖員在1852年提出的,被稱為「四色問題」或「四色猜想」。1976年,數學家凱尼斯·阿佩爾和沃夫岡·哈肯藉助電子計算機首次得到了一個完全的證明,四色問題也終於成為了四色定理。這是首個主要藉助計算機證明的定理。這個證明一開始並不為許多數學家接受,因為不少人認為這個證明無法用人手直接驗證。儘管隨著計算機的普及,數學界對計算機輔助證明更能接受,但仍有數學家希望能夠找到更簡潔或不藉助計算機的證明。