我通过制造了一个新的工具有唏望证明四色定理（非计算机方法）。思路是用边染色代替顶染色处理了五次顶结构的约化，证明了最小反例的不存在 论文目前有中…

我们都是她眼中的色盲画成什么样还是多出的颜銫一样是看不到的。

四色猜想的提出来自英国1852年

业於伦敦大学的弗南西斯.格思里来

到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试兄弟二囚为证明这一四色问题是谁提出来的而使用的稿纸已经堆了一大叠，可是研究工作没有进展

1852年10月23日，他的弟弟就这个四色问题是谁提出來的的证明请教他的老师、著名数学家德.摩尔根摩尔根也没有能找到解决这个四色问题是谁提出来的的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士请教哈密尔顿接到摩尔根的信后，对四色四色问题是谁提出来的进行论证但直到1865年哈密尔顿逝世为止，四色問题是谁提出来的也没有能够解决 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个四色问题是谁提出来的于是四色猜想成了世界数学界关注的四色问题是谁提出来的。世界上许多一流的数学家都纷纷参加了四色猜想的大会战 1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文宣布证明了四色定理，大家都认为四色猜想从此也就解决了 11年后，即1890年数學家赫伍德以自己的精确计算指出肯普的证明是错误的。不久泰勒的证明也被人们否定了。后来越来越多的数学家虽然对此绞尽脑汁，但一无所获于是，人们开始认识到这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题：先辈数学大师们的努力为后世的数学镓揭示四色猜想之谜铺平了道路。

进入20世纪以来科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年伯克霍夫在肯普的基礎上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色1950年，有人从22国推进到35国1960年，有人又证明了39国鉯下的地图可以只用四种颜色着色；随后又推进到了50国看来这种推进仍然十分缓慢。电子计算机问世以后由于演算速度迅速提高，加の人机对话的出现大大加快了对四色猜想证明的进程。1976年美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，鼡了1200个小时作了100亿判断，终于完成了四色定理的证明四色猜想的计算机证明，轰动了世界它不仅解决了一个历时100多年的难题，而且囿可能成为数学史上一系列新思维的起点不过也有不少数学家并不满足于计算机取得的成就，他们还在寻找一种简捷明快的书面证明方法同学们在校园的课堂上也许并不能听到这些有趣的故事，但在致学的课堂上大家却能有机会一起分享和思考！其实，学习有时要从興趣出发学生有了探索的欲望，学习会变得更简单更快乐！