四色问题的几何逻辑证明.pdfVIP

题 研 究 t 婚 蘸 ◎徐积峰 (中煤山东物探总公司 271021) 【摘要】本文的主要思路就是运用区域必闭合的定义和 图 1：区域上任何确定的两点 ，，都存在唯一边线AB， 两个 区域 的公共边不能成为第三个 区域 的边线 的引理．首先 BA，构成该 区域 的所有边线． 对两相邻 区域 的相邻类别进行划分，将其相邻方式分为简单 引理2 平面上的一条直线 ，|可分平面为以直线 ，J为 的三种 ：(1)包含 ；(2)不包含 ，相邻边数为一；(3)不包含 ，相 界 的两部分 ，且只为两部分． 邻边数≥2．以简单 的逻辑类别来囊括具体 图形所存在 的、所 引理3 两个 区域 的公共边不能成为第三个 区域 的边 有的可能形态 ，并以此 向三个 、四个互相邻 区域推演．得 出： 线．或者说l一个相邻的区域之间不存在共 同的相邻边．或者 若满足平面上 四个 区域两两相邻，则其 中必有 内包含 区域． 也可 以说两个 区域 的公共边上任何两点之间的边线不再构 本文每一步都 旨在构筑一种 图形结构的类型，肯定一种类 成其他 区域 的边线 (排他性)． 型，或否定一种类型．用类型来概括规范同属于这一类 (具有 此 引理 由引理 2导出，为下文论证 的主要依据．证 明如 此类性质)的所有图形．每一张图都是为 了代表一种类型 ，勾 下 ：假设两个区域的公共边可以成为第三个 区域的边线，首 画它的结构类型性质．图例是为 了更好地表达逻辑陈述 的一 先将这条不规则 的边线无 限细分 ，这样 曲线就可看成 由无 种外在借助手段，每一步的推导不是对一个 图形具体 的观 限多个直线段组成．取其 中一段 ，端点为 d，B．延长AB两端 察，而是在对 已知条件和相关引理的反复推断中证 明一个存 作直线将平面分为两部分，记为s。，s．s，s 以AB为界(引 在(边线或 闭合区域)的逻辑必然性．最终证明：平面上 四个 理二)．则同一平面上的区域 3或在 s 上 ，或 s，上．或两者 互相邻的几何 区域 中必存在 内包含 区域． 各 占其部分．取区域 1边线上一点 c(该点不在 AB的延伸 【关键词】区域；闭合；公共边；边线；相邻；内含区域