四色地图问题的数学证明新.doc.docVIP

找到了！四色地图问题的数学证明 徐涌先 引言 四色地图问题以“四色猜想”的数学形式闻名于世。 “在一个平面或球面上的任何地图都能够只用四种颜色来着色，使得任何具有公共边界线的相邻区域具有不同的颜色”。 这就是四色猜想！ 一百多年来，它作为一个最简明和最诱人的世界级数学难题而使各国数学家和许许多多的数学爱好者为此绞尽了脑汁。但始终没能解决它。 直到1976年，美国的K.Appel和W.Haken借助于1200小时的计算机运算，才肯定为四色定理。取得了第一个新颖而不具有传统风格的计算机证明。 然而，人们在欢庆之余并不满足，各国的数学家和数学爱好者们还在为获得一个巧妙、优美、简明，而且能被人类的数学智力所完全理解的数学证明而探索。 本文巧妙地证明了“每个无桥的三正则平面地图的线色数为三”，从而证明了四色猜想成立。 定义和定理 定义，给地图的区域着色，使得每个具有公共边界线的相邻区域具有不同颜色，而必需的最少颜色数，称为地图的面色数。 定义，给地图的边界线着色，使得每条具有公共交点的相邻边界线具有不同颜色，而必需的最少颜色数，称为地图的线色数。 定理一：四色猜想成立，当且仅当每一个无桥的三正则平面地图的面色数为四。[1] 定理二：每一个无桥的三正则平面地图的面色数为四，当且仅当它的线色数为三。[2] 定理三：每一个三正则平面地图都有偶数个交点。[3] 定理四：每一个三正则平面地图必定至少有一个边数少于六的区域。 [4] 推理 假设G是一个无桥的三正则平面地图，线色数为三，（见图1，图2）用红、绿、蓝三种颜色给边界线着色后，图G有以下性质： 图1 图2 １.若将图Ｇ中任一种色线抹去，每个交点上的两条不同色的线，只能连接成若干个封闭的回路，该回路已被二色着色。每个回路必有偶数个交点，可称为二色圈。（见图3） 图3 分别抹去图Ｇ中的一种色线后，可得红蓝、红绿、蓝绿着色的三种二色圈。互换任一二色圈上的线着色，原图Ｇ的色数不变，线色数仍为三。（见图3的）显然，二色圈只需要两种颜色就可以给相邻区域着上不同的颜色。（见图4） 图4 2.若将G中任一种色线断开，二色圈上的交点都汇交三条不同的色线，称为三正则二色圈。此二色圈必有偶数个交点的断线朝向二色圈内，偶数个交点的断线朝向二色圈外。（见图4） 在图G的任意区域内增添线X1 和X2与已着色边相交，有新交点V1与V1＇，它们可能交于两条同色边上，也可能交于两条不同色边上。X1在同一个三正则二色圈上，X2相交在两个二色圈上。（见图5） 图5 若交点V1和V1＇在同一个二色圈上，就将其切为了两个半圈，分成了两条二色路。对调任一蓝绿二色路的线着色，就构建成了一个交点更多的二色圈。（见图6）线X1由与原二色圈的边相交变成了与新二色圈上的点相交，线X1可用红色着色。（见图6）依此不断添线，可以构建出更大的二色圈，更复杂的新图G＇，图G＇的线色数仍为三。 图6 由此下述推理成立： 推理一：若三正则平面地图G的线色数为三，在其任一多边形区域内，添一条线X，使其跟已着色边相交，得新图G＇。若新增的交点v与v＇之间有二色路，对调任一二色路的线着色后，线X可用第三色着色，新图G＇的线色数仍为三。 推理二：在已三着色地图G的任一着色边上，添一条边界线X，即可围成一个二边形区域F2，F2的两边可用红蓝二色着色。增添了一个二边形区域的新图G＇线色数仍为三。称二边形区域是可以构建的。（见图7） 图7 推理三：在已三着色地图G的任两条相邻着色边上，添一条边界线X，围成一个三边形区域F3。交点v与v＇之间必有一条二色路，对调其着色后，线X可用第三色着色。新图G＇的线色数仍为三，即