四色猜想的证明
评国强的《四色猜想的证明》
评国强的《四色猜想的证明》雷明（二○一二年二月四日）国强先生在他的博客中发表了他的所谓证明四色猜测的论文《四色猜想的证明》一文，本人对其略谈一点看法：1、本文前部分即在抽屉原理之前部分，主要是讲把给地图的面上着色如何变成对数学中图的顶点着色的，地图最大只存在四个区域两两均相邻或平面图最大只可能存在四个顶点两两均相邻的分子图K4团以及极大图中在任一个面中增加一个顶点最大只可能与三个顶点相邻的情况。
这些都是大家都明白的问题，也是图论中已经阐明了的问题，这一大部分的文字要与不要都是无关紧要的。
2、关建是后一部分——抽屉原理部分——我认为是该文的核心，却说得不大清楚。
我对此提出了要作者说明白一点时，作者进行了无理趣闹。
我也只好在这理谈自已的看法了。
既然在极大图中增加一个顶点最大只可能与三个顶点相邻，那么所增加的这个顶点就只能用第四种颜色，不可能用到四种以外的颜色。
你造了四个抽屉A、B、C、D，你就把你所增加的“国家”即图中的顶点都放在这四个抽屉中就行了，增加的国家再多，四个抽屉也能把它放下，这不就说明问题了吗。
3、你在这里又多说的几句“第6个国家与2个国家不相邻，即第6个国家可能与2个国家中的1个国家颜色相同，但是，如果这个不相邻的国家与相邻国家中的1个国家颜色相同，就会出现矛盾。
”这会出现什么矛盾呢。
现在的第6个国家只要和与它相邻的三个国家颜色不同就行了，与第6 个国家不相邻的国家用了什么颜色有什么关系呢。
后面的“因此，第6个国家可涂成的颜色必须扣除前5个国家中因国家不相邻而出现的颜色在国家中的重复，扣除后的结果如果为0，则表明必须要用第5种颜色进行区分。
”就更没名其妙了，更有其后面说的“前面已经得出，构成最复杂的相邻关系时，增加的第k个国家(k>=5)与3个国家相邻，与k-4个国家不相邻，第k+1个国家则与k-3个国家不相邻，而(k -3)-(k -4)=1，由于扣除后的结果为1，因此，第k+1个国家一定有1个抽屉相对应。
“四色定理”简捷证明(完整版)
“四色定理”简捷证明王若仲（王洪）贵州省务川自治县实验学校贵州564300摘要：1852年，毕业于伦敦大学的格斯里（FrancisGuthrie）来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。
这个现象能不能从数学上加以严格证明呢？1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。
就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，结果没有一张地图是需要五色的，最终证明了四色定理。
我发现“四色定理”还有一种简捷的证明方法，就是利用球面几何的知识来证明“四色定理”。
关键词：四色定理；球面几何；线段；相交中图分类号：0156引言1852年，毕业于伦敦大学的格斯里（FrancisGuthrie）来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。
这个现象能不能从数学上加以严格证明呢？他和他正在读大学的弟弟决心试一试，但是稿纸已经堆了一大叠，研究工作却是没有任何进展。
1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密顿爵士请教，但直到1865年哈密顿逝世为止，问题也没有能够解决。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。
1878～1880年两年间，著名的律师兼数学家肯普(Alfred Kempe)和泰勒(Peter Guthrie Tait)两人分别提交了证明四色猜想的论文，宣布证明了四色定理。
四色定理的证明范文
四色定理的证明范文一、四色问题的简介根据网络上的一些内容，可知：四色猜想是说，任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
也就是说，在不引起混淆的情况下，一张地图只需四种颜色来标记就行。
用数学语言来说就是，将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。
简单来说也就是，给平面或球面上的任意一张地图上色，使得相邻国家异色，那么至少需要预备几种颜料几种颜色？是否可以只预备四种颜色？在长期的论证过程中，人们发现，大量的试涂表明，四种颜色够用。
人们证明，三种颜色是不够用的，五种颜色肯定够用，四种颜色也够用（计算机证明）。
人们还证明，二维平面内无法构造五个或五个以上两两相邻区域。
在四色问题中假设相邻关系是指两个国家有一段或多段共同边界，是指有邻边，不是指有邻点。
假设没有公地，所有国家都直接接壤（分别相邻），或者间接接壤（分别相连）。
假设没有飞地，国土连通。
飞地相当于任意指定一些他国属于国，则四色肯定不够用了。
假设国家的面积都足够大，不是一丁点、一个点。
假设国家的数量有限，不是无限多。
假设国家的形状任意。
这可以是五花八门，变化莫测，花样繁多，譬如像麋鹿的剪影：在四色问题中需要考虑任意地带的上下方面的相邻情况，左右方面的相邻情况，内外方面的相邻情况，首尾衔接（例如圆周中）的相邻情况，跨越跳跃（例如国形状像拱桥、麋鹿、藤蔓、交际花，与诸多位置的国家们接壤）着的相邻情况，等等。
需要考虑各国的排序，需要考虑上色的顺序。
因为许多国家相邻相连，交织交错，来来往往，层层叠叠，那么从多个方向来上色的话，齐头并进来上色的话，就会互相遭遇、碰头，在交汇点上可能发生冲突，难以协调、确定国的颜色，使得问题复杂，影响证明的进行。
二、四色定理的证明一个平面或球面上的点是无限小、无限多，或者是足够小、非常多。
令这些点各自随机选择红黄蓝三色的一种，再做布朗运动。
四色猜想四色猜想四色定理
四色猜想-四色猜想四色定理地图四色定理(Four color theorem)最先是由一位叫古德里Francis Guthrie 的英国大学生提出来的。
四色问题的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
”用数学语言表示即“将平面任意地细分为不相重叠的区域每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。
”这里所指的相邻区域是指有一整段边界是公共的。
如果两个区域只相遇于一点或有限多点就不叫相邻的。
因为用相同的颜色给它们着色不会引起混淆。
四色问题的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
”也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行发展历史不过情况也不是过分悲观。
数学家希奇早在1936年就认为讨论的情况是有限的不过非常之大大到可能有10000种。
对于巨大而有限的数，最好由谁去对付？今天的人都明白：计算机。
从1950年起希奇就与其学生丢莱研究怎样用计算机去验证各种类型的图形。
这时计算机才刚刚发明。
两人的思想可谓十分超前。
1972年起黑肯与阿佩尔开始对希奇的方法作重要改进。
到1976年他们认为问题已经压缩到可以用计算机证明的地步了。
于是从1月份起他们就在伊利诺伊大学的IBM360机上分1482种情况检查历时1200个小时，作了100亿个判断最终证明了四色定理。
在当地的信封上盖“Four colorssutfice”四色，足够了的邮戳就是他们想到的一种传播这一惊人消息的别致的方法。
人类破天荒运用计算机证明著名数学猜想应该说是十分轰动的。
赞赏者有之，怀疑者也不少，因为真正确性一时不能肯定。
后来也的确有人指出其错误。
1989年，黑肯与阿佩尔发表文章宣称错误已被修改。
1998年托马斯简化了黑肯与阿佩尔的计算程序但仍依赖于计算机。
无论如何四色问题的计算机解决给数学研究带来了许多重要的新思维。
问题影响一个多世纪以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。
四色定理的简短证明
四色定理的简短证明四色定理的简短证明虽然我们用计算机证明了四色定理，但正如汤米·R·延森和比雅尼·托夫特在《图染色问题》一书中问的：“是否存在四色定理的一个简短证明，……使得一个合格的数学家能在（比如说）两个星期里验证其正确性呢？”四色定理是一个著名的数学定理：如果在平面上划出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样；另一个通俗的说法是：每个地图都可以用不多于四种颜色来染色，而且没有两个邻接的区域颜色相同。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。
自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据20世纪80-90年代中国曾邦哲从系统论观点（结构论）将其命题转换为“四色定理”等价于“互邻面最大的多面体是四面体”的问题，也就是点之间相互的联线超过3的是立体，而每增加一个点或表面时必然分割一条线或一个面，也就使分割开的不互邻面或联线可以重复使用一种颜色；因此，增加一个面同时也增加一次可重复使用同一种颜色。
拓扑学的概念来定义拓扑学拓扑学如果在平面上划出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样；：每个地图都可以用不多于四种颜色来染色，而且没有两个邻接的区域颜色相同。
;x大于1为偶数的时候，y=2.四色定理成立的公式为，y定，表示所需的颜色总数，y表示任何一个国家与之接壤的国家个数x与需要颜色y的关系，y定=y+1.y最大值为3，所以y定最大值是4.以上如果正确，或许对于数学的进步也是一种阻碍。
以上的论证，我自己都感到过于简单，并且没有用到拓扑学，对于是否能够证明四色定理，欢迎大家的参与。
2013年12月31日16:59:41吴兴广参考文献:[1]四色定理百度百科【2】《数学公式1+1=1/2的成立》小马吃鱼。
简洁破解四色猜想——“1+3”证明与“3+1”充要条件模型证明——
简洁破解四色猜想——“1+3”证明与“3+1”充要条件模型证明——李传学四色猜想与费马猜想、哥德巴赫猜想，是数学界三大难题。
本文利用“1+3”、“3+1”链锁思维方式，并结合计算机逻辑判断方式，给予地球四色猜想的有、且只有数学方法与应用方法的两种证明。
并在实践中，使链锁着色，直至组成四色猜想的（△）网状平面整（总）体地图。
一、四色猜想简洁证明的提出。
随着计算机运算速度的加快、人机对话智能的出现，极大加快了对四色猜想研究、证明的步伐。
1976年6月，美国哈肯与阿佩尔编制程序，利用1200个小时，分别在两台计算机上，作了100亿次判断，终于完成了四色猜想的证明。
到目前为止，仍是世界上唯一被认可的证明方法。
但是，由于计算机证明方法过程深长，不符合人的逻辑思维判断过程，缺乏简洁性，无法令人信服。
二、“四色”是地球“四方八位”的客观存在。
“四方八位”是个动态概念，存在于“天、地、人合一”的地球万物运动的整个过程中。
同样，数学界三大难题之一的四色猜想，也离不开这一客观规律。
地球，蕴育了万物。
天圆地方、“四方八位”、四面八方、东西南北、五湖四海是人类认识地球的思维方式。
远在史前人类整体文明时期，就有文物记载了地球上有关“四方八位”的许多概念。
如半坡人鱼盆、人网盆、含山玉版、澄湖陶罐、八角星陶豆、良渚陶璧、古埃及金字塔，以及其他图形、符号记载的伏羲八卦图、彝族八卦图、河图、洛书、五行属性，也都应用了“四方八位”概念。
四色绚丽的地球生生不息，是“天人合一”的赋予。
地球的天圆地（四）方是阴阳学说的核心和精髓，又是阴阳学说的具体体现，具有朴素的辩证法色彩，是古代人类认识世界的思维方式。
阴阳五行中的五色、四方位：即，木有青、东，金有白、西，火有红、南，水有黑、北，土有黄、中，以及罗盘定位、经纬仪、四季、纳米四大光波（红、蓝、绿、黄）、四色光谱仪都与地球上的“四方八位”寓意紧密相关。
当然，“四色猜想”也不例外，也只能有、且只有在地球图上的客观存在。
二、四色猜想与证明
四色猜想：“任何一张地图只用四种颜色就能使具有共同边界的国家填上不同的颜色。
”
数学语言表示：“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。
”这里所指的相邻区域是指有一整段边界是公共的。
如果两个区域只相遇于一点或有限多点就不叫相邻的。
因为用相同的颜色给它们着色不会引起混淆。
1852年，毕业于伦敦大学的格斯里发现每幅地图都可以只用四种颜色着色。
和其弟弟研究没成功。
1852年，格斯里的弟弟请教其老师著名数学家德·摩尔根但未能证明，摩尔根后向著名数学家哈密顿爵士请教，仍未证明。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题后，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。
电子计算机问世后，演算速度迅速提高，加快了对四色猜想证明的进程。
在1976年，美国伊利若斯大学的两台不同的电子计算机，用1200个小时，作100亿个判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。
这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时，当地的邮局在当天发出的所有邮件上都加盖了四色足够的特制邮戳，庆祝这一难题获得解决。
但证明并未止步，计算机证明无法给出令人信服的思考过程。
在长期的论证过程中，其他发现，人们证明，三种颜色是不够用的，五种颜色肯定够用，人们还证明，二维平面内无法构造五个或五个以上两两相邻区域。
关于四色猜想的数学证明
关于 四色猜想 的数学证 明
顾子杨 江 苏省 苏州 市 田家炳 实验 高级 中学
江 苏 苏州 ２ １ ５ ０ ０ ０
摘 要 ：从 包 围理 论 中选 出具 代 表 性 的 经 典 子 图 ，再从 图中 的连 通 性 ，奇 偶 性 ，对 称 性 ，和 唯 一 的 几何 位 置 ，概 括 出 图中各 点必定独 占一 色，因此四 色猜想获证 。 关键词 ： 色围理论 ：经典子 图 ；成对 理论 ；连通性 ：奇偶 性；对 称性 ；唯 一性 ：反证 法
根据着 色需要，有必要先设定一个具独特性和唯一性 的一个点 ，取名 “ 迷 点 ”，它 只在奇环上存在 。利用它可 以 避免着色矛盾 。它是奇环组份中的一员，位置独特 ，有唯一 性 ，它的着色数是常数 “ １ ”。 迷 点 的定 义 是 ：在 奇 环 上 ，介 于 奇 偶 点之 间 的 同 时可 和 奇偶点都能连通 的一个第三性 点称迷 点。发现了迷点，才 能 找到铁证 。 根据 点的性质 ，有 了迷点 ，使点的种类扩大了，任何奇 环上 ，必有迷 点存在 ，以供专 用。图一 （ ａ ）中，旋转倒反 ， 各色位置绝无变化 。奇 点一色 ，偶点一色 ，迷点一色，中心 点一色 ，共 四色 ，四色各有所归 ，分配科学合理。这 就证 明
了 四色 （ 分 配 ）定 理 。 偶 环 无 迷 点少 一色 。
Ｂ
（ 鑫）
Ｃ
图 一
现举下列数学证 明： （ １ ）以 连 通 性 证 明 设 中心 点被三员环包 围且连通 ，则有矩 阵可解读 。 每行和等于 ３ ，每列和 也等 ０ １ １ １ 于 ３ 。说 明每个 点与其它各 点间 １ ０ １ １ 无 不连通 ，但三点都相 互连通 ， ＡＤ ： １ １ Ｏ １ 各 点 间 无不 连通 ，但 每 个 点都 自 己 与 自己 不 连通 ，矩 阵 Ａ Ｄ中末 １ １ １ Ｏ 行 和、及末 列和 的 ３ ，还表 示中 心 点被三 员奇环包 围且连通 。从着色理论可知 ，连通 的两 点 必 异 色 。 因此 ，在 图一 （ ａ ） 中 ， 四分 配 ，Ａ点 着 第 一 色 、Ｂ 点着第二色 、ｃ点 （ 下称迷 点）为 了避开着色矛盾 ，着第三 色 ，中心点着第 四色 ，Ｄ点别无选择 ，只能着第 四色 。若 中 心 点被 四员偶环包 围且连 通，用矩 阵解 读为 第 四行和等 于 ３ ，第 四列和 也等 于 ３ ，而末行和 ，末列 和都等 于 ４ ，它表示 中心点和环上各 点都连通 ，即中心被四 员偶环包 围。 Ｏ １ Ｏ １ １ 图一 ｂ中 Ａ Ｃ间 不 连 通 ，Ｂ Ｄ １ Ｏ １ Ｏ １ 间也不连通 ， 根据着色理论可知 ， Ａ苣 ： ＝ ＝ Ｏ １ ０ １ １ 连通必异色、 不 连 通 可 同色 或 异 Ｃ同色 、Ｂ Ｄ同色 ，中 １ Ｏ １ Ｏ １ 色、允许 Ａ 那 么 Ａ和 Ｃ同选 １ １ １ １ Ｏ 心 点 独 占一 色 。 第一色、Ｂ和 Ｄ同选 第二色、中 心点可任选 第三或第 四色 中的一种 。 那么 图一 （ ｂ ）中可知 ， 中心点被四员偶环包围且连通时 ，环上增加 了一 点，比图一 （ ａ ）反 而 减 一 色 。这 是 因 为 图一 （ ａ ） 中 ，奇 环 上 Ｃ点 出现
简洁破解四色猜想
简洁破解四色猜想——四色猜想的“1+3”链锁证明——李传学四色猜想与费马猜想、哥德巴赫猜想，是数学界三大难题。
本文根据计算机逻辑判断方式，利用“1+3”链锁思维，对四色猜想的数学定义，做出逐步趋向、直至平面整（总）体着色的四色猜想简洁证明。
一、四色猜想简洁证明的提出。
随着计算机运算速度的加快、人机对话智能的出现，极大加快了对四色猜想研究、证明的步伐。
1976年6月，美国哈肯与阿佩尔编制程序，利用1200个小时，分别在两台计算机上，作了100亿次判断，终于完成了四色猜想的证明。
但是，计算机证明过程深长，无法令人信服，是因为不符合人的逻辑思维判断过程，缺乏简洁性。
二、四色猜想的数学语言定义。
任何一张平面地图，只要用四种不同颜色就能使具有共同边界的国家，着上不同颜色，称之为四色猜想。
四色猜想的数学语言定义：将平面任意地细分为不相重叠的区域，每一区域总可以用1、2、3、4这四个数字之一来标记，且不会使相邻的两个区域得到相同的数字。
这里的相邻区域，是指有一整段（非点）边界是公共的边界（注：来自网络“科普中国”）。
三、四色猜想的简捷证明。
（一）简捷证明的数学理论方法依据。
1、三角形定义。
由三条线段围成的封闭图形叫做三角形；三角形的每条线段叫做三角形的边。
2、平面公理。
公理一：如果一直线上的两点在一个平面内，那么这条直线就在此平面内。
（推论一：直线与直线外一点可确定一个平面；推论二：两条相交直线，可确定一个平面）。
公理二：不在一条直线上的三个点，有、且只有一个平面。
公理三：如果两个不重合的平面有一个公共点，那么它们有、且只有一条过该点的公共直线。
n3、排列组合C。
m4、拓扑等价。
对拓扑等价概念有多个解释。
如刻画微分方程解之间的关系；对连续流进行分类等。
在几何学是指：几个图形中，任意一个可以通过拓扑变换从其余图形得到，就称它们为拓扑等价；或称其中每一个可以从其余任意一个几何图形经扭转、弯曲、拉长或收缩得到，而不出现任何点的重叠与断开，它们就是拓扑等价。
利用数学模型证明四色猜想
面，便有了“1 面、3 线、3 点”（记作“1+3”或“3+1”）组成的
起始△ABC 单元区域特征。
单元，指△“1 面、3 线”起始位置；单元区域，指△“1 面、3
线”C43
组合位置；区域，指
C3 4
组合位置的整（总）体。
根据平面几何三角形定义与平面公理二，四色猜想使用的“1 面、
2
3 线”与“1 面、3 点”概念是一致的。
重组△角与起始△角共点，相对下一个△的出现，重组△则又被称为
起始△，可链锁产生。由“1 面、3 线（点）”组成的 图形，是相
似△或等价△。
根据平角定义，直线与平角可以互相转化。因此，线段上可以有
无数平角。平角的对顶角区域同样是个区域位置概念。
（1）根据三角形定义，点是其所在的线、面的共点。重组△与
起始△有、只有一个共点，且三个角的共点可以分别连锁产生另外的
“1 面”蓝 3：P32=(124，421，142，214，412，241）
“1 面”绿 2：P32=(143，341，134，413，314，431）
“1 面”黄 1：P32=(324，432，234，423，342，243）
（三）数学归纳。
1、任意 K 个△ABC 单元区域。
平面（1→ k 区域）=∑1k
起始△ABC
的“1
面、3
线”的
C3 4
四种单元区域组合，有三种标
识方式。
1、单元区域 C43=
2、C43=123④、12③4、1②34、①234。 3、区域内的“四方八位”位置，每个起始单
元区域
C3 4
则依照“1
单元、3
相邻”面（1+3）规则
进行“3+1”链锁重组，来实现区域四色猜想。
四色猜想的“1+3”链锁证明
四色猜想的“3+1”链锁证明李传学四色猜想是数学中费马猜想、四色猜想、哥德巴赫猜想难题之一。
本文根据计算机逻辑判断方式，利用“1+3”链锁反应法，对四色猜想的数学定义，可做出逐步趋向、直至平面整（总）体有、且只有的四色猜想简捷证明。
一、四色猜想简捷证明的提出。
随着计算机运算速度的加快、人机对话智能的出现，极大加快了对四色猜想研究、证明的步伐。
1976年6月，美国哈肯与阿佩尔编制程序，利用1200个小时，分别在两台计算机上，作了100亿次判断，终于完成了四色猜想的证明。
但是，计算机证明过程深长，无法令人信服，是因为缺乏适合人的逻辑思维判断过程。
二、四色猜想的数学语言定义。
任何一张平面地图，只要用四种不同颜色就能使具有共同边界的国家，着上不同颜色，称之为四色猜想。
四色猜想的数学语言定义：将平面任意地细分为不相重叠的区域，每一区域总可以用1、2、3、4这四个数字之一来标记，且不会使相邻的两个区域得到相同的数字。
这里的相邻区域，是指有一整段（非点）边界是公共的边界。
（注：来自网络“科普中国”）。
三、四色猜想的简捷证明。
（一）简捷证明的数学理论依据。
1、三角形定义。
由三条线段围成的封闭图形叫做三角形；三角形的每条线段叫做三角形的边。
2、平面公理。
公理一：如果一直线上的两点在一个平面内，那么这条直线就在此平面内。
（推论一：直线与直线外一点可确定一个平面；推论二：两条相交直线，可确定一个平面）。
公理二：不在一条直线上的三个，有、且只有一个平面。
公理三：如果两个不重合的平面有一个公共点，那么它们有、且只有一条过该点的公共直线。
3、拓扑等价。
对拓扑等价概念有多个解释。
如刻画微分方程解之间的关系；对连续流进行分类等。
在几何学是指：几个图形中，任意一个可以通过拓扑变换从其余图形得到，就称它们为拓扑等价；或称其中每一个可以从其余任意一个几何图形经扭转、弯曲、拉长或收缩得到，而不出现任何点的重叠与断开，它们就是拓扑等价。
四色定理
结论：
将平面图的不相连点使其相连（这样 增加着色难度），形成有许多三角形相连 的平面图，根据三角形的稳定性，利用数 学归纳法，平面图进行着色最多需４种颜 色。
在平面图中，不在同一直线上的三点决定一个平面， 那么三点构成的三角形是平面图中最基本、最简单、最 稳定、密闭的图形。 由于在对地图着色过程中不考虑图的具体形状只考 虑点是否相邻，将平面图的不相连点使其相连（这样增 加着色难度），形成有许多三角形相连的平面图（三点 以下肯定成立）。如图1：添加辅助线（不相邻的点使 其相邻，这样就增加了着色的色数，有利于证明），将 图1分解为４个△ABC。
四色定理
许多同学都知到排列组合把， 也应该应该都做过这个着色问题 吧： 用4种不同的顏色去涂右边这 个脸谱，每区域一色，同一种顏 色可重复使用，但相邻区域不可 同色，则有多少种涂法4× 3× 2× 1× 1× 3× 3
四色問題
任何一张平面地图， 如果相邻的两个国家， 必须涂上不同的顏色以 便划清边界，则至多只 要四种顏色就搞定了， 不管这张地图有多麼奇 特复杂。
公开徵答
1878年，英国数学家 将上述问题曝光取名為「四色猜想」， 公开徵求解答。 问题一传出后，马上就有了回应。1879年和1880年， 和 分 别发表论文证明了四色问题。轰动一时的热度终於平息。不料事 隔11年后，一个名叫 的年轻人指出了 证明中的错误，并利用 的 方法证明出若用5 种顏色就保证一定能区分出地图上相邻的区域。 虽然四色问题未被破解，但是至此算是迈出了一大步。而另一方 面， 的论文亦被陆陆续续发现多处错误，甚至最后一个错误是 一直到1946年才被发现的。从这裡我们可看出这些人的研究精 神是多麼可敬，被发现错误的东西并未被弃之如敝屣般丢在一旁， 仍旧不断有人去研究它，甚至是在事隔半个多世纪之后。 尽管如此，这篇论文仍然起着巨大的作用。
平面“五色定理”的五色无限点图“四色猜想”证明
1.图论五色定理证明成立，五色定理成立的点图为单元图1，2.五色单元图拼接无限点图，商掉一色，这样的点图四色完全填充，3.“四色猜想”的“二维平面四色最大填充密度”猜想，1、正三角形与四边形均可以单独密铺，2、正多边形只有正三角形、正四边形、正六边形可以单独密铺。
3.共有17种密铺结构，开罗砖有8种不同的密铺结构4.“四色猜想”的多维度推广，色量子干涉归一开普勒猜想，四色猜想，图论填色的“波粒佯谬”，填色路径“波动”，填色区域（点）的围道积分，在一个球的周围，最多能摆放多少个相同尺寸的球？在平面上，如何最密集排放相同大小的圆？绘制的地图，图中相邻的两个区域具有不同的颜色，引进了图论，László Fejes Tóth 的区域猜想离散几何密切相关，Alfred Tarski 和 Henryk Moese 证明了用来覆盖圆面的条带（或木板）的宽度和至少等于圆的直径，Thøger Bang 证明了覆盖凸体的条带的总宽度至少是凸体本身的宽度，即单个能覆盖凸体的单个条带的最小宽度，填（色）充反填（色）充平衡y=sinx/x+x/sinx，正处于“填色”状态的佯谬薛定谔猫，颜色不确定，最终的填色结果既依赖于“波动性”又依赖于“粒子性”，这对于许多近期在化学、生物和计算机科学以及逻辑系统上的发展都至关重要，无法确定状态的“猫”走出薛定谔黑箱，或摇身为生机勃勃硕果累累牛顿苹果树，它是树上的果子，或者一棵芭蕉树，或者一个周身星光旋转的几何怪物，——非死非活的“变异态”的导数态，每一“态”都是“确定态”，薛定谔“猫态”，所有“态”的干涉“态”，四色猜想，图论填色的“波粒佯谬”，填色路径“波动”，填色区域（点）中心的围道积分，y=sinx/x自然填充y=sinx/x受空气动力学y=lnx作用y=sinxlnx/x 的导数，y'=((sinxlnx)'*x-sinxlnx*(x)')/x^2=(x(cosx*lnx+sinx/x)-sinxlnx)/x^2，化简一下就是y'=(xcosxlnx+sinx-sinxlnx)/x^2，维度填充成为一个点，函数的导数是sinx/x，sinx/x，1/LNX等函数都是没有初等函数下的原函数的，函数是积不出来的，它的积分是一个带有吉布斯（Gibbs）效应的阶越函数;x叫做取样函数或者内插函数，记为Sa(x)=sinx/x dx，F(x)=∫Sa(x)dx=∫sinx/x，台阶高度为派，图形就是一个“非理想的版高通滤波器”形状，1维量子填充力学计算y=sinx/x导数，y'=(cosx *x -sinx) /x^2，光子的“填色通道”，y=sinx/x 原函数二维色基数4，x=sin(2x)x=0.74x=sin(x/n)nx=sinxx/n=sinxx=sin(4x)x=0.3295290175...1/x=3.0346341198920365184531890275793... “四色定理”或可称为“ 色猜想”。
证明四色猜想
证明四色猜想本文用递推的方法，分别用点和线代替平面图形及平面图形相交，则三个平面图形两两相交时，构成一个三角形的封闭空间。
通过讨论第四个点与此三角形的关系，简明地证明了四色猜想。
四色猜想最先是由一位叫古德里的英国大学生提出来的。
高速数字计算机的发明，促使更多数学家对“四色问题”的研究。
就在1976年6月，哈肯和与阿佩尔合在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。
不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。
直到现在，仍有不少数学家和数学爱好者在寻找更简洁的证明方法。
证明将平面图形抽象极限成成点或线，当然在这一点或线的基础上可以任意发出一些线（这些射线可以任意扩展为面）。
这些射线都属于这个点。
首先，A，B两个面相交看成点A发出的射线和点B发出的射线相遇于点Pab，如图1。
第三点C要和A，B两两相交，则构成一个三角形ABC的封闭空间，如图2。
这时点D要和A、B、C两两相交则有两种情况：（1）D在ABC之内和ABC相交当D和和A、B、C中任意两者相交都将构成新封闭三角形。
第五点E继续相交时就和D与A、B、C相交的情况一样。
假设D和A，B，C分别相交于Pad，Pbd和Pcd。
Pbd在P到B点间，Pad 在Pac到A点间，Pcd在Pac到C点间。
这样即使A，B，C内部还有剩余空间也被分成了3部分如图3。
尽管这三个图形不一定都是三角形但都是封闭的，都可以简化成三角形。
所以无论第五点E在哪部分都是点与三角形关系。
（见图3）（2）D在ABC之外和ABC相交D可以完全将ABC包围或者将ABC一部分包围。
但无论怎样ABC三者至少有一者完全在D的图形内。
若D将ABC一部分包围。
那么ABC至少有一点完全被D包围。
如图5若E在D外就不能和A、B同时相交。
若E在D内无论如何最多只能和三者相交。
要么和ABD、ACD、BCD，不可能和ABC相交。
四色猜想的逻辑证明
四色猜想的逻辑证明概要：平面或球面上两个区域相邻有且只有两种方式，按照这两种方式构成相邻关系，依次由2个、3个、4个直至足够多个不同区域，可以构成任意可能的地图。
本文提出增色定理，围绕该定理，给出四色猜想的证明。
四色定理的本质，是指在平面或者球面上最多只能构造四个两两相邻的区域。
证明这一点，只须例举出全部四个区域相邻的情形即可。
四色猜想的提出四色猜想是弗伦西斯·格斯里（FrancisGuthrie1831-1899）提出的，1852年他在给弟弟的信中写到：“每幅地图都可以只用四种颜色着色，使得有公共边界的相邻国家着上不同的颜色。
”四色猜想又称四色定理、四色问题。
格斯里的话中包含两个需要明确的概念：一个是相邻；另一个是国家，即平面或球面上的一个区域。
为此给出两个定义。
单连通：一个区域内的任何两点，如果可以在其内部（即不穿过其边界）用一条曲线相邻，则称这个区域是单连通的。
四色猜想中涉及到的区域均指的是单连通区域。
相邻：平面或球面上的两个区域，如果只有一条公共边界，就说这两个区域是相邻的。
两种基本相邻关系平面或球面上，A、B两个区域相邻有且只有两种方式：一种是，A区域的部分边界与B区域的部分边界相邻；另一种是，A区域的全部边界与B区域相邻，即A区域被B区域所包围（无需考虑A区域与B区域完全重合的情形，因为这在四色问题上没有意义）。
需要指出的是，图中的红色与绿色可以互换，即，当只有两个区域相邻时，下图中的区域A 与区域B是等价的：哪一个为红色，哪一个为绿色，意义是一样的（在下文的表述中同样的情形不再说明）。
按照这两种方式构成相邻关系，能够由最初的两个区域相邻，依次到由3个、4个直至足够多个不同区域，以任意可能的方式相邻构成全部可能的地图。
同时，该构成地图的过程是可逆的，即能够以与之相反的方式，将任意地图还原为最初两个区域构成的地图。
设想有一张由m+1个区域构成的地图，它显然可以视为由m个区域与某一个区域A以任意可能的方式相邻构成的。
四色猜想(全)
四色猜想几年前，我接触到了四色猜想，并被它的神奇深深吸引住。
通过很长一段时间的思考，否定，再思考，再否定，我终于找到了一个自认为满意的答案。
当然，说她绝对无懈可击我还是没有把握的，我只希望通过这个文章能拓展一下思维，特别是续文中的证明方式，可能也算是开创先河吧。
此证明过程分两步进行，并用两个命题引入最后的结论。
命题一：出现第五种颜色国家的充要条件是这个国家与四个两两相邻的国家都相邻。
（这是一个伪命题，不过对于理解以后的证明有帮助）地图很复杂，国家形状各异，研究起来很困难，所以第一个工作是将地图简化。
先引入一个概念：连线。
在地图上每个国家上选一个中心点（为理解方便选国家首都），每两个相临的国家都用一根柔线把它们的中心点连起来，并且这些线都只在这两个相邻国家的国土上经过（因此不一定是直线），现在将所有的国家都忽视掉，地图上只剩下很多中心点和很多的柔线。
点就代表国家，线就代表相邻关系。
连线有一个重要特性：可以不相交。
这个不难理解。
四个国家两两相邻，用四个点和六条连线可以很清楚的表示出来，如下图：上图是四点两两相连的最简情况之一，还有一种最简情况是正方行的四边和两条对角线，不过上文所书连线可以不相交，因此否决了后者。
想在上图中添加第五个点和以上四点都相连且连线不相交，显然是不可能的。
换言之，一个平面内不可能出现五个点两两相连且连线不相交。
所以得证，不可能出现第五个国家与四个两两相邻的国家都相邻。
也就是说不可能出现五个国家两两相邻。
以上的证明过程没有错误，而推论的局限在于只考虑了相邻不同色的情况，如果国家不相邻也不同色，上面的推论就不适用了。
命题二：出现第五种颜色国家的充要条件是这个国家与四个必不同色的国家都相邻。
引入一个新概念——影响线(影响线很难理解,所以后面会有一个续文专就影响线做介绍。
)影响线——若A，B两国必不同色，它们中心点之间必然存在着一些连线，这些线起到影响双方的作用，若A，B相邻，它们的连线就是影响线。
四色猜想的简单证明
四色猜想的简单证明我们知道，四色猜想其实就是：一个平面或球面上最多只有四个图形的边互相接触。
【点不算】而在这里，我仅对球面上的四色猜想进行证明。
【考虑平面时仅需稍加说明，便可与球面一样考虑】
为简化问题，先强调以下两点：
1．所有图形需互相接触，故将球面分割为多个区域是毫无意义的，只需保留一个空白区域。
2．所有图形需互相接触，故所作图形不能与原来存在的任一图形相离，必须与所有原来存在的图形共边。
遵循以上两点，我们会发现，尽管作图方法任意，但情况均可看作一种【如下所示】。
首先，如图1所示是一个任意图形A ；为便于描述，我们挖去A所占区域，根据球面性质，空白区域可看作以A的边为界的有限且有界的面，如图2。
截取A边的一部分作图形B，如图3；抹去无效边【即重合边】，在A,B上各截取一段边，作图形C,如图4；继续分别截取A，B，C的一段边,此时无论如何【在遵循点1，2的情况下】，总有一个图形的边被完全覆盖。
【证明较简单，在此不赘述】故在任意一个非图形区域内，不可能同时出现四种不同边，即第五图形不必要使用第五色。
四色问题猜想成立。
李世豪。
四色猜想 四色定理
四色猜想四色定理地图四色定理(Four color theorem)最先是由一位叫古德里Francis Guthrie的英国大学生提出来的。
四色问题的内容是任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
用数学语言表示即将平面任意地细分为不相重叠的区域每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。
这里所指的相邻区域是指有一整段边界是公共的。
如果两个区域只相遇于一点或有限多点就不叫相邻的。
因为用相同的颜色给它们着色不会引起混淆。
四色问题的内容是任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行发展历史不过情况也不是过分悲观。
数学家希奇早在1936年就认为讨论的情况是有限的不过非常之大大到可能有10000种。
对于巨大而有限的数，最好由谁去对付？今天的人都明白：计算机。
从1950年起希奇就与其学生丢莱研究怎样用计算机去验证各种类型的图形。
这时计算机才刚刚发明。
两人的思想可谓十分超前。
1972年起黑肯与阿佩尔开始对希奇的方法作重要改进。
到1976年他们认为问题已经压缩到可以用计算机证明的地步了。
于是从1月份起他们就在伊利诺伊大学的IBM360机上分1482种情况检查历时1200个小时，作了100亿个判断最终证明了四色定理。
在当地的信封上盖Four colorssutfice四色，足够了的邮戳就是他们想到的一种传播这一惊人消息的别致的方法。
人类破天荒运用计算机证明著名数学猜想应该说是十分轰动的。
赞赏者有之，怀疑者也不少，因为真正确性一时不能肯定。
后来也的确有人指出其错误。
1989年，黑肯与阿佩尔发表文章宣称错误已被修改。
1998年托马斯简化了黑肯与阿佩尔的计算程序但仍依赖于计算机。
无论如何四色问题的计算机解决给数学研究带来了许多重要的新思维。
问题影响一个多世纪以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。
四色猜想的证明
四色猜想的证明把每个区域看成一个点，相邻的区域（点）用线连起来，则不可能存在连线交叉穿过的情况。
现存在一张地图（a ）需用上4种颜色才可区分相邻区域（点）。
下面证明是否存在必须用上第5种颜色的地图：假设存在这样的地图，则在必须染上第5种颜色的点的周围一定存在染有其它4种颜色的点与之相连（如图b ）。
由于E 是必须用上第5种颜色的点，所以无论从哪点开始按何种顺序染色最终都得使ABCDE5点两两异色。
而且在染色时颜色的选取只受之前染过颜色的点的限制，无需考虑其它未染色的点的颜色。
记5种颜色分别为“1”“2”“3”“4”“5”，则这5种颜色地位是平等的。
下面从上面那5点染起：不妨先将E 染为“1”，再染B 时要使它不能选E 的颜色，则BE 必相邻，不妨染为“2”，再染C 时要使它不能选ＥＢ的颜色则ＥＣ，ＢＣ必相连，不妨染为“３”，再染Ｄ时要使它不能选ＥＢＣ的颜色则ED，BD,CD必相连，不妨染为“4”，再染A时要使它不能选EBCD的颜色则EA，BA，ＣＡ，ＤＡ必相连，但Ａ与Ｃ由于ＢＤ相连而无法相连，这样Ａ的颜色只需选Ｃ的颜色而无需用上第５种颜色。
因此不存在必须用上第５种颜色才可区分相邻区域的地图。
综上所述：无论多么复杂的地图，只需４种颜色就可以将所有相邻区域分开，即四色定理得证。
关于四色定理证明过程中的详细说明一：对“不可能存在连线交叉穿过的情况”的证明：先谈区域间的交界线的定义问题：当区域间仅交于一点时，若把它看作交界线，则当有n个区域交于一点时，这n个点两两相邻，需用n种颜色才可区分，这样讨论“只需用几种颜色就可以将相邻区域分开”就毫无意义了，故点不能看作时交界线，交界线应该具有一定线度。
所以当区域M和N相邻后其它区域不可能通过MN的交界线而相邻。
二：对“染A时A无法与C相连”的证明：在E周围的四点定具有如图（c1）的相对位置关系，由于ＢＣＤＡ４点的地位是平等的，不妨将其按如图（c2）位置关系排列（即将它们的位置关系固定）。
四色猜想证明
四色问题证明刘国瑞1，刘国华（重庆汽车研究所，重庆 400039）E-mail：lgr0902@摘要：全文共分两部分。
第一部分先证特殊情形，再证一般情形，两相对照，揭示四色问题的本质。
第二部分通过GR图对希伍德（Heawood）反例进行了深入的探讨，指出该类型的平面图自身有破绽并给出新的反例类型以取代原反例。
最后，通过剖析动态平衡现象，阐明用肯普（Kempe）的方法证明四色问题不可能成功。
文中第一部分，由刘国瑞、刘国华二人合作完成。
第二部分，由刘国瑞单独完成。
关键词：四色问题；希伍德反例；GR图；动态平衡MR（2000）主题分类号：05C15证明题：平面上任何一幅地图，都可以用四种颜色正常着色1 引 言四色问题自1852年提出以来，已困扰数学界150余年。
在这期间，尽管人们已想到了把国家化归为一个结点，也知道任意两个必须着不同色的结点之间必有一条着这两种色的结点交替出现的双色路[1-2]，然而纵览这150多年间各种各样的解法，我们发现，这些解法未能揭示这一问题的本质，对该问题的要害也缺乏深入的探索，致使这一问题变得异常复杂，1976年还不得不借助计算机花费1260小时来加以证明。
实际上，四色问题成立的充要条件是“存在四色地图实例且不能用两两不相交的曲线把同一平面上任意五个点里每两个都连结起来”，这就是我们约四十年前曾向中科院数学研究所指出的该问题的本质。
四色问题的要害是希伍德反例，对该类型的平面图我们将借助GR 图剖析其内在机制及自身存在的漏洞，并给出新的反例类型取代原反例。
最后，通过剖析动态平衡现象，指出用肯普的方法不可能彻底解决四色问题。
本文曾征询并采纳苏州大学施武杰（博士导师）、重庆师范大学谢安国、西南大学王佳等数学教授及西南大学李明、清华大学周喆等数学研究生的意见，在此致以衷心的感谢！2 基本概念给定平面图G=＜V，E＞，其中，V是非空结点集，E是连接结点的边集[1]。
G具有面F1，F2，…，F n，这些面中，不受边界约束的面称作无限面（也可称外部区域），所有的面除称作面外也可称作国家。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
四色猜想的证明
【摘要】四色猜想的证明已经历经了一百多年，这个看似简单的问题，却难倒过大量的数学爱好者. 人们通过不断努力，最终于1976年6月，由哈肯与阿佩尔合作编制一个很好的程序，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明. 但人们不满足于计算机取得的成就，仍在寻找更简单的证明方法. 我在证明四色猜想时，主要采用了转化思想，把四色猜想的证明转化成在平面内是否存在五个图形两两之间存在公共边的证明，再转化成在平面内是否存在五个点两两相连，连线除了顶点之外没有其他交点的证明. 这样就大大简化了四色猜想的证明，把复杂的图论问题转化成了简单的连线问题，使人很容易理解、接受.
【关键词】四色猜想；两两相连；公共边
地图四色定理（four color theorem）最先是由一位叫古德里（francis guthrie）的英国大学生提出来的. 四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不
同的颜色. ”用数学语言表示，即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字. ”这里所指的相邻区域，是指有一整段边界是公共的. 如果两个区域只相遇于一点或有限多点，就不叫相邻的. 因为用相同的颜色给它们着色不会引起混
淆.
证明之前我们先看一下这个结论，“将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字”. 这个结论也就是说，在平面中存在四个或四个以下图形两两之间有公共边，而不存在四个以上的图形两两之间存在公共边，我们只需要证明平面内不存在五个图形两两之间有公共边就可以了.
我们假设在平面内存在五个图形两两之间有公共边，分别在这五个图形内各取一点，我们可以把这五个点命名为a，b，c，d，e，两两连接这五点，连线在被连接的两个图形内，并且经过它们的公共边. 如果上述假设成立，我们必能作出这样的十条线（ab，ac，ad，ae，bc，bd，be，cd，ce，de），并且这十条线除了顶点之外不会有其他的交点.
我们通过作图方法来证明上述结论，证明过程：
我们先任选两点a，b，连接这两点得到ab（ab可以是任意曲线，为了简便，我们把它做成直线）.
再任取一点c，从c点向a，b做连线，得到ab，ac，bc这三条线，这三条线连接成了一个闭合的图形（图1），并把平面分成了两部分.
然后我们再取一点d和a，b，c相连，d点可以在ab，ac，bc这三条线分割平面得到的两部分中的任一部分（图2，图3），这样的
六条线ab，ac，ad，bc，bd，cd就把平面分割成了四部分，每部分都是由三个顶点、三条线分割开的.
我们再取第五点e，点e可以在由线ab，ac，ad，bc，bd，cd把平面分割成的四部分中的任何一部分内，如果e点在线bc，cd，bd 所分割的平面内（图4），那么点e只能和点b，c，d相连，如果要连接点a，必经过bc，cd，bd这三条线中的一条，所以点e在这一部分不能和点a相连，以同样的原理也可以推出当点e在另外三部分的时候，只能和分割这一部分的三个点相连，不可以与第四个点相连. 因此我们可以得到，在平面内，不存在这样的五个点，两两相连后，连线除了顶点之外不相交.
从上面的这四个步骤中，我们一步一步推出了结论：在平面内，不存在这样的五个点，两两相连后，连线除了顶点之外不相交. 同时我们也就得到了在平面内不存在五个图形两两之间有公共边，四色猜想也就得到了证明.。