@@@四色定理多角度四种证明

朱明君

四色定理多角度四种证明

作者：朱火华
日期：2026年4月
单位：浙江省安吉县章村镇中街火华超市经营者，业余数学研究者

第一种证法：辐边总和公式及其在二维平面图着色中的应用

摘要

本文提出辐边总和公式，以原图到新单中心轮图的结构等价转换为核心，将任意可平面化图规范化为结构与着色功能完全等价的单中心轮图。通过输入标准化处理与双层虚拟环构建实现结构统一，结合轮构型分解、扇化拼接与奇偶着色规则，辅以奇轮强制四色约束，形成一套完整、可操作的平面图着色方法。该公式为纯代数体系，独立于传统欧拉公式，所得着色方案色数恒不大于四。

1 引言

二维平面图着色是图论经典难题，四色定理从理论上证明任意平面图均可采用四种颜色完成无冲突着色。本文提出辐边总和公式，依托模块化轮构型与榫卯可逆体系，将任意二维平面图等价转换为单中心轮图，实现着色过程的标准化、代数化与可落地化。
辐边总和数具有双重核心意义：既是新单中心轮图的辐边数、环上节点数与环边数，也等价于原图围内所有节点的度数之和，为二维平面图统一着色提供完整代数支撑与实操路径。

2 统一结构定理与榫卯体系

2.1 三大核心支柱

本体：所有标准二维平面图（无弦边、无孔洞），均由围内节点数确定的轮构型模块经部分叠加构成。
生成：俯视视角为二维平面图，模块间仅存在部分叠加；以第二层环上任一节点为底座中心，其余模块由外向内顺时针螺旋叠放，仅最上层模块完整呈现。
可逆：拆出仅解除模块叠加关系，不破坏单轮内部榫卯；分解仅操作单轮一处内部榫卯；拼接与拆出互逆、分解与闭合互逆，全程零件零损耗、接口零破坏。

2.2 榫卯唯内性

榫卯结构仅存在于单个轮构型模块内部，绝不跨模块边界。环上节点设三个凹口（环向两个、向内一个），中心节点设一个整凹口容纳辐边近端凸头；环边与辐边两端带标准凸头、杆体可伸缩，所有凸头与凹口规格统一。

3 结构等价原理

转换本质为无损益分离与拼接，同一套结构零件仅更换组装方式，节点、边、辐边、环边数量全程守恒。
辐边总和守恒：w既是原图所有模块辐边总数，也等于重组后单中心轮图的环上节点总数。
轮扇同一：轮是闭合的扇，扇是展开的轮；分解仅通过分离一处内部榫卯，将轮内隐含的扇结构显性化。

4 辐边总和公式与图结构转换

辐边总和公式是独立于欧拉公式的纯代数体系，核心是实现任意平面图向单中心轮图的等价转换，转换后新图色数 ≤ 4，着色结果可逆向映射回原图。公式分为基础、简化、普适、重构四类，覆盖全类型二维平面图。

4.1 辐边总和公式三维代数构造范式

一、基础公式
适用于两层及以上环加中心区域的标准二维平面图。
公式：w = 6(n - m - 1) + (m - d)
参数：n（节点总数，n≥4）、m（外围节点数，m≥2）、d（第二层环节点数，d≥2）、w（辐边总和数，w≥6）。
系数6取自最小解结构（n=4、m=d=2时w=6），-1为围内基准扣除值；最小解由两个1+3轮构型模块点边叠加构成。
特殊情形：m=d且m+d为≥4偶数时，w=6(n-m-1)；m=d=3时，w=6(n-4)。

二、简化公式
适用于单层/多层环加中心区域平面图，自动处理环上内弦。
公式：w = n + 2d - 3 + k
参数：n=m+d（节点总数，n≥2）、m（外围节点数，m≥1）、d（围内总节点数，d≥1）、k（围内连接边数，d-1≤k≤3d-5）。
弦边处理：拓扑形变将内弦等效转为围内连接，不改变着色属性。

三、普适公式与虚拟环构建
适用于全类型平面图，自动处理孔洞、亏格、多面体、不连通图等。
核心路径：原图→输入标准化→添加双层虚拟环→标准平面图→扇化拼接→新单中心轮图。
公式：w = 6(n新 - 4)，等价形式w=6(n原+2)
参数：n原（原图节点数，n原≥0）、n新=n原+6（双层虚拟环含6个节点）。
虚拟环功能：包裹原图实现标准化，着色后移除虚拟环，原图继承着色结果且色数 ≤ 4；w值不受虚拟连接边影响，恒定不变。

四、重构公式
公式：⊙=1+w
定义：1为所有轮构型中心叠加后的等效中心体，w为新单中心轮图环上节点数。

5 输入标准化

5.1 弦边处理

将环上内弦两端凸头从节点侧凹口拔出，整体移入围内插入节点向内凹口，弦边消失，轮内部榫卯恢复完整。

5.2 孔洞处理

对孔洞区域添加虚拟边做三角剖分，将多连通图转为无孔洞单连通平面图，适配后续计算与着色。

6 核心双向转换步骤

6.1 原图→新图

拆出：按围内节点数拆分所有轮构型模块，仅解除叠加关系；
还原：伸缩边与辐边，将变型轮还原为标准轮构型；
分解：标准轮环上分离一处榫卯，展开为扇形（扇钉=中心、扇骨=辐边、扇纸=环边）；
拼接：扇形按榫卯咬合规则拼接，扇柄同心叠加不锁死，按辐边占比分配弧度，生成w个环节点的单中心轮图。

6.2 新图→原图

分解新图为扇形→扇形闭合还原标准轮构型→按初始状态螺旋叠加复原原图，全程无损可逆。

7 着色功能等价性

依托榫卯无损拆装实现双向映射，通过三类机制保持着色属性不变：
原图→新图：选取占比最高的轮中心色为新图中心色，互换环上与中心颜色实现统一；
新图→原图：单轮内部互换中心与环上颜色，调和冲突匹配原图中心色；
无冲突替换：无颜色冲突时直接替换中心色，简化流程。

8 新单中心轮图最优着色

着色由w奇偶性与原图奇轮存在性共同决定，色数 ≤ 4：
奇环（w=2m+1）：环上两色交替+1个第三色，中心第四色，总色数4；
偶环（w=2m）：环上两色交替，中心第三色，总色数3；
核心约束：原图含任意奇轮，无论w奇偶均强制4色，保障逆向着色无冲突。
完整规则：w奇数→4色；w偶数且无奇轮→3色；w偶数且含奇轮→4色。
本文单中心轮图为扇化拼接专属结构，与传统图论轮图定义不同，核心属性为色数 ≤ 4。

9 体系核心支柱

本体‑生成‑可逆闭环；榫卯唯内性；输入标准化；辐边总和守恒；轮扇同一；弧度比例拼接；双向无损等价。

10 完整操作路径

输入图→弦边处理→孔洞剖分→标准图→拆出→还原→扇化分解→w计算→拼接→新单中心轮图→着色→逆向操作→颜色调和→原图着色

11 重要注记

本体系仅适用于二维平面图及可平面化图，不适用于K5、K3,3等非平面图。

12 结论

本文提出的辐边总和公式，以模块化轮构型、榫卯可逆体系、虚拟环标准化为核心，实现任意二维平面图向单中心轮图的等价转换。全流程双向无损、代数自洽，四类公式覆盖所有平面图类型，结合奇偶着色与奇轮强制约束，形成一套独立、完整、可实操的构造性着色方法，从底层逻辑印证四色定理的适用性，为图论着色研究提供全新范式。
体系逻辑闭环完整、自洽性充分验证，操作无信息损失、可逆性强，具备在地图渲染、电路布线、图神经网络等工程场景的落地潜力。

关键词：二维平面图；辐边总和公式；轮构型；榫卯结构；图着色；四色定理；虚拟环；弦边处理；孔洞剖分；模块化；结构等价；构造性着色

辐边总和公式体系

设n为二维平面图节点个数，
m外围节点个数，
a三角形个数=2n-m-2，
e边的个数=3n-m-3，
n=m+d，其中d为围内节点个数，
n=m+d+y，其中d为由外向內第二层环上节点个数，y第三层及以上环+中心区域节点个数，
k围内节点实际连接边数，
2d-3围内节点理论连接边数，
n新=n原+6，
w辐边总和数

①基础公式，n=m+d+y
w=6(n-m-1)+(m-d)

②综合公式，n=m+d
w=6(n-m-1)+(m-d)+(k-(2d-3))

③简化公式，n=m+d
w=n+(2d-3)+k

④，关联公式，n=m+d+y，其中d为由外向內第二层环上节点个数，y第三层及以上环+中心区域节点个数，
w=3a-d-2m
w=2e-d-3m

⑤普适公式，n新=n原+6
w=6(n新-4)=6(n原+2)

⑥重构公式，
新单中轮图⊙=1+w

 

第二种证法：层级标准二维平面图完整体系

万能构造公式

e = 3n - m - 3
n 为总节点数，m 为最外环节点数（m ≥ 3），e 为总边数。

边数守恒定律

预处理完成后的标准三角剖分图，经对角线翻转为层级标准图，边数不变。万能公式锁定最终边数。

层级标准图四条件

条件一：同心环结构，由内向外逐层嵌套。
条件二：每环节点数不少于三。
条件三：邻层间为标准三角剖分连接，无弦边。
条件四：全图无孔洞，所有面均为三角形。

核心性质一：补全后全图无弦边

逐层规范完成后，每一层环上的边仅连接该环上相邻顶点，不存在连接同一环上非相邻顶点的弦边。

核心性质二：所有边由内向外呈辐射状

图中每一条边，要么是某一环上的环边，要么是连接相邻两环的跨环边。不存在跨越多层的跳跃边，无横向乱边。

核心性质三：虚拟环一次性搭建，缺口环边逐层补

预处理阶段，在原图外围一次性搭建完整虚拟外环，形成统一外边界。逐层规范阶段，各层若有局部缺口，在该层缺口处补环边。虚拟环是整体结构，环边修补是局部操作，二者层次分明。

核心性质四：中心位置决定补缺分布

零层居中时，环层天然趋向完整闭合，仅需少量补边。零层偏移时，稀疏侧可能出现多层局部缺口，需在各层分别补环边。无论居中还是偏移，最终均收敛为层级标准图。

两大工具

工具一：虚拟边与虚拟环增补。对孔洞和非三角形面添加虚拟边完成三角剖分；预处理时在原图外围一次性搭建节点数不少于三的完整虚拟外环；逐层规范时在任何一层的缺口处补环边及必要虚拟节点，形成闭合环。全程内部禁增节点，仅外围及缺口处可增虚拟节点。

工具二：对角线翻转。当图中存在弦边时，该弦边必为某四边形的一条对角线，此四边形的四个顶点分属相邻两层。将弦边翻转为该四边形的另一条对角线，弦边即被消除，新边连接不同层，恢复辐射状结构。不增删边，保持平面性与三角剖分结构。

构造流程

第一步：预处理。孔洞添加虚拟边完成三角剖分；在原图外围一次性搭建完整虚拟外环（m ≥ 3），并完成与原图最外围的三角剖分连接。
第二步：选定零层中心。在图内任意选定单节点或双节点作为零层中心，位置可居中也可偏移，按需自由选取。零层不独立成环，其外围直接作为第一层，由此向外逐层划分环层。
第三步：逐层规范。由内向外，对每层检查闭合状态。天然闭合则跳过；存在缺口则在该层缺口处补环边及必要虚拟节点形成闭合环，并配套完成三角剖分。存在弦边则找到其关联四边形，执行对角线翻转消除弦边。用万能公式局部校验完备性。规范后固定，推进至下一层。
第四步：终版校验。全环闭合，每环节点数不少于三，全图无弦边，所有边呈辐射状，全三角面，边数等于 3n - m - 3。

着色公理

每层恰用三种颜色，相邻两层共享恰好两种颜色。第一层分配三色作为初始基准；后续每层与上层共享两色，引入一种新色。四种颜色循环复用，全局色数恒为四。全图无弦边且边呈辐射状，跨层四边形对角线翻转颜色永久合法。删除全部虚拟元素后，原图继承合法四着色。

万能构造公式即为证明
任意平面图经预处理得带完整虚拟外环的三角剖分图，逐层规范中凡遇缺口即补环边，遇弦边即翻转消除，边数相应调整，始终满足公式约束。对角线翻转不改变边数，全程边数守恒。补边与翻转均为有限操作，弦边逐次减少直至归零，所有边收敛为辐射状，公式锁定边界，必然有限步内收敛至层级标准图。万能构造公式同时是构造目标、检验标准和可行性证明，体系完整闭环。
本体系构成四色定理的完整构造性证明。

 

第三种证法：基于共享轮模型与双层虚拟环的四色定理构造性证明

本证明通过引入可拆除的双层虚拟环与全域三角剖分，将任意简单平面图转化为"每个内部节点皆为轮中心"的标准化共享轮网络。依托节点双重身份与跨轮颜色流通机制，在微观层面证明"第四色仅为借用"，在宏观层面导出"全局至多四色"的必然约束。最终，拆除所有虚拟构造，原图无缝继承合法四着色，整套逻辑完全自洽，构成对四色定理的严密证明。

一、拓扑构造：两大前置基础

① 标准化改造——双层虚拟环与全域三角剖分
对任意给定的简单平面图G，首先在其最外围增设一层双层虚拟环（由内外两圈虚拟节点及连接边构成），原图所有真实节点均被包裹于内。随后，针对图中所有孔洞以及边数≥4的多边形面，补充虚拟对角线，直至每一面皆为三角形，完成全域三角剖分。此改造生成一个标准化极大平面图G'，且G的全部真实节点和真实邻接关系在G'中完整保留。增设的双层虚拟环，为后续着色提供了不受原图约束的最外层自由度。

② 模块化拆解——全域映射为共享节点的轮构型网络
在G'中，全域皆由三角形面构成。除最外层虚拟环节点外，对于内部任何一个真实节点，无论其邻居在几何上如何围点排列，由于所有邻接面均被三角剖分，这些邻居节点通过三角面的边连接关系，在拓扑上必定构成一个闭合环。因此，每一个内部节点都天然成为一个轮构型的中心节点。

这些轮构型并非彼此孤立或简单嵌套，而是通过共享部分节点和边，交织成一个全局连通的网络。一个节点作为当前轮的中心，同时它自身和它的一部分邻居节点，又会作为"环节点"参与到其他轮构型中去。正是这种轮间节点共享的构造，赋予了内部节点双重身份——既是某一轮的中心，又是其他轮的普通环节点。点与边跨轮共享，为颜色的跨模块流动奠定了拓扑基础。图中奇数轮在局部着色时会产生调用第四色的需求，但依托共享机制，整图用色恒不突破四色。

二、单层环形着色细分规则

封闭环形独立着色时，存在严格的色彩上限：
偶数环（节点数≥4）：两色交替即可完成，仅极端邻接约束下才需第三色，上限为3色。
奇数环（节点数≥3）：首尾节点必然同色冲突，必须引入第三种颜色解决，上限亦为3色。

统一结论：任意一层闭合环，无论奇偶，自身着色至多消耗3种颜色，永无法占满全部4色。这为宏观规律"每轮仅取三色"提供了局部必然性支撑。

三、两大核心定理

微观机制：中心节点即其他轮的共享环节点，第四色乃跨轮借用

考察单个奇数轮：中心节点看似需要第四色以调和环上的首尾同色冲突。然而，由共享轮网络的构造特性可知，该中心节点绝非孤立，它必然同时是其他轮上的一个普通环节点。在那些轮的着色中，此节点已被赋予其三色池中的某一色。因此，所谓"第四色"并非引入一个新颜色，而是从其他轮已有的三色池中借用一个已存在的颜色。"内部节点皆为轮中心"的构造，保证了这种双重身份在整张图中无处不在，所有独立轮形的颜色池被共享节点彻底贯通，四种颜色在整图中自由流动、互相调剂，从根源上消灭了对全新颜色的需求。

宏观规律：颜色跨轮流通，全局限定于四色之内

着色依托共享节点网络逐步扩展。每一轮构型自身严格限制在3种颜色以内；当两个轮通过共享节点连接时，它们的颜色池自然融合，共用一部分颜色。依此机制，全图的颜色种类不会随着轮数量的增加而无限增长。通过共享节点，所有轮的颜色需求被协调统一，四种颜色足以应对任意复杂的交织结构。没有任何拓扑情形能迫使全局颜色数突破四。

四、完整因果链条与最终归结

1.拓扑奠基：双层虚拟环与全域三角剖分，强制将任意平面图G转化为标准化图G'。在G'中，"每个内部节点皆为轮中心"，形成共享轮网络，生成大量具备双重身份的共享节点，搭建起颜色跨轮流通的完美拓扑基础。
2.微观动因：共享节点的双重身份，使奇环所需的"第四色"可跨轮复用已有颜色，而非新增。这是全局四色够用的底层动力学机制。
3.宏观约束：依托颜色流通机制，各轮着色自然协调，所有独立轮的颜色池通过共享节点融合为统一的四色池，全局至多使用四色成为必然的稳定结论。
4.规则佐证：单环着色细则（偶环2~3色、奇环上限3色）从局部严格证明，任何单个轮都不会耗尽全部四色，从根本上排除了第五色的存在空间。
5.最终归结——拆除脚手架，原图继承着色：在G'上完成合法四着色后，删去所有虚拟节点和虚拟边，恢复为原始平面图G。由于G中所有真实节点的邻接关系均原封不动地继承自G'，G'的合法着色在G上依然合法，且用色数 ≤ 4。虚拟结构仅作为证明工具，其增删不影响最终结论对原图的严格适用性。

上述五部分——"全内部节点为轮中心"的拓扑构造、单环着色细则、微观共享借用机制、宏观颜色流通约束、虚拟构造可拆除性——精准咬合、互为充要，无需任何额外修补，构成四色定理一套坚不可摧的构造性证明逻辑闭环。

 

第四种证法：模块化拼接法

第一步：归约为极大平面图
任何一个标准二维平面图，都可以通过添加边（不破坏平面性）转化为极大平面图（三角剖分图）。
添加边只会增加相邻约束，不会降低着色数。
因此，若能证明所有极大平面图的色数 ≤ 4，则所有平面图的色数 ≤ 4。

第二步：局部模块的发现
在极大平面图中，所有面都是三角形。
任意两个相邻的三角形，共享一条边和两个顶点。
这两个三角形拼在一起，构成一个四边形加一条对角线的结构。
该结构包含四个顶点，开放拼接、不产生闭合环时，三色足够使用；拼接形成闭合环时会产生额外着色约束。

第三步：最小强制单元的确认
四边形加对角线结构独立状态下最多三色，仅拼接收拢形成奇数闭合环时三色着色会出现首尾颜色冲突，需要第四色调剂；四点构型里K4为四点完全图，四个顶点两两相邻，是局部强制四色的最小单元。
不产生闭合环只需三色，拼接形成奇数闭合环，实操过程需要启用第四色完成着色。

第四步：全局拼接与颜色传播
整个极大平面图，是由无数个这样的四边形加对角线模块通过共享点、共享边的方式连续拼接而成的整体。
开放链式拼接无闭合环，全程三色即可完成着色；偶数闭合环依旧两色交替、三色富余；仅奇数闭合环与K4构型需要第四色兜底调剂。
每个局部模块内部最多只需 4 色；相邻模块通过共享的顶点和边传递颜色约束；4 种颜色在任何一个局部都足够用，不会产生需要第 5 种颜色的冲突。

第五步：结论
极大平面图的色数 ≤ 4。
根据第一步的归约，所有标准二维平面图的色数 ≤ 4。
四色定理成立。

证明的核心思想

本证法的关键在于：
不是从复杂的不可约构形列表出发，而是直接找到了平面图在三角剖分下唯一的最小强制 4 色结构——K4，并认识到整个平面图就是该结构的连续拼接。
4 色的必然性来源于局部，4 色的充分性来源于拼接。

附录：三角形模块拼接的极简理解

基本事实
在二维平面图中，三角形是最小的封闭面单元。对于任意经过三角剖分的平面图，其三角形个数 a 满足：
a = 2n - m - 2
其中：
n 为图的节点总数
m 为最外围边界上的节点数
该公式与万能构造公式 e = 3n - m - 3 等价，揭示了平面图的结构本质：任何二维平面图皆可由最小模块三角形拼接而成，节点与边可在模块间共享。

着色容差原理
单个三角形模块正常着色需 3 种颜色
四色定理给定可用颜色数为 4
相比模块的刚性需求（3 色），全局可用颜色富余出 1 种
正是这多出的 1 种颜色，为模块拼接过程中处理边界冲突、奇环闭合、颜色交替僵局等复杂情况提供了全局调剂空间。无论拼接结构如何复杂，始终存在至少一种颜色可用于打破局部僵局，使全局着色得以完成。

直观结论
三角形模块的 3 色刚需与全局 4 色供给之间存在不可逾越的容差边界：3 色为局部下限，4 色为全局上限。四色定理成立的底层直觉，即在于此。
本附录为四种证法之外的直观阐释，帮助读者从最简单原理理解四色成立的必然性。

附录：n色定理

完全图Kn着色，每个节点度数n-1，正常着色需要n种颜色。
完全图本身的定义只要求顶点两两相连；为适配地图四色着色问题，限定：n≤4的完全图属于平面图，n≥5的全连接完全图视作非平面图。
四边形加一条对角线为4顶点5边构型，一般3色够用，4色也可以；补全全部6条邻接边得到完全图K4，该局部构型强制需要4色。

备注

1.K4是平面图里唯一需要用到全部4色的完全图；
2.任意简单平面图不含子图同构于K5，因此不会出现强制5色的局部完全子图，这也是四色定理成立的一个局部核心线索。

本体系仅适用于二维平面图及可平面化图，对K5、K3,3等非平面图不适用。