锐客网

  1. 首页 > 睿知 > >

轰动全球的四色问题 四色定理( 二 )

睿知生活知识


图4
由于闵可夫斯基在被“四色猜想”空之前就很沮丧，所以“四色问题”和费马大定理、哥德巴赫猜想一样有名 。即便人们乐此不疲，也令人望而生畏 。
4.“四色定理”举例给出“四色定理”的一般证明并不容易 。但是对于一些特殊情况，我们不难给出一个完美的证明 。为了给读者提供信息 ， 可以以十二面体为例一窥究竟 。
为了绘图的方便和直观，将正十二面体通过“打开”、“展开”、“展平”绘制成平面网络(图5) 。
约定1号面为正面，12号面为背面，2号至6号面称为第一环面，7号至11号面称为第二环面 。此外，如果两种着色方法的相同颜色表面可以通过十二面体的旋转而完全重合，则这两种着色方案被视为相同 。有了这些规定，我们就可以证明以下定理:用四种颜色给十二面体着色 ， 只有四种不同的染色方案 。
图5
可以分三步推断:
第一步是给十二面体上色 。无论任何方案 ， 四种颜色每种都正好用三次(请读者想一想为什么？) 。
第二步 ， 很明显 ， 1号和12号脸一定不能是同一个颜色 。此外 ， 1号面的色调必须与2号环面使用的颜色相匹配；12号表面必须与涂了两遍的第一圈表面颜色相同 。显然，当第一个环面和背面的颜色固定时，其余表面只能用唯一的染色方法着色 。
第三步:从图6可以看出，用四种颜色给十二面体上色，只有十二种方案 。图中每行列出的四个方案互不相同，每列显示的三个方案可以通过旋转重叠 。原来只有四种不同的染色方案 。
图6
5.科学史的热切渴望 。上面的例子说明，当一张地图上的国家数量不超过12个时 ， 四色定理确实成立 。这一成功激励着人们不懈地提高一张图中国家数的上限:1922年，证明了当一张图中国家数不超过25时，四色定理成立；1938年，有人把国家数量提高到32个；1940年，国家增加到35个；1969年，上限被推到39 。也就是说，从1922年到1969年，近半个世纪，“四色定理”成立的国家只增加了14个 。这样，为了否定“四色猜想”，至少可以设计一个包含40个相邻区域的封闭区域 。
图7
与此同时 ， 也有人从另一方面开辟了一条道路，提出了一系列与四色猜想“等价”的猜想 。只要证实了这些“等价”猜想中的任何一个，那么四色猜想就迎刃而解了 。1972年，有人在一篇论文中列出了多达13个这样的“等价”猜想，但没有人能打开缺口，另辟蹊径 。到了70年代中期 ， 美国伊利诺伊大学的数学家阿佩尔教授和哈肯教授独树一帜 。利用Kemp创立的“必然性”和“配置可约性”的基本思想，他们启动了三台1BM360超高速电子计算机(由大学毕业生Kochi专门为Appell和Hacken组装)，运行了1200台计算机后，做出了200亿次逻辑判断 。最后 ， 在1999年，他们做出了以下决定 。为了纪念阿比埃尔和哈肯的成就，伊利诺伊州大学城厄巴纳的邮局盖了“四种颜色就够了！”在它宣布“四色定理”被证明的那一天 。(只有四种颜色就够了)以便记录下这个古老的奇迹 ， 同时将成功的喜讯及时传播到全世界 。
虽然“四色猜想”在大型超高速电子计算机的帮助下奇迹般地变成了“四色定理”，但四色问题并没有结束 。我们知道，传统的数学证明风格简洁严谨 ， 笔墨可以相互套用 。启动超高速电子计算机需要上千个机器小时的“马拉松证明”能否简化？不计算机械能就不能证明吗？除了阿佩尔和哈肯的方法，还有其他方法吗？这些都还是摆在数学家和科学爱好者面前的！所有这些，我还是期待人们去思考，去探索，去发现，去解决！这些都是科学史给予人类的殷切期望！

推荐阅读


上一篇：好听的网名男生优雅的 好听优雅的网名男生

下一篇：锦鲤鱼鳍变成黑色怎么回事