数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 2977|回复: 1

手工证明四色猜想是正确的

[复制链接]
发表于 2015-11-12 14:19 | 显示全部楼层 |阅读模式

手工证明四色猜想是正确的
雷  明
(二○一五年十一月十一日)

【摘  要】用不同和方法证明了四色猜测是正确的。
【关键词】四色猜测  地图  多阶曲面  曲面的亏格  欧拉公式

1、从地图的角度来证明四色猜测
从多阶曲面上地图的角度进行证明:
设在某亏格为n的曲面上有一个γ色的地图,按坎泊的思想,那么就应该存在一个“国数最小的”γ色地图。这个“国数最小的”地图中也就应有γ个“国家”。
设这个“国数最小的”地图中的区域数(即“国数”)为f,每一个区域都与别的f-1个区域相邻,每一个区域都有f-1条边界线,f个区域的总共有f(f-1)条边界线。因为每条边界线都是两个区域所共有的,而在这f(f-1)条边界线中每条边界线都是计算了两次的,则这个地图中的“边界线”的总条数即边数应是e=f(f-1)/2。又因为地图是一个3—正则图,即每一个顶点都连接着3条边,即所谓的“三界点”,所以该地图的总边数也可以写成e=3v/2,从而有3v=2e=f(f-1)的关系。用区域数(即面数)f来表示顶点数v和边数e,则有v=f(f-1)/3和e=f(f-1)/2。把v=f(f-1)/3和e=f(f-1)/2代入到多阶曲面上图的欧拉公式v+f-e=2-2n则得到
f2-7f+12(1-n)=0
解这个关于“国数最小的”地图的区域数f的一元二次方程得正根是
        f=(7+√(1+48n))/2
因为区域数必须是整数,所以上式还得向下取整,得
        f=<(7+√(1+48n))/2>
式中用< >表示其中的数字向下取整。又因为f是两两均相邻的“国数最小的”地图的“国数”,即区域数,所以这个“国数最小的”地
图染色时也必须用与其区域数相同的颜色数,所以又有
        γ=f=<(7+√(1+48n))/2>
这就是赫渥特的地图着色公式的“等式部分”。
这个区域数f只是在某一亏格为n的曲面上,两两均相邻的国家中的“国数”最大者。该曲面上还会存在比f少的区域也是两两相邻的,所以上式还可以再增加上“不等式部分”,即
        γ=f≤<(7+√(1+48n))/2>
这就是赫渥特地图着色公式的全貌了,其中既有等式又有不等式。
式中当曲面的亏格为n=0时,其色数γ=f≤4,这就是地图中两两均相邻的区划数,是不大于4的,这就证明了地图中是不存在5个区域两两均相邻的现象的。这也就证明了四色猜测是正确的。
直接从平面上的地图的角度进行证明:
设在亏格为0的曲面上有一个γ色的地图,按坎泊的思想,那么就应该存在一个“国数最小的”γ色地图。那么这个“国数最小的”地图中也就应有γ个“国家”。
设这个“国数最小的”地图中的区域数(即“国数”)为f,则这个地图中的“边界线”的总条数即边数应是e=f(f-1)/2。又因为地图是一个3—正则图,所以该地图的总边数也可以写成e=3v/2,从而也有3v=2e=f(f-1)的关系。用区域数(即面数)f来表示顶点数v和边数e,则有v=f(f-1)/3和e=f(f-1)/2。
把v=f(f-1)/3和e=f(f-1)/2代入到亏格为n=0的平面图的欧拉公式v+f-e=2中,就可以得到
f2-7f+12=0
解这个关于f的一元二次方程得两正根分别是
        f=4和f=3
这里取大值f=4。这里也只有等式部分。因为两两均相邻的4 个区域染色时必须用四种颜色,所以也有γ=f=4。
同样是因为这里的f是某一亏格为n的曲面上,两两均相邻的国家中的“国数”最大者。所以上式还可以再增加上“不等式部分”,即
    γ=f≤4
这就是地图四色猜测。
2、从欧拉公式的角度来证明四色猜测
用多阶曲面上图的欧拉公式进行证明:
地图是一个平面图,其对偶图也是平面图。给地图中区域的染色就是对其对偶图(平面图)中的顶点着色。
不相邻顶点是可以同化成一个顶点的(同化是把两个不相邻顶点凝结在一起的过程。相当于图论文献上所说的“收缩”。由于收缩有相邻顶点间的收缩和不相邻顶点间的收缩,为了便于区别,所以我把不相邻顶点间的收缩称为“同化”。),任何图同化的最终结果一定是一个顶点数最少的完全图,叫图的最小完全同态。
设一个亏格为n的图同化后所得到的最小完全同态是Kv,该同态是一个顶点数是v的完全图。该Kv一定是能够满足多阶曲面上图的欧拉公式v+f-e=2(1-n)的。因为任意图中都有3f≤2e的关系,把f≤2e/3带入以上的欧拉公式中得
     3v-e≥6-6n
再把完全图中边与顶点的关系e=v(v-1)/2代入上式得
        v2-7v+12(1-n)≤0
解这个关于完全图(即亏格为n的图的最小完全同态)的顶点数v的一元二次不等式,得正根是
v≤(7+√(1+48n))/2
由于顶点数必须是整数,所以上式还得向下取整,得
v≤<(7+√(1+48n))/2>
式中用< >表示其中的数字向下取整。因为完全图的色数就等于其顶点数,所以又有
γ≤<(7+√(1+48n))/2>
这就是赫渥特的地图着色公式。当n=0时,上式的计算结果是γ≤4,这就是四色猜测。四色猜测得证是正确的。
用平面图的欧拉公式直接进行证明:
设平面图的最小完全同态Kv。把任意图中面与边的关系3f≤2e代入平面图的欧拉公式v+f-e=2中得
    3v-e≥6
再把完全图的边与顶点的关系e=v(v-1)/2代入上式中得
        v2-7v+12≤0
解这个关于平面图最小完全同态的顶点数v的一元二次不等式得
        v1≤4和v2≤3
其中v1≤4包含v2≤3,所以该不等式实际上只有一个根v1≤4,即任何平面图的最小完全同态的顶点数都是小于等于4的。
因为任何图的色数都等于其最小完全同态的顶点数,所以有平面图的色数也是小于等于4 的结论。这就是四色猜测。四色猜测也得到证明是正确的。

以上四种不同的解度进行的证明,都说明了四色猜测是正确的。

雷  明
二○一年十一月十一日于长安

注:此文已于二○一五年十月十二日在《中国博士网》上发表过,网址是:
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-9-19 11:36 , Processed in 0.084310 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表