第376章 章 夏天证明四色猜想的方法!(第 3/3 页)
四色猜想转变一下,确实就是这样的一道数学题。
“既然这样,我在解题的过程中,想到的办法是归谬法,也就是反证法。”
“反证法?”
所有人都愣了下,在座所有人几乎都是数学系的,反证法他们再了解不过。
反证法,就是首先假设某命题不成立(即在原命题的题设下,结论不成立),然后推理出明显矛盾的结果,从而下结论说假设不成立,原命题得证。
有的小学,就学过这种方法。
在场所有人,显然都清楚反证法的理论。
按照四色猜想的命题来看,四种色彩可以制作一张地图,那反证法,显然就是四种色彩不可以制作一张地图。
四种色彩不可以制作,那显然最少要用到五种色彩。
换而言之,只要反证出至少用到五种色彩这个命题不成立,那四色猜想显然就一下被证明!
确实是一个很好很简单的证明方法。
台下所有人眼神不由得一亮,这确实是一个很好的证明四色猜想的方法。
大屏幕,也把这个反证命题打了出来。
【至少用到五种色彩制作地图,证明其不成立!】章
吴敌抬头看了眼,便已经没了兴趣,他知道,夏天用的办法,确实是前世差点被论证出的那个解题思路。
前世1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人,分别提交了证明四色猜想的论文,宣布证明了四色定理……那篇论文,经过当时的数学院论证,很多数学家都做了确定,而后宣布:四色猜想从此被解决。
但是,11年后,即1890年,在牛津大学就读的年仅29岁的赫伍德,当时赫伍德还不是数学家,却已经数学成就超然。
他以自己的精确计算,指出了肯普在证明上,拥有一个不可饶恕的漏洞!