第 三步走战略
宋瑶出差的第六天。
中午，许青舟冲了个热水澡，那种高强度计算过后的脑袋昏胀感才终于消减下去，他简单收拾好，就去上这学期的最后一节课。
经过这些天的努力，有可喜的进展。为了研究黎曼猜想，他打算分三个步骤解决，或者说提出了三个命题。
命题1，在0＜im（s）＜t的区域内，ξ（s）的零点数目约为（t/2π）ln（t/2π）-（t/2π）。
命题2，在0＜im（s）＜t的区域内，ξ（s）的位于re（s）=1/2的直线上的零点数目同样约为（t/2π）ln（t/2π）-（t/2π）。
命题3，所有非平凡零点都全部位于实部等于1/2的直线。
这三个命题就像逐渐上升的山峰，很明显，这最后一座山，就是黎曼猜想。
目前，许青舟已经搞定，用自己的ξ（z）搞定了第一个命题，证明非平凡零点在实部大于0但是小于1的带状区域上。
走出公寓，许青舟忍不住深吸了口气，新鲜空气入肺，脑袋又清醒了几分。
“虽说道阻且长，但胜在稳中有进.”
他想到个故事。
一次，著名数学家哈代需要回国，但到码头发现只有一艘小船，可从丹麦到英国横跨几百海里，一不小心就会葬身鱼腹。
在大家都祈祷上帝保佑时候，哈代给好友发了张明信片，上面就写着：我证明了黎曼猜想。
哈代真证明了黎曼猜想？
当然没有。
