“精细结构常数通常被认为约等于1/137.0，但它究竟是怎么来的，到底是不是一个常数，困扰着无数物理学家，就像黎曼猜想困扰着数学家一样。”

PPT翻了一面，陈灵婴坐在轮椅上，一只手拿着红外遥控器，另一只手随意地搭在轮椅上，墨蓝色的旗袍穿在身上，窗外的阳光斜斜照进来，使得衣服上的用金线绣出的图案呈现出金鳞之感。

“如果将这一点与ψ(x)表达式联系在一起，我们就可以得到素数定理成立的条件：

limx ∞Ep(xR-/p)\u003d0。”

陈灵婴笑了一声，她垂着眼睛，目光里带着一点漫不经心的轻视，不是对数学，而是对着某些看着她的人。

“由于黎曼ζ函数的非平凡零点是以ρ与1-p成对的方式出现，因此这一信息也等价于0＜Re(p)＜1。”

陈灵婴得出的结论。

所有摄像头都对准了台上的陈灵婴和她身后的屏幕，上面是一行接一行的数字公式，密密麻麻，叫人一个字也看不懂。

【有没有人解释一下啊，看不懂......】

【怎么说呢，看得懂的应该都在现场吧？】

【前面说错了，在现场的也不一定能看懂。】

【好有道理的话......】

陈灵婴得出了自己的结论，也将这个结论和世界共享。

她是幸运的数学家。

只不过她得出的不单单只有一个结论，而是两个。

两个不同的方法，去证明黎曼猜想。

“如果我们再接着往下推论，在所有这些使2cos[ 0(t)]为零的θ(t)中，θ\u003d-π/2 (即m\u003d-1)是使t在0＜t＜25中取值最小的，它所对应的t为t≈14.5。”

这是陈灵婴关于零点的第一个估计值。纯以数值而论， 它还算不错，相对误差约为百分之三。

后面就是修正过程，这一过程陈灵婴讲述得很认真，从一开始的推论到每一步都计算过程陈灵婴都讲的很仔细。

毕竟她没有直接发论文，而是现场讲述自己的证明方法，很容易就会让人听不懂。

陈灵婴采用了线性近似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 上必须没有非平凡零点。”