則必存在這樣的圖，且其所有子圖都是四色可染的。證明構形可約的核心邏輯是：若最小五色圖包含該構形，則可通過“刪除頂點-著色-恢複頂點”的過程，用四種顏色為原地圖著色，與“最小五色圖”的定義矛盾，因此該構形不可能存在於最小五色圖中。
-不可免完備集（UnavoidableCompleteSet）：指一組構形的集合，滿足任何平麵圖都至少包含該集合中的一個構形。根據歐拉公式推導的性質，“1度至5度構形”組成的集合就是一個最基礎的不可免集——任何平麵圖必含其中一種構形。
四色猜想的證明邏輯由此清晰：若能找到一個由可約構形組成的不可免完備集，則最小五色圖不存在（因為它必含該集合中的一個構形，而該構形是可約的，與最小五色圖的定義矛盾），因此所有平麵圖都是四色可染的。肯普的錯誤在於未能證明“5度構形”是可約的，而後續數學家的核心工作，就是不斷擴充可約構形的種類，最終構建出完整的不可免完備集。
第三章關鍵證明方法解析：從肯普鏈到計算機驗證
3.1肯普的開創性嘗試：數學歸納法與換色鏈
1879年，肯普提出的證明方法雖然存在漏洞，但奠定了四色猜想證明的基本框架，其核心思想是數學歸納法+肯普鏈換色法，對後續研究產生了深遠影響。
肯普的證明步驟如下：
1.基礎情形驗證：當平麵圖的頂點數V≤4時，顯然可用四種顏色著色（每個頂點對應一種顏色），基礎情形成立。
2.歸納假設：假設所有頂點數為V=k（k≥4）的平麵圖都是四色可染的，需證明頂點數為V=k+1的平麵圖也滿足四色可染。
3.利用不可免集：根據歐拉公式推導的性質，頂點數為k+1的平麵圖中必存在一個度數≤5的頂點v，刪除v後得到頂點數為k的平麵圖，由歸納假設可知該圖可四色染。
4.恢複頂點v的著色：關鍵是證明能在四種顏色中找到一種顏色分配給v，使其與相鄰頂點的顏色都不同，這需要分情況討論v的度數（1至5度）：
-情況1：v的度數≤3：v的相鄰頂點至多使用3種顏色，因此隻需將v染為未使用的第四種顏色，著色成功。
-情況2：v的度數=4：設v的四個相鄰頂點為v?、v?、v?、v?，若這四個頂點中存在同色頂點，則v可染為該顏色；若四個頂點顏色各不相同（設為紅、黃、藍、綠），則構造“紅-綠肯普鏈”（由顏色交替的紅、綠頂點組成的路徑）：
-若v?（紅）與v?（綠）不在同一條紅-綠肯普鏈中，交換v?所在鏈的紅、綠顏色，v?變為綠色，此時v的相鄰頂點中綠色出現兩次，紅色空缺，v可染為紅色；
-若v?與v?在同一條紅-綠肯普鏈中，該鏈與v形成一個閉合回路，將v?（黃）與v?（藍）分隔在回路內外，此時交換v?所在的黃-藍肯普鏈顏色，v?變為藍色，v的相鄰頂點中藍色出現兩次，黃色空缺，v可染為黃色。
-情況3：v的度數=5：肯普沿用上述換色思路，認為可通過兩次換色操作空出一種顏色，但希伍德在1890年發現，這種換色方法在某些特殊鄰接結構中會失效——兩次換色可能導致新的顏色衝突，無法保證空出顏色給v，這一漏洞使得肯普的證明宣告失敗。
請訪問ᴏᴏᴘ.ᴛᴡ獲取最快的章節更新
儘管肯普的證明未能成功，但他提出的“肯普鏈換色法”成為後續可約構形證明的核心工具。希伍德在指出漏洞的同時，利用該方法成功證明了五色定理，即任意平麵圖的頂點色數不超過5，這也從側麵印證了肯普方法的合理性與價值。
3.2五色定理：四色猜想的“近親”與過渡
五色定理的證明是四色猜想研究的重要裡程碑，它不僅驗證了肯普方法的有效性，也為四色猜想的最終證明提供了思路借鑒。希伍德的五色定理證明同樣基於數學歸納法，其核心邏輯與肯普的方法一脈相承，但在處理5度頂點時進行了更嚴謹的修正。
五色定理的證明步驟如下：
1.基礎情形：V≤5時，顯然可用五種顏色著色，成立。
。染可色五也圖麵平的1+k=V明證，的染可色五是都圖麵平的）5≥k（k=V有所設假：設假納歸.2
。染色五可G圖的到得後v除刪，v點頂的5≤數度在存中圖麵平的1+k=V：用應集免可不.3
：色著的v複恢.4
；色顏的用使未點頂鄰相為染可，致一況情的明證普肯與，4≤數度的v若-
：鏈普肯藍-紅造構則，）黑、綠、藍、黃、紅為設（同相不各色顏點頂個五若；色顏該為染可v，點頂色同在存中其若，?v-?v為點頂鄰相設，5=數度的v若-
；色紅為染可v，缺空色紅，次兩現出色藍中點頂鄰相的v，色藍為變?v，色顏的鏈在所?v換交，中鏈藍-紅條一同在不）藍（?v與）紅（?v若-
。色黃為染可v，缺空色黃，次兩現出色綠中點頂鄰相的v，色綠為變?v，色顏的鏈在所?v換交，）隔分路回藍-紅被因（中鏈條一同在不必?v與?v，鏈普肯綠-黃造構時此，隔分）黑（?v、）綠（?v、）黃（?v將，路回成形v與鏈該，中鏈藍-紅條一同在?v與?v若-
。性約可其明證並構結接鄰的能可有所儘窮要需，低降幅大率錯容的作操色換得使束約的色顏種四：戰挑心核的想猜色四了示揭也別區一這。構結接鄰的點頂度5有所蓋覆，下提前的色顏種四用使僅在何如，於在點難鍵關的想猜色四而，況情分部大的點頂度5理處以可法色換鏈普肯過通，明表明證功成的理定色五
力接的器機到工人從：展拓的形構約可3.3
慮考要需還，點頂度5-1的個單了除——集備完免可不的形構多更含包個一建構要需明證的想猜色四，到識意們家學數，後之德伍希和普肯
