第235章 证明哥猜!-《学霸的黑科技系统》
第(1/3)页
窗外的天蒙蒙亮。
趴在书桌上的陆舟,缓缓睁开了双眼。
揉了揉有些酸涩的眉心,他看向了放在桌角的日历。
都五月份了啊……
陆舟有些头疼地晃了晃脑袋。
从他2月份来普林斯顿到现在,几乎一大半的时间都呆在这间十平米的房子里,除了开车去超市买菜之外,他基本上都没有出过门。
最让他心疼的是那张5000美元的俱乐部卡,他甚至都没用过几次。
从领取那个任务之后,这将近半年的时间里,他一直在挑战哥德巴赫猜想。
如今,这一切总算是有个结果了。
深呼吸了一口气,陆舟从椅子上站了起来。
走到了最后一步的他,反而不那么着急了。
哼着小曲走进厨房,给自己弄了点吃的,陆舟甚至从冰箱里拿出了一支香槟,打开瓶盖给自己倒上。
香槟是两个月前就买好的,为的就是这一刻。
安静地享用完这顿晚餐,陆舟从容不迫地去厨房洗了个手,然后回到了书桌前,开始为自己这一段时间的工作做个收尾。
越过了将近五十页的论文纸,他在昨天未写完便沉沉睡去的地方,提笔继续写道。
【……显见,我们有Px(1,1)≥P(x,x^{1/16})-(1/2)∑Px(x,p,x)-Q/2-x^(log4)……(30)】
【……由式(30)、引理8、引理9、引理10,可证明定理1成立。】
所谓的定理1,便是他在论文中,定义的哥德巴赫猜想的数学表述。
即,给定一个充分大的偶数N,存在素数P1和P2,满足N=P1+P2。
与之类似的便是陈氏定理N=P1+P2·P3,以及一系列关于P(a,b)的定理。
当然了,虽然现在在他的论文中,这条公式被称为定理1,但也许要不了多久,等数学界普遍接受了他的证明过程,这条定理兴许便会升级为“陆式定理”之类的东西。
不过,这种重大的数学猜想审稿周期一般会比较长。
佩雷尔曼证明庞加莱猜想的论文用了三年才被数学界认可,望月新一关于ABC猜想的证明因为掺杂了大量的“神秘术语”,审稿门槛至少也得先读懂他的“宇宙纪理论”才算是入门,所以直到现在也没有人看完,预计未来也很困难。
第(1/3)页