地图四色定理(Fourcolortheorem)最先是由一位叫古德里（Francis.pptVIP

四色定理(Four Color Theorem) 地图四色定理(Four color theorem)最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。 四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。” 定理概述： 四色问题 1852年，刚从伦敦大学毕业的Francis Guthrie提出了四色猜想。 1878年著名的英国数学家Cayley向数学界征求解答。 此后数学家 Heawood 花费了毕生的精力致力于四色研究，于1890年证明了五色定理（每个平面图都是5顶点可着色的）。 直到1976年6月，美国数学家 K. Appel与 W. Haken，在3台不同的电子计算机上，用了1200小时，才终于完成了“四色猜想”的证明，从而使四色猜想成为了四色定理。 定理的证明 利用三角形和数学归纳法证明 计算机证明四色问题（仅上文做出简介，不再累述） 利用三角形和数学归纳法证明  定理 　　在平面图中,对不同顶点进行着色,相邻顶点着不同颜色,不相邻顶点着相同颜色,则最多需4种颜色。 摘要 　　将平面图的不相连点相连（将色块变成顶点，边界变为两点之间相邻的直线，简化问题，同时这样增加着色难度）， 形成有许多三角形相连的平面图，根据三角形的稳定性，利用数学归纳法，平面图进行着色最多需４种颜色。 利用三角形和数学归纳法证明 组合数学之 抽屉原理（鸽巢原理） 引入 如果有五个鸽子笼，养鸽人养了6只鸽子，那么当鸽子飞回笼中后，至少有一个笼子中装有至少2只鸽子 即： 假如有n+1或多于n+1个元素放到n个集合中去，其中必定至少有一个集合里有两个元素 它是组合数学中一个重要的原理 简单的例1：同年出生的400人中至少有2个人的生日相同。 解释： 将一年中的366天视为366个抽屉，400个人看作400个物体，由抽屉原理1可以得知：至少有2人的生日相同. 400/366=1…35,1+1=2　又如：我们从街上随便找来13人，就可断定他们中至少有两个人属相相同。 有趣的例2：在上海一定能找到两个人头发的数量一模一样。 解释雷同，不是巧合 注：一般认为正常成年人头发总数约为80000--100000 根不等，而2012年上海人口就有2380.43万 稍复杂的例3：Ramsey定理（狭义版本） 定理内容： 任意六个人中要么至少三个人认识，要么至少三个不认识 （该定理和四色定理是图论中重要的定理。） 证明（图形解释） 首先，把这6个人设为A、B、C、D、E、F六个点。由A点可以引出AB、AC、AD、AE、AF五条线段。 设：如果两个人认识，则设这两个人组成的线段为红色；如果两个人不认识，则设这两个人组成的线段为蓝色。由抽屉原则可知：这五条线段中至少有三条是同色的。不妨设AB、AC、AD为红色。若BC或CD为红色，则结论显然成立。若BC和CD均为蓝色，则若BD为红色，则一定有三个人相互认识；若BD为蓝色，则一定有三个人互相不认识。