第372章 彻底证明！（加更）（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

死寂。

他们退后了两步。

白板正中央，留著那道微小的空白，那是两套庞大理论体系最终咬合的锚点，也是那个决定一切的等號將要落下的地方。

无数个参数，无数个维度，无数个从不同方向推导出的隱含约束，此刻全部压缩在了这个不到两厘米宽的空白里。

十秒。

二十秒。

徐辰没有动，拉福格也没有动。

两人的目光都死死地盯著那道空白，大脑中正以极其高速的状態，在最后一次对所有对接条件进行著全局验算。

左边的局部非负性，传递至右边的精確计数……条件满足。

右边的绝对收敛性，传递至左边的欧拉乘积……条件满足。

两边在无穷远处的阿基米德分量，对称摺叠算子介入后的相位……完全相消。

无穷多个有限素数处的局部因子，通过限制张量积完成了拼接……无奇点，无发散。

……

然后。

拉福格的手重新举起了黑色的马克笔。

徐辰的手重新举起了蓝色的马克笔。

两支笔，在白板的正中央，以一种无声的力道，同时写下了那个等號。

黑色与蓝色，在等號的两端，完成了那次碰撞。

∫_{glgl}k_Φdx=∑_πnpπ_p＞0

即：r＞0。

……

两条从不同数学宇宙出发的宏大隧道，在这一刻，完美咬合。

没有一丝偏差。

没有一毫错位。

左边的严格大於零，通过那个等號，毫无阻碍地流入了右边。

这行公式，是整个证明的终极宣言。

它的左边，是跡公式的几何侧，精確地计数了偶数n被表示为两个素数之和的方法数r；它的右边，是跡公式的谱侧，是所有自守表示对测试核Φ_n贡献的总和。

由於Φ_n被构造成一个严格正定的算子，其谱侧的总贡献严格大於零。

所以，r也严格大於零。

这意味著，对於任意大於等於4的偶数n，將其表示为两个素数之和的方法数，永远不会是零！

至此，那座横亘在人类数学史上长达两个半世纪的极道天堑，被彻底跨越。

哥德巴赫猜想，成立！

……

公元1742年，普鲁士数学家克里斯蒂安哥德巴赫，在写给欧拉的一封信中，用潦草的笔跡隨手写下了一行猜测。

他不会想到，这个看似平平无奇的念头，竟会化作一道横亘在人类智慧面前长达两个半世纪的深渊，吸引著一代又一代最顶尖的大脑，前赴后继地投入其中。

欧拉，这位数学之神，面对这个猜想，也只能无奈地承认：“我无法证明它，但我坚信它是对的。”

高斯，这位被誉为“数学王子”的绝代天才，在自己的日记中也曾多次尝试，最终也只能望而却步。

哈代与李特尔伍德，用他们发明的“圆法”，第一次为这个问题带来了分析的曙光，却倒在了误差项的混沌反扑之下。

维诺格拉多夫，用他精妙的三角和估计，惊险地证明了“弱哥德巴赫猜想”，却始终无法触及那最后的“强猜想”王冠。

陈景润，用他那堪称“人力算力极限”的筛法，在十分简陋的条件下，硬生生地啃下了“1+2”这块硬骨头，將人类的认知推向了前所未有的高度，却也止步於此。

从解析数论到代数几何，从筛法到圆法，从计算机的暴力穷举到朗兰兹纲领的宏大构想……

几代人，几百年。

无数的数学家，用他们的智慧、青春甚至生命，为这座通天塔添砖加瓦，却始终无法看到它的顶端。

而今天。

在这间位於巴黎南郊的安静的办公室里。

这条跨越了284年的漫长远征，终於抵达了终点。

……

两人都没有动。

也没有说话。

窗外，雨已经停了。一缕微弱的秋日阳光，在厚重的云层中找到了一道裂缝，斜斜地落在白板上，落在那行黑色与蓝色共同拼成的最终等式上。

拉福格缓缓地放下了笔。

他取下老花镜，像往常擦拭它那样，用那块绒布轻轻地、仔细地擦拭著镜片。

那个动作十分普通且日常，仿佛刚刚发生的一切，不过是一个寻常的下午。

过了很久，他才抬起头，转向身旁的徐辰。

他的眼眶微微泛红，但眼神格外平静。

那是一种只有当一个人在某件事上耗尽了一生，然后终於在最后的时刻看到了它完成的瞬间，才会有的平静。

他开口了。

声音很轻。

像是在说给徐辰听，又像是在说给那些写满了这间办公室书架的、那些已经泛黄的文献听，更像是在说给1742年的那封信听。

“徐辰，我们……做到了。”

……