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