小学数学数学故事彻底解决“四色问题”.doc

2彻底解决“四色问题”地图“四色问题”（又称“四色猜想”）最早由英国大学生法兰西斯?古特里（FrancisGuthrie）于1852年在绘制地图时发现他却找不出科学肯定的证明就去请教他在伦敦大学读书的哥哥费特里克?古特里（FrederickGuthrie）。兄弟俩搞了好些日子还是证明不了就由哥哥去向伦敦大学的老师、当时非常著名的数学家奥古斯都?德?摩根（Augustusdemorgan）请教摩根教授当时也证明不了就至函他在三一学院的好友――著名数学家威廉?哈密尔顿（WilliamRowanHamilton）希望他能帮助证明。可哈密尔顿对这个问题研究了十三年到死也没能给出证明。自从1879年至今全世界不断有人提出证明了“四色问题”可是都叫人难以信服不断又被别人否定至今这个“四色问题”仍与“哥德巴赫猜想”及“费马最后定律”一起被全世界公认为数学史上最著名的三大难题。本人2004年夏天刚接触到“拓扑学”试着用“拓扑学”的方法去分析“四色问题”只化半小时左右时间就证明了“四色问题”。我写的《关于“四色问题”的证明》（以下简称《证明》可在电脑中文搜索栏打入“四色问题”或作者姓名“焦永溢”查看）2004年底在许多数学网站上刊登出来后看了的人很多认为非常正确；但也有一部分不明白的人认为证明了“相互间有连线的点不多于四个”并不是证明了“四色问题”他们认为四点相互间有连线只是平面图上的局部现象不能代表整个平面图还提出比如中间一个点周围五个点的图形并没有四个点之间相互有连线却也要四种颜色。可我在这里要再强调一下：《证明》中三个定理概括讲就是“三点必闭四点必围五点必断”并没有说一定要四点相互间有连线才需四色证明“四色问题”关键在于“五色必断”。《证明》中分析了第五点E落在封闭图形ABC以内及以外的情况也提到了第五点若落在连线上必定会隔断这条连线只是没有把隔断的情况用图画出来其实一画出来也是与另两种情况一样：三点包围一点另一点又被小的封闭图形所包围。下面我再从第五点开始接着第六点、第七点、第八点……直到无穷多点的情况下证明“四色永远足够”。为了使分析的图形更直观明了可以换一个角度来看四点相互间有连线的图形：把封闭图形放在球面上各点间距离均匀拉直各条连线图形就成了一个正三棱锥。图1就是把ABC面当底D点当顶点从上向下的俯视图若把三棱锥翻一个面比如将B点当顶点ACD面就成了底面所以外面三条线其实与里面三条线是一样的图形的外面实际上就是三棱锥的底面三棱锥的底面与三个侧面其实也是一样的。这样任何第五点只有放在三个小三角形（侧面）中间及里面三条连线（棱线）上两种情况。当第五点放在任一小三角形中间显而易见这点只能与周围的三个点有连线（如图1中E点）并且又把小三角形分隔成三个更小的三角形这样只要第六点、第七点……一直到任意多点都落在三角形中间每一点都只能与包围它的三点有连线所以无论有多少个点“四色足够”。当第五点放在中间任一连线（包括以上更小更更小的连线）上时（如图2中E点所示）E点成了三角形ABD与三角形ACD公共边AD中间的点这样实际上形成了ABDE及ACDE两个四边形而最大平面图中是不存在多边形的。若E点与B点有连线A点与D点从右边仍有连线那么E点又变成了三角形ABD中间的点；若E点与C点有连线A点与D点从左边有连线那么E点又变成了三角形ACD中间的点；若E点与B点及C点都有连线那么A点与D点的连线必被E点隔断这就是《证明》中的“五点必断”再看看这时整个图变成了E点被三角形ABC所包围取代了D点原来的地位而D点反过来被三角形EBC所包围。接下来第六点、第七点……一直到任何多点都可落在任何一条公共边上最后都会变成与上面的几种情况一样形成大三角形里面包含小三角形小三角形包含更小三角形……这样可以一级级的无限延续下去。所以最后可以肯定地说“任何复杂的平面图都是由大小不等的三点包围一点图所组成所以也就只要有四种颜色就足够能使有连线的点颜色不同。这样简单的证明其实摩根教授在1860年就已经提出来但马上又被他自己所否定他主要是把中间一点周围五点的图看成是最大平面图没有把五棱锥底面的五边形进行分割所以也就看不到所有点都可变成被三点包围这一疏略把这么简单的“四色问题”变成了千古难题一百五十多年来肯定有许多人其实证明了“四色问题”但都被摩根的这个否定给否定掉了。否定我的《证明》的人其实也是与摩根教授一样的想法。在这里我还要肯定地说：以前有人用“穷举法”借助电子计算机所谓的证明肯定是不完全的图形的变化是无穷的用成千上万的个例是根本无法去“穷举”完无穷数的。就象“七桥问题”可以用“穷举法”证明可是变成“八桥、九桥、十桥……无数桥的问题”难道也能用电子计算机去一一证明吗？