这是陈灵婴关于零点的第一个估计值。纯以数值而论, 它还算不错,相对误差约为百分之三。
后面就是修正过程,这一过程陈灵婴讲述得很认真,从一开始的推论到每一步都计算过程陈灵婴都讲的很仔细。
毕竟她没有直接发论文,而是现场讲述自己的证明方法,很容易就会让人听不懂。
陈灵婴采用了线性近似Ot≈0 F(t)/F\u0027(t)来计算这一修正值。
t+ Ot≈14.5-0.3/0.83≈14.14
屏幕上出现这样一个式子,
这个数值与零点的实际值之间的相对误差仅仅只有万分之四。
但是再小的数值也代表着数值的存在,以前有不少数学家证明到了这里,但只能提供一个围捕零点的范围,而不能直接证明零点的存在。
“但是要让xP-1 趋于零,Re(p) 必须小于1,也就是说,黎曼ζ函数在直线Re(s)\u003d1 上必须没有非平凡零点。”
台下的一众数学家们听得很认真,他们在来之前都做了足够多的功课,虽然陈灵婴并没有像证明哥德巴赫猜想那样将论文先写出来公开在arXiv网站上,但是关于黎曼猜想的一些基础知识还是很容易看懂的。
“黎曼ζ函数的所有非平凡零点都位于复平面上0<Re(s)<1的区域内。”
陈灵婴的手控制着大屏幕上出现一连串新的式子,上面是一段话,
一段所有研究过黎曼猜想的人都再熟悉不过了,许多数学家都曾千次万次去研读这句话,只求能从其中得到一点关于黎曼的思想的话。
“......也就是说,如果能证明出了对应本征值的零点外没有其他非平凡零点了,那也就相当于证明了黎曼猜想了。”
陈灵婴脸上的笑意深了几分,
“我是幸运的,恰好利用一点小手段证明除了对应本征值的零点外没有其他非平凡零点。”
底下一片哗然,虽然知道陈灵婴大概率是真的证明了黎曼猜想,可是听她真真切切地把这句话说出来又是一种完全不同的感受。