邱成文问道,“接下来的证明还多吗?”张硕估计了个时间,“应该能赶在六点之前讲完,快一些的话,四十分钟就足够了。”
“只有这么多了?”
“剩下的并不多,但是理解上要困难一些。”张硕说道。
朱浩笑道,“我刚才就说,你做报告就和讲课一样,你还真当讲课了啊?这么有信心吗?”
张硕肯定道,“应该是已经证明了。”
“我们也希望伱能成功。”
沈源道,“如果你完成了证明,这会是国内数学会迄今为止发布的最大研究成果!”
休息时间结束。
张硕重新走上了讲台,开口道,“接下来是我的研究,使用平方数的素数检验法来证明杰波夫猜想。”
他操作着电脑把证明过程投影到荧幕上。
那只有证明步骤,是论文上的内容,每一个步骤还需要详细的讲解。
张硕的研究内容并不多,全部放在纸上大概三页就足够了。
但是,难度更高,要理解并不容易。
最开始就是方程解集的映射投影,牵扯到微分方程的研究方法,还牵扯一部分函数论的内容,解集的映射投影衔接转换的步骤,调转来对平方数后面的素数进行检验论证。
这一部分,大概用时十分钟。
其中每一个步骤都非常的巧妙,尤其是衔接转换的部分,就好像是把火车头掉转个方向,好多人下意识觉得会拐一个大弯儿,但却发现是尾部变成了车头,头部变成了车尾,顿时感觉非常的精巧。
这个部分的论证以后,研究已经完成了百分之九十。
剩下的就是首尾衔接。
在孙兴利研究部分的提问环节,有个中年学者问到了关键问题。
张硕也谈到了这个问题,“平方数的检验,就只是一个判定,前面是判定,后面还是判定,并不牵扯素数的间隔或者范围。”
“这个问题问的很好。”
“下个部分,就是要做首尾衔接,进行从零到一的证明……”
平方数检验,针对前面还是后面只是一个判定,并不是确定多大范围内存在素数。
前面和后面进行衔接,也就是把n的前面,和(n+1)的后面论证部分连在一起,再证明其至少存在一个素数,实现了从零到一的证明。
这一部分的论证难度很高。
张硕不急不慢的讲着每一个变换、每一个逻辑论证,尽量让更多的人听明白,但到这一部分想理解就很难了,专业的学者能理解一部分,顶尖的学者才能理解的更通透一些。
前提,是必须有一个非常灵活的大脑。
这些内容已经超出了数论领域的限制,变成了多方向内容融合的思维逻辑论证。
主核心是以方程、函数的方法为主,数论方法为辅。
评审席上的专家学者都感觉有点跟不上,只有极少数人能够听明白,前提是有足够的知识广度,头脑也必须要非常清晰。
这时候,评审席的人都听得很认真,生怕一个恍惚就听不懂、跟不上了。
后排的人,也都屏住了呼吸。
绝大部分人都听不明白,但他们知道论证到了关键时刻,完成这一部分论证,也就是完成了杰波夫猜想的证明。
否则,前功尽弃。
张硕的语调依旧不急不慢,就和刚才的讲解没什么区别,他的神态都非常平静,真像是老师讲课一样。
当讲完一个变化以后,还问一句,“明白了吗?”
然后,继续讲解。
方程列式、推导、解集证明等部分都已经完成,最后就都是逻辑论证了。
“趋近a的部分,等价a+a,若是a到a不存在素数,根据2可知,a+a+1……”
“趋近(a+1)的部分,等价(a+1)-(a+1),若是(a+1)-(a+1)到(a+1)不存在素数,根据3可知,(a+1)-(a+1)-1……”
“很明显,a到(a+1)之间,分成了两部分,如果两个部分都不存在素数,那么根据以上结论,结合1、4、5,可知最中间的数字必定是素数。”
张硕一口气说完放下了笔,回身走到中间。
报告厅一片安静。
前排评审,再包括听了全部内容的学者们,都认真听着白板以及投影屏上的证明内容。
其他人则都盯着前排评审席。
他们都没有听明白,也不知道证明是否完成,只能去看前排评审席专家们的反应。
时间,过了有半分钟。
邱成文有了动作,他的眼睛依旧停在白板上,两只手慢慢的撑起来,然后把掌心合在一起,“啪~~”
很轻的一声响。
啪、啪、啪……
一下、两下、三下……
朱浩也撑起了胳膊,紧跟着拍起了手,他的动作仿佛具有扩散效应,先是评审席,之后是座位附近的学者,然后快速扩散到整个报告厅。
“呼啦啦~~~”
所有人都鼓起了掌。
掌声越来越大,越来越高,传到了报告厅门口,让附近的小园都能听的清清楚楚。
每个人都在鼓掌,每个人都在惊叹着。
掌声,伴随着一个个喊声传递出去,“邱院士肯定了,评审已经确定证明很完善!”
“没问题了,报告完成,杰波夫猜想被证明了!”
“杰波夫猜想获证,素数分布研究的一大进展,就在四号厅!”
“去看看,杰波夫猜想获证!”
(本章完)