第372章 彻底证明！（加更）（2 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
死寂。
他们退后了两步。
白板正中央，留著那道微小的空白，那是两套庞大理论体系最终咬合的锚点，也是那个决定一切的等號將要落下的地方。
无数个参数，无数个维度，无数个从不同方向推导出的隱含约束，此刻全部压缩在了这个不到两厘米宽的空白里。
十秒。
二十秒。
徐辰没有动，拉福格也没有动。
两人的目光都死死地盯著那道空白，大脑中正以极其高速的状態，在最后一次对所有对接条件进行著全局验算。
左边的局部非负性，传递至右边的精確计数……条件满足。
右边的绝对收敛性，传递至左边的欧拉乘积……条件满足。
两边在无穷远处的阿基米德分量，对称摺叠算子介入后的相位……完全相消。
无穷多个有限素数处的局部因子，通过限制张量积完成了拼接……无奇点，无发散。
……
然后。
拉福格的手重新举起了黑色的马克笔。
徐辰的手重新举起了蓝色的马克笔。
两支笔，在白板的正中央，以一种无声的力道，同时写下了那个等號。
黑色与蓝色，在等號的两端，完成了那次碰撞。
∫_{glgl}k_Φdx=∑_πnpπ_p＞0
即：r＞0。
……
两条从不同数学宇宙出发的宏大隧道，在这一刻，完美咬合。
没有一丝偏差。
没有一毫错位。
左边的严格大於零，通过那个等號，毫无阻碍地流入了右边。
这行公式，是整个证明的终极宣言。
它的左边，是跡公式的几何侧，精確地计数了偶数n被表示为两个素数之和的方法数r；它的右边，是跡公式的谱侧，是所有自守表示对测试核Φ_n贡献的总和。
由於Φ_n被构造成一个严格正定的算子，其谱侧的总贡献严格大於零。
所以，r也严格大於零。
这意味著，对於任意大於等於4的偶数n，將其表示为两个素数之和的方法数，永远不会是零！
至此，那座横亘在人类数学史上长达两个半世纪的极道天堑，被彻底跨越。
哥德巴赫猜想，成立！
……
公元1742年，普鲁士数学家克里斯蒂安哥德巴赫，在写给欧拉的一封信中，用潦草的笔跡隨手写下了一行猜测。
他不会想到，这个看似平平无奇的念头，竟会化作一道横亘在人类智慧面前长达两个半世纪的深渊，吸引著一代又一代最顶尖的大脑，前赴后继地投入其中。
欧拉，这位数学之神，面对这个猜想，也只能无奈地承认：“我无法证明它，但我坚信它是对的。”
高斯，这位被誉为“数学王子”的绝代天才，在自己的日记中也曾多次尝试，最终也只能望而却步。
哈代与李特尔伍德，用他们发明的“圆法”，第一次为这个问题带来了分析的曙光，却倒在了误差项的混沌反扑之下。
维诺格拉多夫，用他精妙的三角和估计，惊险地证明了“弱哥德巴赫猜想”，却始终无法触及那最后的“强猜想”王冠。
陈景润，用他那堪称“人力算力极限”的筛法，在十分简陋的条件下，硬生生地啃下了“1+2”这块硬骨头，將人类的认知推向了前所未有的高度，却也止步於此。
从解析数论到代数几何，从筛法到圆法，从计算机的暴力穷举到朗兰兹纲领的宏大构想……
几代人，几百年。
无数的数学家，用他们的智慧、青春甚至生命，为这座通天塔添砖加瓦，却始终无法看到它的顶端。
而今天。
在这间位於巴黎南郊的安静的办公室里。
这条跨越了284年的漫长远征，终於抵达了终点。
……
两人都没有动。
也没有说话。
窗外，雨已经停了。一缕微弱的秋日阳光，在厚重的云层中找到了一道裂缝，斜斜地落在白板上，落在那行黑色与蓝色共同拼成的最终等式上。
拉福格缓缓地放下了笔。
他取下老花镜，像往常擦拭它那样，用那块绒布轻轻地、仔细地擦拭著镜片。
那个动作十分普通且日常，仿佛刚刚发生的一切，不过是一个寻常的下午。
过了很久，他才抬起头，转向身旁的徐辰。
他的眼眶微微泛红，但眼神格外平静。
那是一种只有当一个人在某件事上耗尽了一生，然后终於在最后的时刻看到了它完成的瞬间，才会有的平静。
他开口了。
声音很轻。
像是在说给徐辰听，又像是在说给那些写满了这间办公室书架的、那些已经泛黄的文献听，更像是在说给1742年的那封信听。
“徐辰，我们……做到了。”
……
↑返回顶部↑