一分钟没到,一百多个国家所有可能的正规地图,已经全部被计算机梳理了一遍,但却都可以用四色才渲染制作。
因为所有的图形,都被完整的保存在了电脑里面。
一旁的丁兆祖和刘半学已经看傻了!
还能这样?
这种证明方法,也太暴力了吧?
直接平推,没有一点技术含量!
但是,你要说他没证明吧,显然不对……这样的证明方法,是符合逻辑的,这在数学上,叫做暴力解法,也叫作排除法。
把所有可能性排除,但到了最后,不就证明出理论了么?!
“我估计最多1小时,就能推算到10万个国家……再推算下去也行,但没什么实际意义……”
吴敌朝着一旁的丁兆祖和刘半学说着,两个人都是点了点头:“行,那就让电脑先计算吧……我们等待一小时,一小时后,我得把证明成果都带走,这是证明的珍贵资料!”
“好,我在家已经做过了一遍实验,没有任何问题……至于这道程序,是可以用数学公式推导的,相信数学院可以把自动制图的程序,用数学公式推导出来……到时候凭借证明过程,再加上电脑计算,四色猜想的证明,就此成立!”
吴敌说这话的时候,脸色没有任何情绪。
但一旁的丁兆祖和刘半学,却是有些老泪纵横。
吴敌的这个证明过程,没有一丝问题,只不过最繁琐的计算步骤,交给了计算机罢了。
但前期的推倒和证明,还都是用的数学理论,所以一小时后,计算机计算没有失误,那就说明,四色猜想证明成功!
之后的一小时,对于大礼堂的所有人来说,都是一种煎熬。
看着计算机上跳出来的数字,从国家数99100开始,所有人内心都开始倒计时。
99101,99102……随着国家数的增加,计算机的计算便有些慢了下来,基本要一秒钟,才能推进一个国家。
而当大屏幕上出现99990的时候,全体的大学生,教授都激动的开始大喊起来。
“10,9,8,7,6,5,4,3,2,1——”
“0!!”
“成功!!”
全场响起了齐声的嘶吼声,整座大礼堂好似被飓风掀翻了一般,所有人大的学生,都听到了大礼堂内传来的呐喊声。
经久不绝,响彻当空。
“成功了……我们成功了……”
“又是一个世界级的猜想,十大猜想,我们华夏,又证明了一个!”
”老刘,我不是在做梦吧?“
“不是,这是真的!吴敌,他证明出了四色猜想!“
“又是吴敌,又是吴敌啊……华夏之幸,华夏之福啊……”
刘半学,丁兆祖几个在那语无伦次的说着,吴敌却是一把拉住夏天的手,走到了两个人面前,指着夏天道:“老刘,老丁,这个四色猜想,不止是我一个人的功劳,夏天,他同样出了自己的一份力……前期的证明,可都是建立在她的理论之上!”
当刚才吴敌一瞬间拉上自己手的时候,夏天的小心脏一下子提到了嗓子口,冰冷白皙的脸上都露出了一抹绯色。
但听到吴敌这么说的时候,她赶忙摇起手道:“刘老,丁老……不是的……不是的……”
她都有些慌了。
这是什么成就?
证明了四色猜想啊……自己刚才明明出了很大的纰漏,怎么能得到这样至高的荣誉。
要不是吴敌,她现在估计已经被老师给骂死了。
现在,又怎么能分享吴敌的这份伟大的荣誉呢?!
那可是四色猜想,是世界上所有爱好数学的学生,所有数学家都努力并为之奋斗一生的世界性难题。
她自认自己什么都没做,哪怕没有自己,吴敌肯定也能一个人证明出四色猜想的。
“对,还有夏天同学,没有她的这个反证解题步骤,根本推导不出可约和构形的理论……”
“我在此宣布,四色猜想,由吴敌和夏天同学,共同证明成功!”
刘半学拿着话筒大声说着,下面顿时传来了剧烈的狂吼声。
“耶,好样的,夏天,吴敌!”
“夏天,吴敌!”
“你们太棒了……”
所有数学系的大学生都有些癫狂,这是华夏数学史上的奇迹,也是要被载入史册的一天。
这一天,峰回路转,跌宕起伏!
原本所有人都觉得四色猜想已经绝望,但没想到,吴敌的力挽狂澜,将原本不可能的四色猜想,直接推导到了最后,一举证明成功。
这是怎么样的一种强大。
一帮人冲上台,将吴敌和夏天,高高的抛了起来。
每个人脸上都洋溢着兴奋和自豪,他们为两个小家伙的出色表现,深深的折服。
刘半学在一旁擦着泪水,看着这一幕。
丁兆祖也是嘴角含笑,脸上却是挂满了泪痕……谁又能想到,短短一个月内,居然接连证明出了两道猜想,这是他们打死都没想到的事情。
“老刘,费马尔猜想那边怎么样了?”
丁兆祖在那问道。
刘半学哽咽了一下,抹了把脸:“差不多了,还有最后的几个椭圆曲线方程需要梳理,就这几天吧,就能出结果了……”
“好,这件事先不要公布,等四色猜想一起吧,反正还有二十天,全世界的数学家都会在帝都齐聚,参加世界奥数竞赛,到那时,我们狠狠的给他们一个惊喜瞧瞧,让他们知道,我们华夏,也是有数学人才的!”
“嗯,我也是这么想的,这个机会,公布证明两道猜想,再恰当不过!”
刘半学和丁兆祖相视一眼,同时畅快的笑了起来。
他们大笑,眼神看着吴敌和夏天,那是华夏数学界的未来……而且,是最为璀璨的未来!
喜欢都市之七岁大宗师请大家收藏:(www.zcwx8.com)都市之七岁大宗师总裁文学更新速度全网最快。