四色定理证明新方法

leisurely

在已知地图上总可以的。
在未知的抽象地图上当你画轮画到最后，我总可以说最后是三个彼此相连的顶点，周围是你画好的轮的外围几百点和这三个点相连。如果是球面，实际上三点是最里面。
你整个画的重新画吗？结果画完还遇到同样的情况。那在抽象地图上你怎么证明，或加什么方法保证不会遇到这种情况，说的清吗？
如果是雷明的类似方法，把一堆未定点赶到某个地方，那怎么能说清这堆未定点肯定不会全图上乱跑？
如果构型的最后，遇到的问题超过了你定义的单一构型范围来解决，构型的意义何在？不如一开始就不用它，直接面对问题。
除非你能用构型清楚的解决问题。

zengyong

1、在我的证明前部分已经证明三角形结构平面连通图的构形只有延伸结构和轮形结构。
那么，不管你给的图怎么复杂也逃脱不了这两个构形。在已经着色好的图外增加顶点和边，
始终还是一个三角形结构平面连通图。

2、你说的抽象地图是不准确的， 四色猜想说的地图就是具像的（看得到的）地图。
     用图论的述语就是平面连通图。同时图论已经证明球面和可平面图是等价的。在这个问题
  上争吵没意思，倒不如你去学习学习图论有关球面和可平面图的论述吧。

3、使用我的证明方法，图的外围顶点永远是3色，那么外面在增加一个顶点与所有外围顶点邻接，
增加的那个顶点就可以用第四种颜色。即增加的是另外一个图，新增的图的外围顶点也只能有一个
顶点和三种不同颜色的顶点邻接。这是由平面图的边不能相交的性质决定的。当一个
顶点和三种不同颜色的顶点邻接，它又把三种颜色的里面的一种颜色隔离起来了。所以再增加新顶点
也只能与三种颜色的顶点邻接。

4、每一个大的图都有很多的着色方案，为了使增加新的顶点而改变原来的顶点的着色方案是常有的事。
    并不违背证明的原则和影响证明的正确性。

5、为了完成四色定理的证明，想象力是必须的。脑子里应该想象到各种不同的具体图，但图不是抽象的图。

zengyong

6, 一个平面连通图可以通过增加边构成极大平面图, 平面连通图的色数不大于由它加边导出的极大平面图.
所以能够证明所有极大平面图是可4-着色的,就证明了四色定理.
极大平面图的所有面都是C3, 因此在球面上, 任何一个面中间戳洞而把球展开成平面, 所得的图外圈都是C3.
也就是说外圈的色数都是3.

zengyong

最近又发现另一个在不可避免构形集的基础上用双迹法证明四色定理的新方法. 可能较容易理解.
事实已经证明四色定理肯定是可以使用人工证明的.

zengyong

新的双迹法终于成功了。
着色出奇的快，使用双迹-圈圈法仅一分多钟完成张先生的图着色。太意外了！
整个证明仅用了两页纸，既简单易懂又不失严谨性。
不愧为四色定理证明的好方法！

zengyong

新的双迹法终于成功了。
着色出奇的快，使用双迹-圈圈法仅一分多钟完成张先生的图着色。太意外了！
整个证明仅用了两页纸，既简单易懂又不失严谨性。
不愧为四色定理证明的好方法！
（发重复了，以后再添新内容）

zengyong

电脑证明了四色问题和书面证明四色定理，两种是完全不同的 方法。
电脑再怎么厉害，它也只能验证有限的数据（或者说信息），仅证明了不到2000例构形可以正常4-着色（可约）。
而书面证明四色定理是能够证明无穷无尽的平面图可以图顶点正常4-着色。

不知1234567-先生是否知道数学证明是 怎么一回事。

再说，每一种证明方法都有其价值，不存在谁“超越”谁的问题。两者之间也没有可比性。

zengyong

1234567-先生说：
“须知，极大平面图都是三角形结构的！对此，Appel 和 Robertson
等人已用电脑证明了四色问题！”

这句话没头没尾，请问1234567-先生，你是说Appel 和 Robertson已用电脑证明了极大平面图？（或者说你已经证明极大平面图是可4-着色？）
说话要有严谨性！别含含糊糊的 。

zengyong

又发现一个巧妙的简单四色定理的证明！

zengyong

2017年即将过去。
这一年是硕果累累。已获最终证明的猜想有：
1、        哥德巴赫猜想：初等数学证明和高等数学证明，以及解析数论的佐证。
2、        费马大定理的简洁证明（做到1页纸的文字篇幅或4页2种方法）
3、        四色定理的最终证明（图顶点着色理论、不可避免构形集和双迹法3种证明方法）
4、        孪生素数无穷的证明
5、        保罗猜想
6、        西塔潘猜想
我可以宣告近代三大数学难题不再是个永远解不开的谜。