从小黑屋里出来的时候陈灵婴好半天没有回过神来。
只要通过计算z(t)的符号,如果z(t)在某两点的符号相反,就说明黎曼ζ函数在这两点之间内存在零点。
而前面陈灵婴做的那么多的准备,那么多的计算过程,反复的推算演练,错误,错误,再错误,只要有一个成功,哪怕这次成功需要花费几天,几个月,几年,几十年,甚至是上百年......
都是值得的。
这就是数学的魅力。
后人踩在前人的肩膀上,学习前人的思想,解决前人提出的猜想,解决前人没有解决的猜想,也提出新的猜想留给更后来的人。
陈灵婴上面做得那么多,都是为这一计算做准备的。
发现在t=14.14附近可能存在零点,然后在14.1≤t≤14.2的区间上撒下一张小网。
如果陈灵婴的计算表明z(t)在这一区间的两端,即t=14.1与t=14.2具有不同的符号,那就证明了riemannζ函数在t=14.1与t=14.2之间存在零点。
第二天一早陈灵婴吃完早饭后就全身心地投入到了计算中。
这是计算量极大的一个过程,陈灵婴不习惯用程序,而是习惯于手算,虽然这样在有些人看来有点“蠢”,但是冗长繁琐的计算过程同样能够让陈灵婴对那些猜想了解得更深刻,也更能明白自己究竟要从哪里下手。八壹中文網
一个猜想的证明,没有一个步骤是多余的。
成功不可复制,失败却总是那么几个原因。
不够努力,不够努力还要假装很努力,以及不努力。
t=14.1,
(4/2π)½≈1.498027,
0(t)≈-1.742722。
所以主项2cos[0(t)]≈-0.342160,剩余项r(t)中p≈0.498027,从而其中第一项(co项)co(t/2π)"1/4≈0.312671。
由这两部分可得:
z(14.1)≈-0.342160+0.312671=-0.029489
同样的,对于t=14.2,
(t/2π)1/2≈1.503330,
θ(t)≈-1.702141。
可以得到主项2cos[0(t)]≈-0.261934,剩余项r(t)中p≈0.503330,其中第一项为co(t/2π)1/4≈0.312129。
由这两部分再得:
z(14.2)≈-0.261934+0.312129=0.050195
陈灵婴笔尖一顿,计算出来的结果和她预期中的一模一样。
z(14.1)与z(14.2)符号相反,这表明在t=14.1与t=14.2之间存在黎曼ζ函数的零点。
陈灵婴接着往下写。
七月份的天气很热,陈灵婴拉了窗帘开着空调和房间里的灯,怕坏了眼睛还开着桌面上的小台灯。
手机开了勿扰模式放在床上。
被子盖住了手机。
陈灵婴也就没有看到手机上的呼吸灯闪闪烁烁。
在另一个开着空调的地方,那群人的心情则是比陈灵婴要烦躁许多,
“电话接通了吗?”卢瑟福看向同伴问道。
“没有,还是没有人接电话。”波塞西拿下手机,再一次按了重播然后放在耳边等待那个电话号码主人的接听。
“难不成是你看错电话号码了?”
“卢瑟福,请不要质疑一个数学家对数字的敏锐程度,我是绝对不会记错电话号码的!”
波塞西显然很生气,这已经是他打的第九个电话了。
九个,足足九个电话!
没有人接!
如果是在平常,波塞西给同为数学家的朋友们拨打电话而他们没有接,波塞西不会有任何情绪波动。
因为数学家们很忙,这是一个常识,拒绝无用社交甚至不喜欢使用手机的数学家更是一抓一大把。
但是现在是什么时候?
2018年的七月,准确地来说,是距离菲尔兹颁奖还有一个月的时候。
这个时候,所有数学家们,即便他们知道自己应该没有这个资格获奖,但也会默默期待着一个电话的到来。
电话那头的人会告诉你,
“嘿,亲爱的,告诉你一个好消息,你获得了今年的菲尔兹奖!你过几天该去xxx那里领奖了!”
短短两句话,囊括了一个数学家前半生的最高荣誉追求。
而现在,卢瑟福发现他竟然打不通手里的这个电话号码!
在他没有记错电话号码的前提下,这个号码,竟然打不通!
卢瑟福遭遇了职业生涯中最大的滑铁卢。
难不成要他发一封邮件告诉电话号码的主人你获得了菲尔兹奖吗?
会被当成垃圾信息处理掉的吧!
“亲爱的,别那么生气,电话号码的主人是谁?我试试看能不能联系到他。”
“来自华夏的数学家lingying.chen,对,就是那个以一己之力拉低了菲尔兹奖得主平均年龄的华夏数学家,真是一个可怕的女孩!”
波塞西再次拨打了电话,这次已经是第十次了,很好,还是没有接电话。
卢瑟福在波塞西放下电话后也拨打了这个电话,甚至不放心地校对了一遍号码,还问了数学家朋友这个号码是否有错误。
号码没有错误,只是卢瑟福和波塞西两个人轮着拨打这个号码,从早上十点多到下午四点多,
一个也没有拨通。
波塞西已经开始怀疑人生了。
打这么多电话,lingying.chen的手机都应该没电了吧?
果不其然,在波塞西再次拨打这个号码的时候,电话里传来的声音有了变化,
从一连串的忙音后是对不起,您拨打的电话暂时无人接听......
变成了,没有忙音,对不起,您拨打的电话已关机......
很好,lingyingchen的手机真的关机了,这下真的找不到人了。
.