第372章彻底证明!(加更)
第372章彻底证明!(加更)(第3/4页)
号:
∑_πm(π)npπ_p(Φ{n,p})
徐辰将底层几何映射右翼的最后一行蓝色符号写完:
∫_{gl(2,?)gl(2,a)}k_Φ(x,x)dx
两人,同时停笔。
……
死寂。
他们退后了两步。
白板正中央,留着那道微小的空白,那是两套庞大理论体系最终咬合的锚点,也是那个决定一切的等号将要落下的地方。
无数个参数,无数个维度,无数个从不同方向推导出的隐含约束,此刻全部压缩在了这个不到两厘米宽的空白里。
十秒。
二十秒。
徐辰没有动,拉福格也没有动。
两人的目光都死死地盯着那道空白,大脑中正以极其高速的状态,在最后一次对所有对接条件进行着全局验算。
左边的局部非负性,传递至右边的精确计数……条件满足。
右边的绝对收敛性,传递至左边的欧拉乘积……条件满足。
两边在无穷远处的阿基米德分量,对称摺叠算子介入后的相位……完全相消。
无穷多个有限素数处的局部因子,通过限制张量积完成了拼接……无奇点,无发散。
……
然后。
拉福格的手重新举起了黑色的马克笔。
徐辰的手重新举起了蓝色的马克笔。
两支笔,在白板的正中央,以一种无声的力道,同时写下了那个等号。
黑色与蓝色,在等号的两端,完成了那次碰撞。
∫_{gl(2,?)gl(2,a)}k_Φ(x,x)dx=∑_πm(π)npπ_p(Φ{n,p})>0
即:r(n)>0。
……
两条从不同数学宇宙出发的宏大隧道,在这一刻,完美咬合。
没有一丝偏差。
没有一毫错位。
左边的严格大于零,通过那个等号,毫无阻碍地流入了右边。
这行公式,是整个证明的终极宣言。
它的左边,是迹公式的几何侧,精确地计数了偶数n被表示为两个素数之和的方法数r(n);它的右边,是迹公式的谱侧,是所有自守表示对测试核Φ_n贡献的总和。
由于Φ_n被构造成一个严格正定的算子,其谱侧的总贡献严格大于零。
所以,r(n)也严格大于零。
这意味着,对于任意大于等于4的偶数n,将其表示为两个素数之和的方法数,永远不会是零!
至此,那座横亘在人类数学史上长达两个半世纪的极道天堑,被彻底跨越。
哥德巴赫猜想,成立!
……
公元1742年,普鲁士数学家克里斯蒂安·哥德巴赫,在写给欧拉的一封信中,用潦草的笔迹随手写下了一行猜测。
他不会想到,这个看似平平无奇的念头,竟会化作一道横亘在人类智慧面前长
(本章未完,请点击下一页继续阅读)