【无标题】四色定理的解析与证明

——四色定理的解析与证明

定理表达——地图中相邻区域标注不同颜色。无论平面内图形如何细分或增减与变化，只用四种颜色就可以区分表达。

原题数学表达——数学语言表示即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。

这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。





解析：如果四色定理是成立的，无论平面内图形如何细分或增减变化都只用四种颜色就可从区分表达。我们将任意细分后的图形涂满四种颜色之后，你会发现四种颜色之间的相邻和不相邻关系的问题，可以转化成四种颜色之间的关联与不关联的问题。这样我们先从四种颜色之间的关联关系入手，拓展解题思路。（把所有的国家缩小成一个类似于小圆的端点，把相邻的国家区域相互之间建立关联关系线段，你会发现它们之间的相互关联关系与相互隔离屏蔽的表现。）

*图形的细分或增减变化表达在四色定理证明中是一个关键条件之一，这样我们先来了解一下图形的细分增减变化与关联的关系。

1.图形的增加（细分），即在平面区域内增加端点或多个端点的关联结构。（有区域点相遇的，要增加零点及虚线段来表达关联隔离的性质。）

2.图形的减少，即在平面区域内减少端点或多个端点的关联结构。

3.图形的变化，即在平面区域内端点不变，关联线段增减变化。

（四色定理中所说的区域细分，其实就平面区域内增加端点，增加多少端点，增加的端点按细分的情况添放位置，关联线也按细分的情况连接。）（制图表达）

我们在推论画图过程中要从简到繁，从无到有的去解析关联关系结构，从而更好的表达与理解。

*在原题中所述：在区域图形中任意细分区域不重叠，相邻不同色，可用四种颜色表达。任意细分多出的区域，实际上是增加的端点，如果区域之间以点相遇，加入零点表达。这样我就可从单色，双色，三色，四色，及复杂的四色关联结构，逐一添加端点画图。从中找出规律，并解析证明。

*在绘制图形过程中，如果两个区域只相邻到一点或多个有限点就不叫相邻，两个区域相邻必需有一段共同的边界。

这里还要说明一下区域相邻与不相邻的几种状态，第一种是两个区域有完整边界（即线段）的相遇（两个区域相遇也有可能是一条边界，或多条边界，所以关联关系表达上应该不止于一条关联线关联。），第二种是两个区域相遇于一点，或多点。第三种是两个区域完全不相遇，中间一定有区域隔离。除此之外在平面区域上没有第四种两个区域的相邻与不相邻状态。（制图表达）

*四色定理条件下制图建立关联关系时，当两个区域相遇于一点或多点时不是相邻关系问题的解析与关联关系的解决如下：

现在我们把相遇的那一点叫零点，我们举例说明。我们把一个边界完整的区域中心取一点，从这一点出发，向外画多条（最少三条以上线段）到达边界的线段，这时这个完整的区域被分割成多个小的区域，但它们有一个共同的顶点，这个顶点我们把它叫做零点。零点内没有空间区域与结构，不能表达色彩，但它有屏蔽隔离的作用。因为区域在此方向上边界到达零点时边界线段的长度为零，所以两个边界为零的区域在此相遇时，即两个区域在此点处无法相邻。这样就导出零点在两个区域之间有类似区域隔离屏蔽的作用。在区域图形中还有另一种隔离，即区域隔离，在关联关系结构中我们把它称作端点，一个像句号的小圈，它的内部有空间区域，可以构建关联结构，可以色彩表达，也有区域隔离的作用（两个端点之间的关联线段有两种作用表达性，第一是表达关联关系，即相邻。第二是表达隔离屏蔽作用，平面定理。）。现在零点只有区域隔离的作用，所以我们在画图上表现为一点，没有内部空间，不表达色彩。那么我们现在如何表达它与相遇区域之间隔离关系呢？我们可以在零点与端点之间用虚线段连接，这样我们即可以表达零点到端点在平面内的隔离屏蔽效应（区域画分），又表达了零点与端点非真实关联性（即非相邻）的表达。这样两个相遇一点的但不相邻的区域之间的零点是不可以跨越建立关联线段的，同样也不能零点与其它零点建立关联线段，因为零点本身不是区域，两个零点之间是无法相邻的（零维），相邻即是同一个零点。在平面上也无法绘画出两个零点之间的关联线段，两个零点之间一定有隔离区域。这时我们就可以以零点为中心向外与相遇的区域（端点）建立屏蔽虚线连接，而区域同时再与相邻的区域之间建立关联关系线段，这样我们在关系线段和虚线画分的区域内依旧只能看到三个点（有一个是零点，不表达色彩）三条线段。在这个平面区域内也可以任意位置同时建立多个零点，在划分区域后，建立新画分区域的关联线段和虚线线段，在线段所封闭的区域内依旧最多只可关联到三个点（有一个零点）三条线段。（制图表达）

我们在之后讲解的封闭区域内有两个端点之间没有连接关联线段时，我们可以断定，两个端点之间一定存在没有表达的关联线段或关联关系隔离的情况。第一种我们可以直接连接两个端点或添补中间缺失的端点并关联线段，使其关联关系表达完整。另一种是两个端点之间有可能有零点隔离，可以在两个端点之间建立零点，并连接所有可以关联的端点，这时我们发现所有新建封闭区域最多可见三个点（其中一个为零点）和三条线段。（制图表达）

当两个区域同时有多个零点来相遇时，即便两个区域在别的方向上有相邻边界，而这个零点在此方向依旧有屏蔽隔离作用。同时零点依旧要和相遇的区域建立关联虚线线段，区域关联关系形状与屏蔽的表达完整，即零点到端点的关联虚线线段。这样我们在关联关系结构划分区域时和端点隔离作用是等效的，但零点不表达色彩，内部无平面区域空间。（还有区域自身和自身以点或多点相遇的方式，同样可以依据上述方法处理，建立零点及虚线连接，形成区域隔离效应。）

（制图表达）



（配图删除后无法重新录入）

设A、B、C、D四种颜色，作图解析ABCD四种颜色在二维平面下的关联关系。

以下我们把关联关系线段可以说成关联关系通道（即相邻），一维属性，在地图上国界边境也是一维属性，也是连接两个国家的关联通道，两者是有共通性，关联关系线不可以交错，遵从平面定理。而关联关系的端点是和国家的整体所对应，二维属性。端点建立时不是一点，而是像句号的一个小圈，圈内是缩小表达的二维平面空间封闭的区域，即一个国家的整体表达。这样它符合二维平面关系选择。

（一）

（以下的说明是在构建关联关系的过程中得出的理论，为什么要在作图解析四色关联关系之前说明，是因为之前先说明一部分理论因素，是为了在之后作图解析时更好的理解四种颜色之间的关联关系与构造。）

1.新添加的端点可以在图中任意位置建立，这样可以表述图形的任意增加。也包括建立在端点内位置，仅限于被添加端点内的关联构造，完全覆盖没有意义。新端点添加在端点内时，被添加的端点内形成了一个新的平面空间区域内的关联结构，在内部的结构与外界不关联，从外部看被添加端点只能视作是外部结构的一个端点。而内部整体把它视作一个平面空间区域，内部世界可以独立构建自己的关联关系结构，这样我们就像处理外部空间四色关联关系法则一样处理，就会行成一个可以无限共同的机制，这样的处理机制，会最有效果的解决四色问题。（图形1）





2.端点的画取应该是一个小的圆圈，而不是一个点，这样在平面定理表达上是完整的。它和外围的关联关系线只能落在自围关联线上，而内部的关联关系结构不能连接在端点外部的自围关联线上，如果建立在自围关联线上，等同于内部关联结构和自围线外部建立关联关系，这也等同于与外界可以建立关联通道，自围线封闭的意义就失去了。自围区域内的关联构造应该和自围区域的内部边界相关联，自围区域内的平面空间可以等同于外部平面空间的关联关系的处理办法。我们在定义自围区域时可以有两种结构状态，第一种是自围区域内无结构，我们不去考虑，另一种是自围区域内有关联结构的。有关联结构的，我们可以让其有两种表达，第一种内部平面空间可以表达色彩，另一种内部平面空间暂不表达色。表达色彩的与内部结构可视端点建立关联关系，区域画分。而暂不表达色彩的，等同于新建了一个平面空间区域，可以更好的让新添入的端点与内部的关联结构建立关联，在构建时可以清晰表达，新添入的端点构建关联时和外部构造关联关系的方法原则是等同，这样有利于我们在关联关系结构表达上的完整性与清晰性。从外部来看我们依旧认同自封闭端点色彩的整体表达。内部平面区域的是向内无限，向外有边界。而外部的平面区域是向外无限，向内也是无限表达。（图形2）





3.新端点添加在关联关系线上也是可以的，如果是建立在两个相邻端点关联线的位置，被分割的两个端点会同色处理，即同色。同时如果是封闭区域上的关联线，还需要连接区域内可视的未连接的端点，即三点三线封闭区域内关联关系表达不能缺失。关联线将原区域分割成两个独立的三个端点三条关联线的封闭区域，并不会增色。这里我们要寻找的可以增色解决办法，所以我们在这里先不加过多解析。

也可以建立在自围关联线的位置，这样自围封闭的意义就被打破，新加入的端点同时可以和自围关联线内部和外部可视的关联结构建立关联线，从此自围关联结构失去全自封闭意义。（图形3）

4.端点我们可以允许其形状大小变化，这样符合四色问题里所题图形可以任意变化的条件，这样更有利于我们全面分析四色问题所有涉及到的条件。新添入的端点同时也可以占据多个端点和关联线，也可以只占据多条关联线的位置，这样在新添入端点自围线只可能出现两种形态，第一种是自围区内没有任何关联结构，另一种是自围线内有关联结构。自围线内部没有关联结构我们不用考虑，而自围线有关联结构的覆盖后关联结构不变化。而在自围区域外部的关联关系同样以原有的关联线段关联条件下关联，新封闭的区域要补齐端点连接线，有外部空间区域的依旧使用足迹法的原则，之前没有关联的在没有要求下可以不用主动去连接。

5.同样我们也可以添加多个端点的关联关系结构，对应覆盖后的新的关联关系结构根据要求先关联谁再后关联谁。而被阻断的关联线所从新对应连接的关联关系重新连接关联线，新封闭区域缺失关联线的补齐。总之在新创建覆盖的新封闭区域内同样不能有端点未连接关联线。自封闭区域内也是如此运作关联，这样我们在任何区域内外依旧只能关联到三种色彩。

6.如果不添加端点，在图形中去任意去改变图形的结构，也要同时遵从上述和后来的解析条件限制。减少关联线和端点时也要本着封闭区域内不能有端点未连接关联线，而新的关联关系从新建立后，这时后面讲到的调色机制与隔离机制来调色屏蔽。



制图解析证明从单色开始：

（一）



1.单色无关联关系（图一略），在平面空间区域添加一个端点相当于添加了一个国家图形。（两个区域相遇于一零点也可以用同一种颜色表达，不混淆。也可以演化出多种结构形状，但都是枝状表达，一但形成合围区域将超出单色表达。制图解析。）

2.图形二中





（a）简单的双色关联a图。

（b）全包围关联图d 。端点A添入端点B内，创建新的平面关联关系区域，B点的内部空间可以无限添加新的端点，可以向内无限拓展。内部的四色关联关系法则与外部的法则共通。

（c）图形b，双色关联关系结构，其中B端点内部有关联结构。

（d）图形二中 e图，复杂双色关联关系结构。

*可以加入零点来表达双色结构，形成封闭区域的有零点构建时，双色表达即可，零点不表达色彩。

自封闭关联线内（也可以说端点内）表达双色关联时，可以向内无限创建拓展。从内部向外，零点一但创建在自封闭关联线上时，自封闭关联线失去整体自封闭状态，从新建零点创建虚线隔离关联，从新定义整体的关联关系结构。

3.三色关联关系结构。（图三）



图三关联关系线会把平面分割成数个独立的区域。一种是有整体边界的封闭区域，另一种是有一个或n个内在封闭的边和整体外放的区域，这样整体表征形态可添加或变化的无穷条件。如果关联关系再复杂化，我们可以添入第四种颜色D，看看在符合四色定理的条件基础上，可否建立四种颜色关联关系结构。

关联关系结构分割的区域形态在平面中一共有三种，第一种是有外放平面空间区域，第二种是三点三线的封闭区域，第三种是一点一线自封闭区域。

*同样加入零点时，封闭区域从内视可观色彩两种即可，零点不表达色彩。

（二）、图形四





当添入D颜色，创建第四种颜色的关联关系。若要创建第四种色彩必然要和前三种色彩建立关联关系，之前三种颜色稳定的关联关系构建很关健。四种颜色的关联关系线把整个平面分割成几个独立的区域，数个有边界的封闭区域，另一个是有数个封闭内边和外部整体外放区域，还有自封闭区域。分别站在画分区域后的平面区域里你最多只能连通三种颜色（必需是调色后稳定的四色关联结构），而第四种颜色被色彩之间的关联关系通道连线所阻隔。所以四色关联关系图中任意划分区域内都不可能同时与图中的四种颜色共同建立关联关系通道线（稳定的关联关系结构），只能与其中的三种颜色建立关联关系通道线。也可建立复杂的四色关联关系图，如图四f，同样在图中任何位置只可以关联三种色彩。

*添入零点时道理同上，它会影响原有关联结构的降色，但它不影响我们之前解析过程中隔离降色原理。画图解析。

新添入的端点在分割区域内建立关联关系应该注意的几个问题:

1.在关联关系线完整封闭的区域内，三个端点三条关联线，（先不包括全域封闭线，它表达只有一个端点，一条自封闭线，它是自成一个区域。），引入新的端点，端点必需和可视区内所有端点建立关联通道线，如果有一个端点不建立连接，意味着两个没有连接的端点之间存在着没有表述的关联关系隔离问题，即封闭区域内的关联关系表述不完整（也可建立零点关联）。这样所有新构建的封闭区域内只能看到三个端点和三条关联关系线，即只能看到三种色彩，新添入端点色彩表达第四色即可。（图五）





2.在外放平面的区域引入新的端点，在与可连通的端点连接时依据顺序连接（足迹顺序法连接），这样有些端点依据顺序可以重复连接（每一条关联线对应着一条边界，即关联关系表达，两个国家之间可以有多条边界线），按顺序连接最后也可以连接自身。如果连接，即形成了一个端点一条关联线的自封闭区域。这时端点自围线所围的关联关系内移，自封闭关联线外移表达出形成新的端点，自封闭内部有关联结构的状态）。这样自封闭线与外部的关联像是一个国家的外部边界，而内移的端点将充当与内部的关联结构的关联边界，并与内部所有可以连通关联的端点关联。这像是我们在这个国家内部又创建了n个国家，但它们被外部的这个国家所包裹。

新加入的端点只能和相邻的两个端点依次建立关联关系线，不可以中间跨越端点连接，跨越连接证明或许有零点出现，在文章开始讲零点时的方式处理可以，或许缺少关联线段与端点。因为在一个封闭区域内两个没有关联关系线的端点是无法表述出真实关联关系状态，即新画分封闭区域内关联关系表述不完整。

也可以只连接一个端点，也可以同时依据足迹顺序连接多个端点，也可以连接全部外围可视端点。这样在外放区域内所有新画分的封闭区域里最多也只能看到三个端点和三条关联关系线，由于四色关联关系结构中四种色彩的其中一种始终被关联关系线所封闭隔离，在外放区域内依旧只能最多可视三种色彩（后面讲的调色处理后的稳定的四色关联关系结构），这样新添入的端点色彩用第四色表达即可。（图六）





3.我们可以在任意位置和任意次数的建立新的端点和新的关联结构，或减少端点与关联结构，这相当于图形无限次增减与变化，依据以上的解析四色定理限定条件下，可以形成无限次新的关联关系画分区域图形。当四色关联关系色彩结构稳定（也可以添加枝状双色关联结构和三色关联结构及四色关联结构与自封闭结构，但它不影响所在区域四色关联关系的原则机制。），关联关系结构再复杂，它始终由三种关联关系结构所组成，即双色关联结构，三色关联结构和四色关联结构。在所有的关联线围成的区域内和区域外，在四色关联结构屏蔽效应的作用下，你最多只能关联到三种色彩。这样你在任何新画分的区域里同样也只能关联到三种色彩。（图形七）





4.四色关联关系结构的两个机制，一是屏蔽机制，即隔离降色。二是自身的调色机制。调色与屏蔽机制的原则，在外放和封闭区域内始终最多可见三种色彩。

（1）在外部区域当你新添入的端点连线封闭什么样的色彩，外部区与封闭区域通过自身调色来调整四色关联关系的稳定。也就是说，新封闭什么色彩就调整外部区域里所有可见的此种色彩，被调整色彩应由新加入端点的色彩来代替。而与被调整色彩所关联的四色关联结构依次从外到里按顺序调整到合理的色彩搭配（稳定合理的四色关联结构色彩搭配只需色彩互换即可），在四色关联结构内外依旧只可关联三种色彩。

（2）平面空间内所有的双色关联结构只能用同两种色彩表达（这样合理的搭色有利于以后图形再加入新端点时色彩的调整），三色关联结构只能用同样的三种色彩表达，而四色关联结构在外放区域中只可视同样三种色彩，原则上三色关联结构要和四色关联结构外放区域的三种色彩相同，双色关联结构色彩自然要包括在其中。以上是稳定的四色色彩关联结构调色机制的前题条件。

（3）调色要从新加入的端点或四色关联结构开始。按顺序调整、从外到内的顺序来调整。

（4）自封闭区域内要注意区域本身具有色彩，而且区域内边界与其内部的关联结构的外部区域都是相邻关系。如在自封闭区域内部新加入端点，而且端点与其内部结构的外部区域同时关联三种色彩，这样新加入端点在调色机制下会变成新被封闭端点的色彩，而新被封闭的端点会被调色成与自封闭区域同色，这样与新被封闭所关联的需要调色的依据顺序由外到内调整色彩。

（图形九）





（三）、如果我们再在稳定的四色关联结构中引入第五种颜色E，在遵循四色定理的基础上，看第五颜色E是否可以同上述四种颜色同时建立关联关系通道。引入第五种颜色E，我们发现第五种色E无论在图中平面任何区域（稳定的四色关联关系结构）只能与前四种颜色其中的三种颜色建立关联关系通道，而第四种颜色在稳定的关联关系中被关联关系通道所屏蔽（调色机制下），关联关系线段无法连通。当然关联关系通道连线之间不可交错，遵循平面定理。这时候我们会发现，在任意位置引入第五色E建立关联关系，第五色E会与前四色ABCD的其中一种颜色产生屏蔽隔离。而第五种颜色E会依据四色定理的前题条件自动的降色，即与相互隔离不连通的颜色同色。这样我们会发现无法建立第五色关联关系结构图。（图形八）





（四）、现在我们根据上述解析和四色定理条件，假设在四色定理条件下可以建立五色关联关系的图形。任意图中的任意第五种颜色一定是建立在最少与一个四色关联关系结构发生关联的的基础之上的（第五种色彩一定要和前四种色彩共同建立关联关系才能依据四色定理增色为第五色），如果第五种颜色只和小于四色的关联关系构建关联，第五种颜色必然会依据四色问题条件降色。所以在图中与第五色彩相关联的四色关联关系的结构色彩一定要求是稳定的，如果不稳定，四色关联关系结构色彩首先会降色，同时第五色彩随之也会降色，这样五色关联关系结构中的四色关联关系色彩必须是稳定的。在稳定的四色关联关系图中，关联关系线会画分区域，造成区域隔离屏蔽。而第五色一定会在与所关联的四色关联关系的结构中所画分的区域下建立关联关系，这样第五种颜色同样会被四色关联关系线所隔离屏蔽。而第五种颜色只能和前四种颜色的其中三种颜色建立关联关系通道（四色关联关系结构屏蔽效应和区域外部调色机制），这样第五种颜色依据四色定理条件做出降色处理，在整个图形中依据四色定理条件执行就不会出现第五种色彩。（图形九）





结论——所以我们就可以用四种颜色依据四色定律来填充所有的任意细分变幻增减的图形。从而证明出四色定理的正确性。

*(画一任意稳定关联关系的四色地图，举例图九，在其上用四色关联关系方式来表达，可以推出以下这个公式。着色端点总数f（包含零点），着色端点间连线总数d（也包含含虚线），分割区域总数h。无论二维平面内的地图如何改变划分，总符合四色关联关系，f+h-d=2这一公式。)

*配图有缺，琢文自画。

…

二零二三年十月十二日整理完稿，解析证明人颜斌。阅读后对解析证明有异议可以微信联系我。

微信号：wxid_6xsubgg99f3l21