2，四色猜想證明2，1，引理二種色不能為三互接壤包圍國圖形接壤隔離填色證明假定二種色能為三互接壤包圍國圖形接壤隔離填色，如減去一種色就會有留下三二一個接壤包圍國圖形的可能情況留下三個是三互接壤包圍國圖形用一種色 。
美國伊利諾斯大學(xué)的兩位教授阿貝爾和哈根，利用電子計算機證明了地圖的四色猜想是正確的他們將地圖的四色問題化為2000個特殊的圖的四色問題，然后在電子計算機上計算了1200個小時，終于證明了四色問題 。
1878～1880年兩年間，著名的律師兼數(shù)學(xué)家肯普和泰勒兩人分別提交了證明四色猜想的論文，宣布證明了四色定理，大家都認為四色猜想從此也就解決了11年后，即1890年，數(shù)學(xué)家赫伍德以自己的精確計算指出肯普的證明是錯誤的不久 。
1976年，美國數(shù)學(xué)家阿佩爾與哈肯在美國伊利諾斯大學(xué)的兩臺不同的電子計算機上，用了1200個小時，作了100億判斷，終于完成了四色定理的證明四色猜想的計算機證明，轟動了世界 已贊過 已踩過lt 你對這個回答的評價是？ 評論 收起 。
公開宣稱四色猜想可用尋找可約圖形的不可避免組來證明他的學(xué)生丟雷寫了一個計算程序，?？瞬粌H能用這程序產(chǎn)生的數(shù)據(jù)來證明構(gòu)形可約 。
四色猜想實際上就是說在平面上不存在5個及以上的兩兩相鄰區(qū)域因為如果存在5個及以上的兩兩相鄰區(qū)域，需要用到的顏色勢必不止4種 。
【四色定理證明】
推薦閱讀
- 請高手講解戴維南定理的詳細描述
- 等比定理可以逆用嗎
- 護士實習證明三乙可以嗎
- 蘇州姑蘇區(qū)可以開待業(yè)證明嗎
- 判決離婚的法定理由是什么
- 網(wǎng)上報名為什么不動產(chǎn)證明上傳不了
- 水果怎樣挑選更好吃
- 無工作證明怎么開
- 菱形的判定定理是什么
- 阿基米德定理