N元环三角形拼接图三色定理的证明.docVIP

N元环三角形拼接图三色定理的证明【摘要】为了给四色定理问题的研究提供启示，本文对N元环经过三角形划分后所得平面三角形拼接图的着色问题进行了研究，本文结论可归纳如下.（1）任意N元环划分所得三角形拼接图均含有N-2个三角形和N-3条非环上边.（2）任意N元环划分所得三角形拼接图中，至少存在两个三角形由连续三个环上点构成.（3）任意N元环划分所得三角形拼接图都符合三色定理.【关键词】四色定理;图论;平面图;数学归纳法【中图分类号】O157 AMS（2000）主题分类：05C15【基金项目】阜阳师范学院自然科学项目（2013FSKJ05ZD， 2014FSKJ01ZD）一、引 言四色定理是图论中未经证明的一个问题，这一看似简单的问题被认为是近代三大数学难题之一.这一定理指出，对于任何地图，采用四种颜色对各个国家进行着色即可保证任何两个相邻国家具有不同的颜色，这一问题于1852年由英国制图员Guthrie提出，距今已有160余年时间.1879年Kempe最早提出被称作Kempe链的“换色法”对于这一假设进行了证明.但1890年，Heawood发现Kempe的证明过程中存在错误，指出Kempe实际证明了任何地图均可实现五着色的命题.1976年，美国数学家Appel、Haken和Kock曾采用计算机经过一百多亿次逻辑判断方法证明了四色定理;但直到21世纪，纯粹的数学证明方法依然没能获得.为了给四着色问题的研究提供启示，本文将进行一类由N个顶点形成的多边形划分为三角形拼接图后所得图形着色问题的研究.本文将按如下顺序进行论述.首先介绍地图着色问题的简化处理以及文献中五色定理的染色方法，然后讨论N元环三角形拼接图的性质，最后证明N元环三角形拼接图符合三色定理.二、五色定理简介文献中五色定理的介绍很多，但由于多数文献采用图论专业术语进行描述，所以无法达到浅显易懂的效果.为此，本文作者打算用通俗语言对五色定理进行重新描述，以尽可能地达到无论专业数学工作者或业余数学爱好者均能看懂的效果.1.地图着色问题的简化处理一般在研究地图着色问题中可先对地图进行“点面翻转”操作，这一操作可具体描述如下.考虑一类简单地图，地图中只存在三个国家交界点的情况且每个国家周围至少有三个邻国.此时，每个国家都可看作多边形“面”，每个三国交界点即为一个“点”;整个地图有数个多边形“面”和数个三国交界“点”构成.现把原地图中每个多边形“面”变成一个“点”同时把每个三国交界“点”看成一个“面”.如果两国交界，则用一条线把代表两个国家的点连接起来.此时原地图中所有三国交界点均会变成三角形面，原地图变成由三角形面拼接而成的多面体图形.为了简便起见，本文把这种经“点面翻转”后获得的由三角形拼接而成的多面体叫做“TH体”（其中T取自triangle，H取自hedron）.原地图的四着色问题变为研究TH体的四着色问题（下文中字母代表国家，面代表多国交界点）.图1 四国交界点示例 以上TH体中只有三个国家交界的情形，如果实际地图中存在四个或四个以上国家共享一个交界点的非TH体情形（如美国地图有四州共用交界点情形）或其他如国中之国以及一个国家只和两个国家交界的非TH体情形等，均可转变为TH体.例如一个国家若只与两个国家交界，则可以先去除这个国家，待完成着色问题后，再将这个国家增添到原来的位置，染上与周边两个国家不同的颜色即可.再如，存在四国交界点的情形也可转变为TH体.如图1所示（图1中非四国交界区未画出），图1（a）中A，B，C，D四点代表四个国家，四边形面ABCD代表四国交界点.此时图1（a）不属于TH体.但若连接图1（a）中AC两点，即可将图1（a）变为如图1（b）所示的TH体.若图1（b）符合四色定理，则断开AC连线后，所得图形必然符合四色定理.也就是说，非TH体的着色问题均可通过TH体的着色问题完成.2.五色定理的相关介绍五色定理可用数学归纳法证明;即已知四个国家构成的地图符合五色定理，现假设N个国家构成的地图符合五色定理，那么若能在此基础上证明N+1个国家构成的地图符合五色定理，则命题成立.现以TH体为地图基本模型描述五色定理的证明过程.我们先来考察TH体的相关性质.TH体是一种多面体，依据多面体欧拉公式，顶点数（N）、面数（F）、边数（E）符合式（1）.TH体中每条边被两个面共享，每个面均由三条边构成，所以有式（2）成立，且由式（1）和式（2）可得式（3）.假设TH体中每个点均与其他6个或6个以上点相连，考虑到每条边被两个顶点共用，可知TH体的边数E与顶点数N关系符合式（4）.由于式（4）与式（3）矛盾，可知以上假设不成立.即任意TH体中至少有一个顶点只与5个或5个以下其他顶点相连.N+F=E+2.（1）2E=3F.（2）E=3N-6.（3）E≥3N.（4）因此，对于一个N+1顶