2. 将F ≤ (2/3)E代入欧拉公式V - E + F = 2，可得V - E + (2/3)E ≥ 2，化简得E ≤ 3V - 6；
3. 假设平面图中所有顶点的度数都≥6，由于每条边对应两个顶点，因此顶点数V与边数E满足2E ≥ 6V，即E ≥ 3V；
4. 但E ≥ 3V与E ≤ 3V - 6矛盾，因此假设不成立，即平面图中必存在度数≤5的顶点。
这一性质是四色猜想证明的核心基石，它表明任何平面图都存在“度数≤5”的“薄弱环节”（即不可免构形的雏形）。通过数学归纳法，可将复杂平面图的着色问题转化为对这些“薄弱环节”的处理——若能证明包含这些薄弱环节的平面图是四色可染的，则所有平面图都满足四色猜想。
2.4 核心概念：构形、可约构形与不可免完备集
基于欧拉公式推导的“存在度数≤5的顶点”这一性质，数学家们进一步提出了四色猜想证明的核心框架——构形可约化方法，其关键概念包括构形、可约构形和不可免完备集 ：
- 构形（figuration）：指平面图中由一个中心顶点及其相邻顶点、边和区域组成的局部结构。根据中心顶点的度数，构形可分为“1度构形”“2度构形”……“5度构形”（由于不存在度数≥6的顶点，无需考虑更高度数的构形）。
- 可约构形（Reducible figuration）：若一个构形无法出现在“最小五色图”（即需要五种颜色着色且区域数最少的平面图）中，则称其为可约构形。“最小五色图”是反证法中的关键假设——若四色猜想不成立，则必存在这样的图，且其所有子图都是四色可染的。证明构形可约的核心逻辑是：若最小五色图包含该构形，则可通过“删除顶点-着色-恢复顶点”的过程，用四种颜色为原地图着色，与“最小五色图”的定义矛盾，因此该构形不可能存在于最小五色图中。
- 不可免完备集（Unavoidable plete Set）：指一组构形的集合，满足任何平面图都至少包含该集合中的一个构形。根据欧拉公式推导的性质，“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：肯普沿用上