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