第二百八十六章
∑(m1^2+m2^2+m3^2≤x)1=4π/3*x^1.5+O(x^2/3)!
这个公式不是别的,正是球内整点问题的素数分布公式。
不少认出这个公式的数学家,张大了嘴巴,整个人陷入极大的震撼当中。
“球……球内整点问题公式!”一位数学家狠狠咽了口唾沫,眼眸中是浓浓的震撼之色。
“没错,就是球内整点问题的素数分布公式。可是……球内整点问题公式可以应用在等差素数猜想的研究中吗?”另一位数学家喃喃自语。
“不清楚,”旁边那位数学家摇摇头,抬头望着报告台上一脸自信风采的顾律,“不过,看顾律这么自信的样子,他应该是把握十足的吧。”
这位数学家说的不错,关于等擦素数猜想,顾律确实是有着十足的把握。
否则,他现在也不会站在台上。
康斯坦丁这边,在见到顾律祭出‘等差素数猜想’这柄大杀器后,整个人像是被瞬间抽空了一般,瘫坐在椅子上。
康斯坦丁要比任何人看的更加透彻。
在顾律列出球内整点问题公式后,康斯坦丁就瞬间明白顾律后续的推导步骤会是什么。
而扎实的知识和对于等差素数猜想的理解,让康斯坦丁清楚,顾律选择是一条正确的道路。
这意味着,他没机会了。
康斯坦丁本想着在国际数学家大会结束后,用三个月到半年左右的时间,完成等差素数猜想另一半的证明。
但打死康斯坦丁都不会料到,顾律会以这种方式,将其半路截胡。
这倒好,康斯坦丁根本不需要等到国际数学家大会结束了。
因为再大会召开期间,等差素数猜想的另一半就被证明了。
郁闷、气愤、后悔……
各种不一的情绪充斥在康斯坦丁的脑海里。
…………
报告台上。
顾律刚才用十分钟的时间差不多阐述完三分之一的证明过程。
顾律拿起桌边的矿泉水,拧开喝了一口,润了润嗓子,接着继续汇报。
三个引理,再加上球内整点问题的素数分布公式。
顾律利用这四个公式,再结合前面推导出的两个定理,进行下一步的推导证明。
一行行公式浮现在黑板上。
顾律头脑清晰,理智的按照记忆进行一步步逻辑缜密的公式推导。
数学是极为考验一个人逻辑推导力的学科。
而其中以数论尤甚。
和其他数学分支不同,数论没有太多花里胡哨的东西。
数论的本质是对于整数性质的研究,或者说更准确一点,是对于素数性质的研究。
许多人可以察觉到,在所有数学分支中,数论领域中知识理解起来是最简单的。
比如说哥德巴赫猜想,等差素数猜想,孪生素数猜想这些,只要是个普通的高中生就可以轻松理解。
而像几何领域的庞加莱猜想、BAB猜想、霍奇猜想这些,别说是高中生了,连一些博士生都未必可以理解其内容。
但同样,数论理解起来简单,但若想要应用,那足以用千难万难来形容。
因为其涉及很强的逻辑推导。
并且需要极为的严谨,因为一步错,便步步错。
只要一个微小的过程出错,比如说算错一个公式,少些一个字母,这些都是相当致命的。
索性,顾律一直在有意的提高自己的逻辑推导能力。
如今,在系统面板的显示中,顾律的推理力早已迈进400的大关,来到415这个数值。
四级的推理力,让顾律在面对等差素数猜想这样的世界级猜想时,用两天多的时间,几乎没犯任何错误的情况下推导完成。
要等差素数猜想是一个几何学猜想,顾律未必可以在短短不到三天的时间内将其证明。
因为几何学猜想考验一定的空间力,而顾律空间力的属性并不算多么高。
但数论学不同,数论学猜想纯粹的考验推理力。
再加上顾律处于一种灵感爆棚的状态。
两者的加持下,才让顾律在不到三天时间内堪堪完成这个壮举。
顾律的阐述还在继续。
现在顾律大概已经讲完一半的证明过程。
而整场报告也迎来最精彩的地方。
台下的众位数学家们聚精会神的听着,偶尔低头将关键的信息在笔记本上记录下来。
这次由于时间充裕,顾律没有刻意赶进度,而是把整个证明过程讲解的很细致。
虽然还有不少数学家的思维跟不上顾律的讲述速度。
但解析数论领域的那一批将近百位的顶尖数学家,还是可以勉强跟得上的。
不会出现像昨天那样顾律讲完后众人齐齐懵逼的情况。
…………
时间在一点点流逝。
本就属于这个会场的解析数论数学家们,聚精会神的认真听着,有的人还一边听一边频频点头。
而过来凑热闹的其余方向的数学家,也在硬着头皮尝试去理解。
毕竟,等差素数猜想要真的在顾律手下被证明,那无论对数论界,还是整个数学界来说,都是个十足的大事。
注定被记载进史册的那种!
而作为这种大事件的见证者,他们当然要好好的珍惜。
或许在将来,这会成为他们吹嘘的资本也说不定。
一个世界级别的猜想,就要在他们眼前被证明。
只是想一想,不少数学家就浑身激动起来。
值得一提的一点是,在顾律的报告开始后,不少数学家将这条消息传播出去。
因此,在顾律进行报告的过程中,不断有数学家涌入这间会议室。
也就使得,现在这间可以容纳五百多人的会议室,里面足足有着将近八百位数学家。
不仅座位被坐满,连过道里,亦是被占满。
将近八百双目光齐刷刷的盯着顾律。
不过顾律并没有丝毫的紧张感。
“……利用φ(y)=1/2πi∫(2+i∞,2-i∞)ydw/w(1+w/(logx)^l)^[logx]+1,可以得到一个等差数列,接下来……”
时间来到第二十五分钟,而顾律这边,也进行到证明的最后阶段。
只见顾律深呼一口气,在黑板上写下最后一行公式。
“……由此可得,存在K,使K等于任意整数值时,都有由K个素数组成的等差数列存在。”
“即,存在任意长度的素数等差数列”
“等差素数猜想成立!”
证毕!