第二天陈灵婴照例醒的很早，不过在开始研究黎曼猜想之前她先发现了没电的手机。

陈灵婴很少用手机，基本上就是用来打打电话，而且办公室里还有专用的座机电话。或者拿来看下时间，但是陈灵婴也有手表，办公室和书桌上方的墙壁上也都有钟表。

按道理来说，手机不应该没电的这么快。

陈灵婴没多想，给手机充上了电就又坐在了书桌前，于是再一次完美错过卢瑟福和波塞西的电话。

“对不起，您拨打的电话暂时无人接听”

波塞西放下手机，脸上是一副生无可恋的表情，

“卢瑟福，我们该怎么办，她还是没有接电话。”

“好往好点儿的地方想，嗯，我是说，”卢瑟福也放下手机，耸了耸肩膀，

“至少手机有电了？起码说明lgygchen还没有把她的手机忘记了。”

“你说的有点道理。”波塞西点点头，接着开始拨打电话，不过这一次就再打了三个，他怕他再打下去陈灵婴的手机又没电了，那他去哪里说去！x33

另一边公寓内的陈灵婴左手撑着下巴，右手上的黑色水性笔挽了一个花，她的思路并没有出错，但是实际验证过程中的计算量太大，陈灵婴不可能一个一个都算出来，也算不出来。

她是肉体凡胎，不是计算机。

但是如果不计算零点的数值，又要如何判断零点是否在临界线上?

研究z(t)的符号改变，是不是可行的?

陈灵婴不知道，但是她愿意试一试。

假设在区间0＜t＜t内z(t)的符号改变n次，则黎曼ζ函数在临界线上该区间内至少有n个零点。

虽然，现在还没有办法确定是否所有零点都在临界线上，但是可以肯定的是，这些零点全部位于临界线--0＜re(p)＜1内。

将问题转化成了计算临界线内位于区间0＜i(p)＜t的零点总数，也就是对dξ(s)/2πiξ(s)沿矩形区域{0＜re(p)＜1，0＜1(p)＜t}作边界路径积分。

所以接下来陈灵婴要证明的就是：

1在临界线内位于区间0＜1(p)＜t的零点总数为n。

2在临界线上位于区间0＜t＜t的零点至少有n个。

确定好接下来的思路陈灵婴就开始动笔，期间吃了午饭，也吃了晚饭，去了一趟小黑屋，

今天是证明黎曼猜