“四色定理”简捷证明(完整版王).pdfVIP

“四色定理”简捷证明 王若仲 （王洪） 贵州省务川自治县实验学校 贵州564300 摘要：1852年，毕业于伦敦大学的格斯 （FrancisGuthrie）来到一家科研单位搞地 图着色工作时，发现每幅地图都可以只用四种颜色着色。这个现象能不能从数学上加以严格 证明呢？1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于 是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的 大会战。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了 对四色猜想证明的进程。就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机 上，用了1200个小时，作了100亿次判断，结果没有一张地图是需要五色的，最终证明了 四色定理。我发现“四色定理”还有一种简捷的证明方法，就是利用球面几何的知识来证明 “四色定理”。也就是要证明在球面上不能设计出这样的组合图形：多边形A、B、C、D、E 中，任意两两多边形均有公共边，并且组合图形中不会出现有多边形与多边形重合或出现多 边形与多边形部分重叠的情形。 关键词：四色定理；球面几何；线段；相交 中图分类号：0156 引言 1852年，毕业于伦敦大学的格斯里 （FrancisGuthrie 来到一家科研单位搞 地图着色工作时，发现每幅地图都可以只用四种颜色着色。这个现象能不能从数 学上加以严格证明呢？他和他正在读大学的弟弟决心试一试，但是稿纸已经堆了 一大叠，研究工作却是没有任何进展。1852年10月23 日，他的弟弟就这个问 题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这 个问题的途径，于是写信向自己的好友、著名数学家哈密顿爵士请教，但直到 1865年哈密顿逝世为止，问题也没有能够解决。1872年，英国当时最著名的数 学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关 注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。 1878～1880年两年间，著名的律师兼数学家肯普(AlfredKempe)和泰勒 (PeterGuthrieTait)两人分别提交了证明四色猜想的论文，宣布证明了四色定 理。大家都认为四色猜想从此也就解决了，但其实肯普并没有证明四色问题。11 年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出 了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国 的理由有破绽。不久泰勒的证明也被人们否定了。人们发现他们实际上证明了一 个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。 不过，让数学家感到欣慰的是，赫伍德没有彻底否定肯普论文的价值，运用 肯普发明的方法，赫伍德证明了较弱的五色定理。一方面，五种颜色已足够，另 一方面，确实有例子表明三种颜色不够。那么四种颜色到底够不够呢？ 1 后来人们发现四色问题出人意料地异常困难，曾经有许多人发表四色问题的 证明或反例，但都被证实是错误的。后来，越来越多的数学家虽然对此绞尽脑汁， 但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费 马猜想相媲美的难题。进入20世纪以来，科学家们对四色猜想的证明基本上是 按照肯普的想法在进行。 1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己 新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明 了22 国以下的地图都可以用四色着色。1950年，温恩从22 国推进到35国。1960 年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50 国。看来这种推进仍然十分缓慢。 高速数字计算机的发明，促使更多数学家对 “四色问题”的研究。电子计算 机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色 猜想证明的进程。就在1976年6月，由美国数学家阿佩尔 （KennethApprl 和 哈肯 （WolfgangHaken 在美国伊利诺斯大学的两台不同的电子计算机上，用了 1200个小时，作了100亿次判断，结果没有一张地图是需要五色的，最终证明 了四色定理，