第89章 系统，用积分 (第2/2页)

孪生素数猜想也是基于此的，大家都是筛法嘛。

    也许是苏航自己的灵机一现，也许是系统的积分起到了效果。

    总之，那只鹿，来了。

    他想到了此前意大利数学家Bombieri与苏联数学家Vinogradov各自独立的工作结果。

    证明了，小于1/2的任意实数，都成立，在θ取1/2时成立，存在一个上限。

    这某种意义上相当于证明了广义的黎曼猜想的一个重要推论在平均意义下是成立的。

    陈景润老先生的1 2也是基于此得证的。

    但是在θ取1时，却又不成立。

    但是，对于一些特定值，却又是可以证明成立。

    比如，可以先证明某个大于1/2的水平θ成立，进而由此推出：存在一个正偶数h小于等于某一个定值，使得方程p1－p2＝h有无穷多组解，其中p1，p2都是素数。

    若h=2，那最终结果就整出来了。

    不过真的要缩小到h=2，只能说，任重而道远。

    但是此时的θ自然是越大越好，θ越大，h就越小呐。

    这样一来，就可以绕开θ可以取任何小于1的正实数这一假定。

    不必再去寻找一个θ的上限，虽然说，θ越大，平均水平越高，最后得到的无穷多对素数对之间的间距就越小。

    但是，苏航不在乎了。

    只要能找到一个就行了，不求最后结果是多大。

    再大也没关系，只要这个方法对就行了。

    方法对了，找数字不过是一个体力活罢了，交给后来人去做，或者后面不断改进方法，总归有一天是可以证明出来的。

    他感觉自己脑子的那种清晰感逐渐弱了下去。

    “药效”过了？

    这积分还不如肾宝呐。

    一瓶提神醒脑，两瓶永不疲劳，这积分不够顶呐。

    这次时间明显比上次要短，难道积分消耗速度还和自己的学习内容有关系吗？

    有可能，就跟开车一样，慢慢开和飙车能一样吗？

    飙车的话，恐怕撑不了多久就虚了吧。

    苏航赶紧抓紧时间把思路写下来，把最关键的部分记录在纸上，生怕过了就忘了。

    不过苏航明显是多虑了，记忆还是很清晰的，又是真的全靠开挂拿来的证明过程。

    不过很遗憾，最后的间距还是没能在趁着现在求出来。

    苏航已经没精力了。

    感觉大脑简直被掏空，身子也是。

    等到那股子清凉劲彻底散去，苏航瘫坐在椅子上。

    伤脑筋，伤脑筋。

    回忆起小时候电视上那个下棋下到吐血的棋手，原来用脑过度真的会要死啊。

    不过，苏航感觉自己还好，不至于要死要活的。

    只是有一个问题。

    饿。

    好饿。

    非常饿。

    肚子又咕噜咕噜地叫了。

    幸好是在寝室，不然在图书馆又得闹笑话了。

    苏航摸了摸肚子。

    拿起边上备着的小零食，苏航也不管是什么味的了，直接往嘴里塞。

    吃就完事了，还要啥自行车。

    苏航手上、嘴里的动作不停，脑子里却还在思考这最关键的一步。

    简单地吃了一包干脆面，苏航感觉好点了，于是继续前面未完成的工作。

    ……

    光影流转，知了还在吱吱地叫个不停。

    寝室里光线渐渐昏暗，苏航随手打开台灯，眼睛却依旧不离纸面，右手也在不停地写。

    一张纸，有一张纸，电脑上也有一行行的运算。

    终于的终于。

    结果出来了。

    Liminf（Pn 1-Pn）＜7×10^7

    这个数字有点大，但是起码证明出来了。

    苏航再次仔细审视了一遍，没有发现明显的逻辑错误。

    收工，去吃饭。

    苏航看了眼外面漆黑的夜空。

    额么么么，这还是去吃夜宵吧。

    或者，再来桶泡面？