剛才以這條公理(“任何一個(gè)圖形在二元平面內(nèi)最多只能與另外三個(gè)圖形兩兩互相有邊界。”)又想了一下,猜測(cè)老先生的證明過(guò)程大致如下:
1、論證該公理。
2、論證4個(gè)圖形的時(shí)候,四色定理成立。(顯然成立)
3、論證5個(gè)圖形的時(shí)候,四色定理成立。(第五個(gè)圖形最多與前四個(gè)圖形中的某三個(gè)有邊界,所以顯然成立)
4、假設(shè)n個(gè)圖形的時(shí)候成立,則n+1個(gè)時(shí)候也成立,依據(jù)見(jiàn)3。
5、所以四色定理成立。
所以問(wèn)題的關(guān)鍵是證明公理成立,證明公理成立應(yīng)該也不是很難的。
所以我相信方舟子這次犯了沒(méi)有深思熟慮的錯(cuò)誤。
突然產(chǎn)生這個(gè)想法是昨天看到黎老先生的blog里說(shuō),他的想法源于道家的“三生萬(wàn)物”,于是我想到了四色定理應(yīng)該等同于我提出來(lái)的公理(任何一個(gè)圖形在二元平面內(nèi)最多只能與另外三個(gè)圖形兩兩互相有邊界。)。
關(guān)鍵的問(wèn)題應(yīng)該是論證我提出來(lái)的公理。
posted on 2006-08-17 13:59
coffee 閱讀(1536)
評(píng)論(9) 編輯 收藏 所屬分類(lèi):
我的日記