第二百九十章 周氏椭圆曲线,参观学习,健康意识(1 / 2)林文康
转过天,周志民收拾妥当,准备出门。
“稳稳,在家要乖乖的哟....小碗,你要多注意点,现在还是头三个月,需要小心再小心...”
孕妈的前面三个月,胎盘还没完全着床,不是很稳,堕胎风险是比较大的。
需要孕妈多注意身体,不要太过劳累。
“嗯,你快去上班吧,我们会注意的。”宁舒婉笑道,这是把她当三岁小孩吗?
她都已经生过一个孩子了,又不是第一次怀孕,而且她母亲刘红英就在身边呢,更别说她自己也在学医。
汽车缓缓行驶,从城里到郊区的北大。
这时代,二环内才是城区,二环外都是城外郊区,虽然也有很多小区、城楼等,但也有大片大片的农田。
此时大地回春,已经有不少农民在田间地头忙活,为春耕做准备。
周志民并没有注意到这些,他坐在车内,眼中却是在盯着手头上的文件。
燕园,大礼堂。
今天第二场报告会正式开始,同样分上下午两场,时间层面是非常充足的,但就是比较累人。
昨天站了一天的周志民,今天准备换个方式作报告:坐着!
跟昨天相比,大礼堂来的人,只多不少。
似乎大家都能够听得懂报告会一样。
“大家上午好,我们今天的报告是关于费马猜想的证明,本次证明,我将会使用代数几何、伽罗瓦表示、模形式、周氏理论、欧拉系统等高度抽象的数学工具来完成阐述...”
“此外,我整理了另外一个更为简便的证明过程,我将会放在明天上午的交流会上,跟大家进行交流......下面我们开始今天的报告!”
嗡!
刚一开始,周志民的一番话就引起了整个现场的喧哗,瞬间就窃窃私语起来。
因为他竟然说还整理了一份更为简便的证明过程,这怎么可能呢?
周志民此前发表的那一篇关于费马猜想的证明论文,足足有一百三十多页纸,相当之繁复。
同时也使用了代数几何等数学工具,也足以解释,为什么过去这么多年时间里,没有一位数学家能够证明费马猜想。
毕竟十七世纪的数学水平还是比较低的,当年的费马并不知道模形式、周氏理论等数学工具。
“肃静!”周志民说了一句,大礼堂瞬间安静下来。
没人再敢吭声,这可是好几千人的大礼堂呢,大家居然都这么听话?
不听话可不行,只要有人开口,那么周志民说什么,就没人能够听得到。
“请大家保持安静,不要影响他人,我们先假设费马猜想不成立:即正整数x,y,z和整数n>2,使得x^n+y^n=z^n.....”
费马猜想:当整数n>2时,关于x,y,z的方程x^n+y^n=z^n没有整数解。
十七世纪的费马,当年他是声称:发现了一种美妙的证明,但页边太窄写不下。
然而费马实际上他只明确给出了n=4的证明,使用无穷递降法,对于其他n,并无任何可靠证据表明他拥有完整证明。
所以后来的数学界普遍认为:费马可能误以为自己有证明,或仅对部分情形(如n=4)有思路。
尽管有研究学者尝试提出‘简洁证明’的思路,比如基于幂尾数周期律2或对称换元法,但这些均为比主流数学界接受为有效证明,且无法覆盖所有n>2的情形。
“假设该等式成立,则可构造一条椭圆曲线:y^2=x(x-x^n)(x+y^n),这条曲线具有异常‘病态’的性质,我们现在来通过我在论文里提出的一个定理,证明这条椭圆曲线不可能是模形式的,也就是不满足谷山-志村猜想......”
在场所有人,都听得津津有味。
虽然不是每个人都能够听得明白,但最起码他们都在认真听讲。
马程光他们根本不敢做笔记,虽然周志民讲得并不快,但每一个步骤都蕴含深意。
就说周志民在论文里提出来的定理,这本来就是费马猜想证明过程中的关键步骤,一般学者看到之后,只会懵圈。
肯定需要顶尖数学家帮忙解释,才能够听得明白。
该定理的核心内容,就是建立了周氏椭圆曲线跟谷山-志村猜想之间的严格联系。
而谷山志村猜想指出:每一条有理椭圆曲线都是模形式的。
周志民的关键突破在于证明了半稳定椭圆曲线情形下谷山-志村猜想,而这足以覆盖他提出来的‘周氏椭圆曲线’。
根据周志民提出来的假设:费马方程有解!
则可推断出存在周氏椭圆曲线,下一步则是推断出该曲线不是模形式。
但是周志民却在论文中证明了:所有半稳定椭圆曲线必须是模形式,且覆盖了‘周氏椭圆曲线’。
如此一来,必然是矛盾,故费马方程无解!
既然费马方程无解,那么费马猜想:当整数n>2时,关于x,y,z的方程x^n+y^n=z^n没有整数解,则成立!
这么一番精简,听起来十分简单,但是整个证明过程还是非常复杂的。
反正马程光他们听到后面,就开始一知半解起来。
即便如此,他们也没有放弃,依然认真听讲,毕竟这样的机会,实在太难得了。
随着时间的流逝,大家听得认真,周志民讲的也很深入,剖析的十分详细。
午饭时间到,暂停上午的报告,先解决个人的三急问题再说。
今天中午这顿饭,周志民还是躲不掉,兴嘉坡、香港、东京大学等地方来数学教授们围住了他。
陈省身、盖尔范德、威廉霍奇等人,则是将机会让了出来。
似乎他们已经商量好了。
但周志民心中却是直骂娘,还不能表现出来。
好家伙,午饭都不让人好好吃,真过分!
转眼来到下午两点,报告会继续。
“根据上述证明,由此可以得出结论,费马猜想成立,当整数n>2时,关于x,y,z的方程x^n+y^n=z^n没有整数解!”
“我的报告会到此结束,休息十分钟,之后就是提问时间!”
十分钟之后,周志民再次回到大礼堂,这一次,提问时间还是半小时,大家都迫不及待。
酝酿了许久的问题,很多人在今天的报告会上,已经知道了答案,但还是有相当一部分人有疑问。
但是很可惜,接连好几个问题,周志民都听出来了,这些人就是来学习的。
难怪这一次老外们来了这么多人,合着大部分都是硕博研究生啊?
不过没啥用,他们还想在基础数学层面作出更大的贡献,那就太困难了。
即便他们现在知道周志民正在推进群分类理论工程,那又如何?
没人规定他不能发表其他论文了吧?
反正他肯定会出其不意攻其不备。
下午五点多的时间,提问时间结束,两场报告会已经彻底结束,本次报告会的主要目的也已经达成。
从目前的情况来看,周志民证明了四色猜想和费马猜想,已经得到了全球数学界的承认。
因为报告会之后,都没人提出质疑,基本上是获得了承认。
来到现场的顶尖数学家有不少,而且莫斯科和普林斯顿这两数学中心都来了很多顶尖数学家。
相当于全球两大超级数学宗门,都安排顶尖长老过来了,他们都没有提出质疑,那么其他人就更别说了。
周志民的证明论文相当严谨,彻底通过。
接下来就是明天最后的交流会了,不过大家都挺期待他提出来的简便证明,到底是什么。
转眼第二天,周志民并没有出现在讲台上,而是坐在台下,听其他人进行报告。