2015四色定理.pptxVIP

四色定理(Four color theorem)四色问题在日常生活中我们常常可以遇到组合数学的问题。比如一个著名的世界难题“四色猜想” ：一张地图，用一种颜色对一个地区着色，那么一共只需要四种颜色就能保证每两个相邻的地区颜色不同。四色问题 1852年，刚从伦敦大学毕业的Francis Guthrie提出了四色猜想。1878年著名的英国数学家Cayley向数学界征求解答。此后数学家 Heawood 花费了毕生的精力致力于四色研究，于1890年证明了五色定理（每个平面图都是5顶点可着色的）。直到1976年6月，美国数学家 K. Appel与 W. Haken，在3台不同的电子计算机上，用了1200小时，才终于完成了“四色猜想”的证明，从而使四色猜想成为了四色定理。 定理概述： 地图四色定理(Four color theorem)最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。 四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。” 用数学语言表示，即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。定理的提出 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普(Alfred Kempe)和泰勒(Peter Guthrie Tait)两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。 　 肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”（左图）。如为正规地图，否则为非正规地图（右图）。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。 伦敦数学学会定理的发展来自地图的启示 相传，四色问题是一名英国绘图员提出来的，此人叫格思里。1852年，他在绘制英国地图的发现，如果给相邻地区涂上不同颜色，那么只要四种颜色就足够了。需要注意的是，任何两个国家之间如果有边界，那么其边界不能只是一个点，否则四种颜色就可能不够。 　格思里把这个猜想告诉了正在念大学的弟弟。弟弟认真思考了这个问题，结果既不能证明，也没有找到反例，于是向自己的老师、著名数学家德·摩根请教。德·摩根解释不清，当天就写信告诉自己的同行、天才的哈密顿。可是，直到哈密顿1865年逝世为止，也没有解决这个问题。从此，这个问题在一些人中间传来传去，当时，三等分角和化圆为方问题已在社会上“臭名昭著”，而“四色瘟疫”又悄悄地传播开来了。 问题的证明一波三折英国数学家 凯莱 1878年，凯莱正式向伦敦数学会提出了这个问题。凯莱可是英国响当当的数学家，他看中的问题必定不同凡响。消息传到了律师肯普的耳朵里，引起了他的极大兴趣。不到一年，肯普就提交了一篇论文，声称证明了四色问题。人们以为事情到此就已经完结了。谁知到1890年，希伍德在肯普的文章中找到一处不可饶恕的错误。 定理的发展　 不过，让数学家感到欣慰的是，希伍德没有彻底否定肯普论文的价值，运用肯普发明的方法，希伍德证明了较弱的五色定理。这等于打了肯普一记闷棍，又将其表扬一番，总的来说是贬大于褒。真不知可怜的肯普律师是什么心情。 追根究底是数学家的本性。一方面，五种颜色已足够，另一方面，确实有例子表明三种颜色不够。那么四种颜色到底够不够呢？这就像一个淘金者，明明知道某处有许多金矿，结果却只挖出一块银子，你说他愿意就这样回去吗？ 　 接下去的戏就得由闵可夫斯基来演了。这里得说他几句好话，他虽然没有成功，可自认第一流倒也并非自不量力。要知道，19世纪末20世纪初，德国格丁根大学能成为世界数学中心，就是由于他和希尔伯特、克莱因“三巨头”的努力。四色瘟疫在英国蔓延时，还真没有一个研究过它的数学家比得上闵可夫斯基闵可夫斯基定理的发展缓慢的进展 当时，由大数学家黎曼、康托尔、庞加莱等创立的拓扑学之发展可谓一日千里，后来竟盖过大数学家高斯宠爱的数论，成为雍容华贵的数学女王。四色问题就是属干拓扑学范畴的一个大问题。拓扑学不仅引进了全新的研究对象，也引进了全新的研究方式。对数学来说，它不啻是一场革命。 回顾拓扑学的历史，就可以说明为什么四色问题对