維基百科:優良條目/2013年3月22日

四色定理是一個著名的數學定理：如果在平面上劃出一些鄰接的有限區域，那麼可以用四種顏色來給這些區域染色，使得每兩個鄰接區域染的顏色都不一樣。另一個通俗的說法是：每個地圖都可以用不多於四種顏色來染色，而且沒有兩個鄰接的區域顏色相同。「是否只用四種顏色就能為所有地圖染色」的問題最早是由一位英國製圖員在1852年提出的，被稱為「四色問題」或「四色猜想」。1976年，數學家凱尼斯·阿佩爾和沃夫岡·哈肯藉助電子計算機首次得到了一個完全的證明，四色問題也終於成為了四色定理。這是首個主要藉助計算機證明的定理。這個證明一開始並不為許多數學家接受，因為不少人認為這個證明無法用人手直接驗證。儘管隨着計算機的普及，數學界對計算機輔助證明更能接受，但仍有數學家希望能夠找到更簡潔或不藉助計算機的證明。