趣味數(shù)學(xué)故事之徹底解決“四色問題”

1、趣味數(shù)學(xué)故事之徹底解決“四色問題”趣味數(shù)學(xué)故事之徹底解決“四色問題”地圖“四色問題”(又稱“四色猜想”)最早由英國(guó)大學(xué)生法蘭西斯古特里(Francis Guthrie )于1852年在繪制地圖時(shí)發(fā)現(xiàn)，他卻找不出科學(xué)肯定的證明就去請(qǐng)教他在倫敦大學(xué)讀書的哥哥費(fèi)特里克古特里( Frederick Guthrie )。兄弟倆搞了好些日子還是證明不了，就由哥哥去向倫敦大學(xué)的老師、當(dāng)時(shí)非常著名的數(shù)學(xué)家奧古斯都德摩根( Augustus de morgan )請(qǐng)教，摩根教授當(dāng)時(shí)也證明不了，就至函他在三一學(xué)院的好友一一著名數(shù)學(xué)家威廉哈密爾頓( William Rowan Hamilton ) ，希望他能幫助證

2、明?？晒軤栴D對(duì)這個(gè)問題研究了十三年，到死也沒能給出證明。自從 1879 年至今全世界不斷有人提出證明了“四色問題”，可是都叫人難以信服，不斷又被別人否定，至今這個(gè)“四色問題”仍與“哥德巴赫猜想”及“費(fèi)馬最后定律”一起被全世界公認(rèn)為數(shù)學(xué)史上最著名的三大難題。本人 2019 年夏天剛接觸到“拓?fù)鋵W(xué)”，試著用“拓?fù)鋵W(xué)”的方法去分析“四色問題”，只化半小時(shí)左右時(shí)間就證明了“四色問題”。我寫的關(guān)于“四色問題”的證明 (以下簡(jiǎn)稱證明，可在電腦中文搜索欄打入“四色問題”或作者姓名“焦永溢”查看) 2019 年底在許多數(shù)學(xué)網(wǎng)站上刊登出來(lái)后，看了的人很多認(rèn)為非常正確；但也有一部分不明白的人認(rèn)為證明了“相互間有

3、連線的點(diǎn)不多于四個(gè)”并不是證明了“四色問題”，他們認(rèn)為四點(diǎn)相互間有連線只是平面圖上的局部現(xiàn)象，不能代表整個(gè)平面圖，還提出比如中間一個(gè)點(diǎn)周圍五個(gè)點(diǎn)的圖形并沒有四個(gè)點(diǎn)之間相互有連線卻也要四種顏色?？晌以谶@里要再?gòu)?qiáng)調(diào)一下：證明中三個(gè)定理概括講就是“三點(diǎn)必閉，四點(diǎn)必圍，五點(diǎn)必?cái)唷?，并沒有說(shuō)一定要四點(diǎn)相互間有連線才需四色，證明“四色問題”關(guān)鍵在于“五色必?cái)唷薄?證明中分析了第五點(diǎn)E 落在封閉圖形ABC以內(nèi)及以外的情況，也提到了第五點(diǎn)若落在連線上必定會(huì)隔斷這條連線，只是沒有把隔斷的情況用圖畫出來(lái)，其實(shí)一畫出來(lái)也是與另兩種情況一樣：三點(diǎn)包圍一點(diǎn)，另一點(diǎn)又被小的封閉圖形所包圍。下面我再?gòu)牡谖妩c(diǎn)開始，接著第六點(diǎn)

4、、第七點(diǎn)、第八點(diǎn)直到無(wú)窮多點(diǎn)的情況下證明“四色永遠(yuǎn)足夠”。為了使分析的圖形更直觀明了，可以換一個(gè)角度來(lái)看四點(diǎn)相互間有連線的圖形：把封閉圖形放在球面上，各點(diǎn)間距離均勻，拉直各條連線，圖形就成了一個(gè)正三棱錐。圖1 就是把ABC面當(dāng)?shù)祝珼點(diǎn)當(dāng)頂點(diǎn)從上向下的俯視圖，若把三棱錐翻 一個(gè)面，比如將 B點(diǎn)當(dāng)頂點(diǎn)，ACD面就成了底面，所以外面 三條線其實(shí)與里面三條線是一樣的，圖形的外面實(shí)際上就是三棱錐的底面，三棱錐的底面與三個(gè)側(cè)面其實(shí)也是一樣的。這樣任何第五點(diǎn)只有放在三個(gè)小三角形（側(cè)面）中間及里面三條連線（棱線）上兩種情況。 當(dāng)?shù)谖妩c(diǎn)放在任一小三角形中間，顯而易見這點(diǎn)只能與周圍 的三個(gè)點(diǎn)有連線（如圖1 中 E

5、 點(diǎn)） ，并且又把小三角形分隔成三個(gè)更小的三角形，這樣只要第六點(diǎn)、第七點(diǎn)一直到 任意多點(diǎn)都落在三角形中間，每一點(diǎn)都只能與包圍它的三點(diǎn) 有連線，所以無(wú)論有多少個(gè)點(diǎn)“四色足夠”。當(dāng)?shù)谖妩c(diǎn)放在中間任一連線（包括以上更小更更小的連線）上時(shí)（如圖2中E點(diǎn)所示），E點(diǎn)成了三角形 ABD與三角形 AC必共邊AD中間的點(diǎn)，這樣實(shí)際上形成了 ABD匝ACDEW 個(gè)四邊形，而最大平面圖中是不存在多邊形的。若E 點(diǎn)與 B點(diǎn)有連線，A點(diǎn)與D點(diǎn)從右邊仍有連線，那么 E點(diǎn)又變成了 三角形ABD中間的點(diǎn)；若 E點(diǎn)與C點(diǎn)有連線，A點(diǎn)與D點(diǎn)從 左邊有連線，那么 E點(diǎn)又變成了三角形 ACD中間的點(diǎn)；若E 點(diǎn)與B點(diǎn)及C點(diǎn)都有連線，

6、那么 A點(diǎn)與D點(diǎn)的連線必被E點(diǎn) 隔斷，這就是證明中的“五點(diǎn)必?cái)唷保倏纯催@時(shí)整個(gè) 圖變成了 E點(diǎn)被三角形ABC所包圍取代了 D點(diǎn)原來(lái)的地位， 而D點(diǎn)反過來(lái)被三角形 EBC所包圍。接下來(lái)第六點(diǎn)、第七 點(diǎn)一直到任何多點(diǎn)都可落在任何一條公共邊上，最后都 會(huì)變成與上面的幾種情況一樣，形成大三角形里面包含小三角形，小三角形包含更小三角形這樣可以一級(jí)級(jí)的無(wú)限 延續(xù)下去。所以最后可以肯定地說(shuō)“任何復(fù)雜的平面圖都是由大小不等的三點(diǎn)包圍一點(diǎn)圖所組成，所以也就只要有四種顏色就足夠能使有連線的點(diǎn)顏色不同。這樣簡(jiǎn)單的證明其實(shí)摩根教授在1860 年就已經(jīng)提出來(lái)，但馬上又被他自己所否定，他主要是把中間一點(diǎn)周圍五點(diǎn)的圖看成是最大平面圖，沒有把五棱錐底面的五邊形進(jìn)行分割，所以也就看不到所有點(diǎn)都可變成被三點(diǎn)包圍，這一疏略把這么簡(jiǎn)單的“四色問題”變成了千古難題，一百五十多年來(lái)肯定有許多人其實(shí)證明了“四色問題”，但都被摩根的這個(gè)否定給否定掉了。否定我的證明的人其實(shí)也是與摩根教授一樣的想法。在這里我還要肯定地說(shuō)：以前有人用“窮舉法”借助電子計(jì)算機(jī)所謂的證明肯