四色猜想的證明

呂振柱

【摘要】 四色猜想的證明已經(jīng)歷經(jīng)了一百多年，這個看似簡單的問題，卻難倒過大量的數(shù)學(xué)愛好者. 人們通過不斷努力，最終于1976年6月，由哈肯與阿佩爾合作編制一個很好的程序，在美國伊利諾斯大學(xué)的兩臺不同的電子計算機上，用了1200個小時，作了100億判斷，終于完成了四色定理的證明. 但人們不滿足于計算機取得的成就，仍在尋找更簡單的證明方法. 我在證明四色猜想時，主要采用了轉(zhuǎn)化思想，把四色猜想的證明轉(zhuǎn)化成在平面內(nèi)是否存在五個圖形兩兩之間存在公共邊的證明，再轉(zhuǎn)化成在平面內(nèi)是否存在五個點兩兩相連，連線除了頂點之外沒有其他交點的證明. 這樣就大大簡化了四色猜想的證明，把復(fù)雜的圖論問題轉(zhuǎn)化成了簡單的連線問題，使人很容易理解、接受.

【關(guān)鍵詞】 四色猜想；兩兩相連；公共邊

地圖四色定理（Four color theorem）最先是由一位叫古德里（Francis Guthrie）的英國大學(xué)生提出來的. 四色問題的內(nèi)容是：“任何一張地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色. ”用數(shù)學(xué)語言表示，即“將平面任意地細分為不相重疊的區(qū)域，每一個區(qū)域總可以用1，2，3，4這四個數(shù)字之一來標記，而不會使相鄰的兩個區(qū)域得到相同的數(shù)字. ”這里所指的相鄰區(qū)域，是指有一整段邊界是公共的. 如果兩個區(qū)域只相遇于一點或有限多點，就不叫相鄰的. 因為用相同的顏色給它們著色不會引起混淆.

證明之前我們先看一下這個結(jié)論，“將平面任意地細分為不相重疊的區(qū)域，每一個區(qū)域總可以用1，2，3，4這四個數(shù)字之一來標記，而不會使相鄰的兩個區(qū)域得到相同的數(shù)字”. 這個結(jié)論也就是說，在平面中存在四個或四個以下圖形兩兩之間有公共邊，而不存在四個以上的圖形兩兩之間存在公共邊，我們只需要證明平面內(nèi)不存在五個圖形兩兩之間有公共邊就可以了.

我們假設(shè)在平面內(nèi)存在五個圖形兩兩之間有公共邊，分別在這五個圖形內(nèi)各取一點，我們可以把這五個點命名為A，B，C，D，E，兩兩連接這五點，連線在被連接的兩個圖形內(nèi)，并且經(jīng)過它們的公共邊. 如果上述假設(shè)成立，我們必能作出這樣的十條線（AB，AC，AD，AE，BC，BD，BE，CD，CE，DE），并且這十條線除了頂點之外不會有其他的交點.

我們通過作圖方法來證明上述結(jié)論，證明過程：

我們先任選兩點A，B，連接這兩點得到AB（AB可以是任意曲線，為了簡便，我們把它做成直線）.

再任取一點C，從C點向A，B做連線，得到AB，AC，BC這三條線，這三條線連接成了一個閉合的圖形（圖1），并把平面分成了兩部分.

然后我們再取一點D和A，B，C相連，D點可以在AB，AC，BC這三條線分割平面得到的兩部分中的任一部分（圖2，圖3），這樣的六條線AB，AC，AD，BC，BD，CD就把平面分割成了四部分，每部分都是由三個頂點、三條線分割開的.

我們再取第五點E，點E可以在由線AB，AC，AD，BC，BD，CD把平面分割成的四部分中的任何一部分內(nèi)，如果E點在線BC，CD，BD所分割的平面內(nèi)（圖4），那么點E只能和點B，C，D相連，如果要連接點A，必經(jīng)過BC，CD，BD這三條線中的一條，所以點E在這一部分不能和點A相連，以同樣的原理也可以推出當點E在另外三部分的時候，只能和分割這一部分的三個點相連，不可以與第四個點相連. 因此我們可以得到，在平面內(nèi)，不存在這樣的五個點，兩兩相連后，連線除了頂點之外不相交.

從上面的這四個步驟中，我們一步一步推出了結(jié)論：在平面內(nèi)，不存在這樣的五個點，兩兩相連后，連線除了頂點之外不相交. 同時我們也就得到了在平面內(nèi)不存在五個圖形兩兩之間有公共邊，四色猜想也就得到了證明.