趣味数学故事之彻底解决“四色问题”

1、趣味数学故事之彻底解决“四色问题”趣味数学故事之彻底解决“四色问题”地图“四色问题”(又称“四色猜想”)最早由英国大学生法兰西斯古特里(Francis Guthrie )于1852年在绘制地图时发现，他却找不出科学肯定的证明就去请教他在伦敦大学读书的哥哥费特里克古特里( Frederick Guthrie )。兄弟俩搞了好些日子还是证明不了，就由哥哥去向伦敦大学的老师、当时非常著名的数学家奥古斯都德摩根( Augustus de morgan )请教，摩根教授当时也证明不了，就至函他在三一学院的好友一一著名数学家威廉哈密尔顿( William Rowan Hamilton ) ，希望他能帮助证

2、明。可哈密尔顿对这个问题研究了十三年，到死也没能给出证明。自从 1879 年至今全世界不断有人提出证明了“四色问题”，可是都叫人难以信服，不断又被别人否定，至今这个“四色问题”仍与“哥德巴赫猜想”及“费马最后定律”一起被全世界公认为数学史上最著名的三大难题。本人 2019 年夏天刚接触到“拓扑学”，试着用“拓扑学”的方法去分析“四色问题”，只化半小时左右时间就证明了“四色问题”。我写的关于“四色问题”的证明 (以下简称证明，可在电脑中文搜索栏打入“四色问题”或作者姓名“焦永溢”查看) 2019 年底在许多数学网站上刊登出来后，看了的人很多认为非常正确；但也有一部分不明白的人认为证明了“相互间有

3、连线的点不多于四个”并不是证明了“四色问题”，他们认为四点相互间有连线只是平面图上的局部现象，不能代表整个平面图，还提出比如中间一个点周围五个点的图形并没有四个点之间相互有连线却也要四种颜色。可我在这里要再强调一下：证明中三个定理概括讲就是“三点必闭，四点必围，五点必断”，并没有说一定要四点相互间有连线才需四色，证明“四色问题”关键在于“五色必断”。 证明中分析了第五点E 落在封闭图形ABC以内及以外的情况，也提到了第五点若落在连线上必定会隔断这条连线，只是没有把隔断的情况用图画出来，其实一画出来也是与另两种情况一样：三点包围一点，另一点又被小的封闭图形所包围。下面我再从第五点开始，接着第六点

4、、第七点、第八点直到无穷多点的情况下证明“四色永远足够”。为了使分析的图形更直观明了，可以换一个角度来看四点相互间有连线的图形：把封闭图形放在球面上，各点间距离均匀，拉直各条连线，图形就成了一个正三棱锥。图1 就是把ABC面当底，D点当顶点从上向下的俯视图，若把三棱锥翻 一个面，比如将 B点当顶点，ACD面就成了底面，所以外面 三条线其实与里面三条线是一样的，图形的外面实际上就是三棱锥的底面，三棱锥的底面与三个侧面其实也是一样的。这样任何第五点只有放在三个小三角形（侧面）中间及里面三条连线（棱线）上两种情况。 当第五点放在任一小三角形中间，显而易见这点只能与周围 的三个点有连线（如图1 中 E

5、 点） ，并且又把小三角形分隔成三个更小的三角形，这样只要第六点、第七点一直到 任意多点都落在三角形中间，每一点都只能与包围它的三点 有连线，所以无论有多少个点“四色足够”。当第五点放在中间任一连线（包括以上更小更更小的连线）上时（如图2中E点所示），E点成了三角形 ABD与三角形 AC必共边AD中间的点，这样实际上形成了 ABD匝ACDEW 个四边形，而最大平面图中是不存在多边形的。若E 点与 B点有连线，A点与D点从右边仍有连线，那么 E点又变成了 三角形ABD中间的点；若 E点与C点有连线，A点与D点从 左边有连线，那么 E点又变成了三角形 ACD中间的点；若E 点与B点及C点都有连线，

6、那么 A点与D点的连线必被E点 隔断，这就是证明中的“五点必断”，再看看这时整个 图变成了 E点被三角形ABC所包围取代了 D点原来的地位， 而D点反过来被三角形 EBC所包围。接下来第六点、第七 点一直到任何多点都可落在任何一条公共边上，最后都 会变成与上面的几种情况一样，形成大三角形里面包含小三角形，小三角形包含更小三角形这样可以一级级的无限 延续下去。所以最后可以肯定地说“任何复杂的平面图都是由大小不等的三点包围一点图所组成，所以也就只要有四种颜色就足够能使有连线的点颜色不同。这样简单的证明其实摩根教授在1860 年就已经提出来，但马上又被他自己所否定，他主要是把中间一点周围五点的图看成是最大平面图，没有把五棱锥底面的五边形进行分割，所以也就看不到所有点都可变成被三点包围，这一疏略把这么简单的“四色问题”变成了千古难题，一百五十多年来肯定有许多人其实证明了“四色问题”，但都被摩根的这个否定给否定掉了。否定我的证明的人其实也是与摩根教授一样的想法。在这里我还要肯定地说：以前有人用“穷举法”借助电子计算机所谓的证明肯