四色定理的非计算机证明

hezongguang

四色定理的非计算机证明：庞加莱定理的一个应用
何宗光（浙江科技工程学校）
何宗明（上海第五医疗器械厂）
摘    要
本文在原有的拓朴学、图论、及着色理论的基础上增加了一些必不可少的公理、定理及定义，从而建立了在着色问题上比较完善的理论系统，并采用了一些新的方法，证明了球面上及平面上平面图的四色定理。即在球面或平面上对于任何平面图有X(G)≤4。
                   关  键  词
封闭圈， 分断隔离，  着色可省略点，  三角剖分图，  
着色调整与分析，  添线， 去点， 去线。
                一、   引   言
  一条定理希望得到证明，必须依靠一个完善的理论系统。在这个系统中有尽可能少但却是足够的公理和基本概念，以及足够的定理、定义、公式等。如果缺少了其中任何一个环节，论证就会变得寸步难行。四色定理之所以长期得不到理论性而非计算机进行的证明，主要就是因为没有建立起一个既简要而又完善的理论系统。下面所列出的公理、定理、定义大都是证明四色定理所需要的，其中绝大部分都是原来拓朴学和图论和着色理论中已有的，极少是新增加的。
在“球面”或“平面”上在着色问题中的最重要的特点就是任何“圈”在“球面”或“平面”上的“阻断”作用。同样“圈”在所有“简单多面体”上也有这样的“阻断”作用。但在“非简单多面体”上有些“圈”就不再具有这种“阻断”作用，本文正是利用了这一特点证明了“四色定理”。
                                                        
   另一方面，数学家欧拉在证明“欧拉公式”V+F–E=2（其中V是
“简单多面体”的顶点数，E是“棱数”F是“面数”）采用了逐步“去线”“去面”“去点”的方法，而本文采用的是先“添线”然后再逐步“去点”与“去线”…反复进行，最终完成了证明。这两种方法虽然不完全相同但却有相似之处。

wangyangke

（笑话）继鲁思顺——定理：鲁思顺是个二百五！——之后，陕西雷明举重若轻，轻松证明哥德巴赫猜想

lusishun

《倍数含量筛法与恒等式的妙用》，
可以免费下载，
论文证明了哥猜与孪生素数猜想

雷明85639720

wangyangke，你真是个无赖！

雷明85639720

1、请何宗光朋友，继续发下去！
2、并请对你所说的有阻断作用的“圈”进行一下定义。
3、即什么样的圈是有阻断作用的，什么样的圈又是没有阻断作用的。
4、所谓“阻断”，是把“什么”“阻断”了呢？
5、光只说一下"圈"有"阻断"作用可能还是不行吧。