程中戰(zhàn)

四色定理命題：

任何一張地圖只用四種顏色就能使任意兩個相鄰的國家著上不同的顏色。

證明：（本文用1 2 3 4代表四種顏色）

公理1：設(shè)平面內(nèi)一個區(qū)域（中心區(qū)）的周圍有n個相鄰的區(qū)域（鄰區(qū)），當(dāng)n為奇數(shù)時，所有鄰區(qū)最多只用三種顏色（n為偶數(shù)時只用兩種顏色）即可使包括中心區(qū)在內(nèi)的所有兩兩相鄰的區(qū)域著上不同的顏色（中心區(qū)為第四種顏色）。這種現(xiàn)象稱為圓環(huán)布局，見圖一圖二。

在平面內(nèi)可以任何一個區(qū)域為中心區(qū)，在它周圍沒有鄰區(qū)的線段（或曲線段）上布設(shè)若干個鄰區(qū)，使它們符合新的圓環(huán)布局，這條線段（或曲線段）稱為空白邊，而已經(jīng)著色的所有區(qū)域構(gòu)成一個不規(guī)則（或規(guī)則）的版塊，這個版塊的外邊緣是由若干條空白邊相連結(jié)的不規(guī)則環(huán)線，稱這個環(huán)線為空白圈。

公理2：即公理1的推論，任何一條空白邊上布設(shè)的k個鄰區(qū)最多只用三種顏色即可填充，就能使其對應(yīng)的中心區(qū)及原有的鄰區(qū)符合圓環(huán)布局。

一條空白邊的兩個端點處有四種情況（如圖三圖四）：

1.一端有鄰區(qū)另一端無鄰區(qū)；2.兩端都無鄰區(qū)；3.兩端都有鄰區(qū)且同色；4.兩端都有鄰區(qū)且異色。據(jù)公理1公理2知，以上四種情況，一條空白邊上最多只用三種顏色，加上中心區(qū)的顏色，共用四種顏色，就能使這個中心區(qū)周圍的新舊鄰區(qū)符合圓環(huán)布局。同理，無論單條還是多條空白邊上布設(shè)新的鄰區(qū)，都符合圓環(huán)布局，連續(xù)空白邊的填充是若干條空白邊填充的合成（如圖五圖六）。這時空白圈向周圍擴展，著色版塊面積增加，就象漣漪、樹木的年輪，又象是中心開花，花瓣層層向周圍擴展。

任何一個不規(guī)則的空白圈都等價于一個圓，因而，任何一個空白圈內(nèi)緣的所有區(qū)域相連結(jié)的圖形都等價于一個圓環(huán)，故，空白圈內(nèi)緣上的所有區(qū)域最多只用三種顏色即可填充。所以，空白圈外緣上任意弧長的一個鄰區(qū)（即若干條連續(xù)空白邊的公共鄰區(qū)）可用第四種顏色填充（如圖六）。

由上可知，四色定理成立。四色定理適合于一個充分大的平面及一個封閉的曲面（如球面）。