四色定理的简单证明
虽然现在已经有不少人用不同方法证明出了四色定理,但我认为四色定理的证明还是有点复杂,所以给出以下证明。(注:图形与图形的位置关系可分为相离、包含、内向接、内向切、外向接、外向切,在此文中由于题意关系不妨重新分为以下关系:1 把包含、内向接、内向切,统一划分为包含关系。2 把外向接单独划分为相接关系。3把相离、外相切统一划分为相离关系。)
此证明过程中把图的组合形式按照其位置关系而抽离出了以下四种基本有效模式:
1 若要存在只需用一种颜色便能彼此区分开来的地图,则该图中所有图形必定满足彼此相离。如下图:
图(1)
分析:这是最简单的一种图形关系模式暂且称为模式a。
2 若要存在只需用两种颜色便能彼此区分开来的地图,则该图中的所有图形必定满足最多只存在两个图形的两两相交的图形。各种有效图形关系如下图:
图(2)
分析:两个图形的两两相交的所有图形关系均可变形而得出等价的以上两种图形关系模式之
一。由于图(1)存在包含关系,被包含的图形是对外部无影响的,所以图(1)仍属于模式a。所以两个图形的两两相交只有图(2)的相交关系模式的图形有效的,我们暂且称之为模式b。
3 若要存在只需用三种颜色便能彼此区分开来的地图,则给图中所有图形必定满足最多只存在三个图形的两两相交图形。各种有效图形关系如下图:
图(3)
分析:三个图形的两两相交的所有图形关系均可变形而得出等价的以上两种图形关系模式之
一。由于图(2)属于存在包含关系,同理整体回归于模式a。所以三个图形的两两相交只有图(1)的相接关系模式的图形是有效图形模式,我们暂且称之为模式c。
4 若要存在只需用四种颜色便能彼此区分开来的地图,则给图中所有图形必定满足最多只存在四个图形的两两相交图形。各种有效图形关系如下图:
图(4)
分析:四个图形的两两相交的所有图形关系均可变形而得出等价的以上两种图形关系。由于图(2)属于存在包含关系,同理可得出整体也就回归于图形模式a。同样我们暂且称图(1)的图形关系模式为模式d。观察易得,已经拥有四个有效图形的模式d有一个图形是被包围的,所以在此基础上在球面或是平面上是不可能诞生有五个图形两两相交而组成的模式e了,由于以上的四种基本的有效模式均可由四种以内的颜色彼此分开。所以在平面或球面上四种颜色已足以把它们彼此区分。另外至于在环形体或丁形体上,则可用此方法得出五色定理和六色定理。