地图四色定理是什么

世界近代三大数学难题之一，四色定理，又称四色猜想。四色定理的本质是二维平面的固有属性， 即平面内不可能出现交叉而没有公共点的两条直线。一八五二年，毕业于伦敦大学的格斯里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象。他发现每幅地图只用四种颜色着色，就可以使有共同边界的国家都被着上不同的颜色。 那么这个现象能不能从数学上加以严格证明呢？他决心试一试，可是研究工作毫无进展。同年十月二十三日，他请教了他的老师，著名数学家摩尔根， 可摩尔根也没找到能够解决这个问题的途径，所以也就不了了之了。直到一九七二年，当时英国最著名的数学家凯丽 正式向伦敦数学学会提出了这个问题。于是，四色猜想成了世界数学界关注的一个问题，许多一流的数学家都纷纷参加了四色猜想的大会战，可依然没人能解决。后来，美国数学家弗兰克林在一九三九年证明了二十二国以下的地图 都可以用四色着色。一九五零年，有人从二十二国推进到三十五国，一九六零年又推进到了五十国。电子计算机问世后，由于演算速度迅速提高，加之人机对话的出现，就在一九七六年六月， 美国伊利诺斯大学的两台不同的计算机场，用了一千二百个小时，做了一百亿判断，终于完成了四色定理的证明，轰动了世界。

神奇的四色定理！四色定理，世界三大数学难题之一。它的本质是二维平面固有的属性，平面内不可出现交叉而没有公共点的两条直线。 一八五二年，英国有个大学生发现，任何一张地图，只用四种颜色，就能使具有共共同边界的国家凿上不同的颜色。他的发现困扰了数学家一百多年， 因为没有人能证明。直到一百二十四年后，美国利诺斯大学用两台超级计算机，经过一千二百个小时， 测试了一百多亿随机生成的地图，发现这些地图中四色问题全部成立。所以在一九七六年，四色问题被更名为四色定理。同学们，你看到数学的年仅了吗？ 每个定律都是经过数学家不断证明验算，一步一步得出的。关注吴老师，让我们一起探索数学的奥秘，希望能够助推你成为下一个数学家、发明家。

世界近代三大数学难题之一，四色定论。在我们的日常生活中，色彩的运用涉及很多领域。在我们常用的地图中， 为了方便识别，地图上的所有行政区域都被染上了不同的颜色，相邻的两个行政区域所染的颜色不同，每个平面地图都可以只用四种颜色来染色，而且没有两个临街的区域颜色相同。这就是著名的四色定理。 他的出现是当时数学家波比乌斯在给学生的讲课中提到，在平面上很容易指出四个区域，其中每两个区域都有一个公共的边界线，并要求学生证明平面或球面上的每张地图都可以用四种颜色来着色，而在此后的一百多年的时间中 都没能被证明。终于在一九七二年，哈肯与阿贝尔联手，经过整整四年的紧张工作，终于在一九七 六年六月成功的证明了四色定理。他们花费了一千二百个计算机小时，处理了两千多个共行。历代数学家一百多年的努力终于结出了收获，数学的面貌从此焕然一新。困扰了无数智者一百多年的四色猜想，由人机合作终于获得了解决。 对这一事实，有人带着些惊喜，有人带着些遗憾，也有人带着些怀疑，毕竟他不是数学家们所希望的那种传统演绎证明定理方式，但证明并未止步，计算机证明无法给出令人幸福的思考过程。

假如给你一张没有着色的地图，让你给这张地图填充颜色，但要求是相邻的两个区域颜色不能重复，那你最多会用到几种颜料？这个问题看似豪杰，但直到现在也没有人能证明，这就是格斯丽提出的四色问题。一八五二年，格斯丽在进行地图着色工作时，发现，无论多复杂的地图，都可以指 用四种颜色就能把相邻的区域割开，使其不出现重色。在经过多张地图实验后，他认为这不是巧合，或许 是一个非常严谨的数学问题。就这样，四色问题被提出，并在数学界引起一场不小的风波。然而，数学家们研究了八十七年，也没研究出个所以然。直到一九三九年，兰克林证明出二十二国以下的地图，四色问题成立 二十一年后，又推进到五十国以下，四色问题成立。这种缓慢的人力计算一直持续到一九七六年。美国伊利诺斯大学用两台电子计算机，耗时一千两百个小时，设成了一百亿张 地图试验结果没有一张地图需要五种颜色，四色问题这才被证实因改名为四色定力。不过，计算机只能在庞大的数量上给出证明，并不能给出让人幸福的计算过程，这不符合数学逻辑的研究性。其实，现在有越来越多的人投入四色问题的研究，但仍没有人能够自行证明这一问题。所以，你有什么办法忙。