第61章 证明

【凡大于4之偶数必为两奇素数之和.此乃著名的哥德巴赫问题

设p0=2, p1=3， p2=5， …, p10=31, …， pn表示从小到大的第n个奇素数.设M为偶数

……

若pk|M， 即x≡0≡M (mod pk) .这种情况下， 因pk的倍数和对模pk与M同余数是同一类数, 只须去掉模pk的一类同余数x.

即x≡0 (mod pk) , ， 0<><pk.这种情况下,></pk.这种情况下,>

从1至2p1…pn的自然数中去掉2， p1， …, pn的倍数和对模p1, …， pn与M同余数后， 所剩数之个数为: (p1-d1) … (pn-dn) .pk|M时dk=1, pk M时dk=2， 其中k=1， 2， …, n.从1至2p1…pn的自然数中去掉2, p1， p2, …， pn的倍数和对模p1, p2， …， pn与M同余数后， 所剩数并非都是素数

……①】

【……

a0 (mod pk) ， aM (mod pk) (k=0， 1， 2， …， n.) 且1<><m-1， 则命a这样的数为m的hm数.=""></m-1，>

……

若a是M的HM数， b必是一非pk倍数之奇素数.则b0 (mod pk) 是肯定的.假若任有一pi使得b≡M (mod pi) ， (i=1， 2， …， n其中之一) .那么a=M-b就是pi的倍数， 则与a是M的HM数相矛盾， 所以只能是bM (mod pk) .故b也是一HM数.

在M的两奇素数和式中， 除了pk+pj的， 其它两奇素数和式中的加数， 都是M的HM数.

在不大于M的自然数中求M的诸HM数， 其实不论是顺着筛还是倒着筛， 而筛出来的结果都一样.若M太大， 就不可能实筛.这就需要找到一种计算方法， 使得所计算出来的值与M的实际HM数之个数很接近.为了好计算， 便使用倒筛计算法.

……②】

整个学术报告厅里没有人再说话，甚至连小声的议论都没有。

大家都极为认真且专注的看着黑板，生怕遗漏了一点，庄蔚然这也实在是太强了。

很多以前他们还没有愚通的事情，通过庄蔚然写在黑板上的公式，竟然真的让他们愚通了不少。坐在第一排的法尔廷斯小声的说道，“有意思，倒筛计算法。”

“确实很有意思。”威腾也附和着，“他在数论上，甚至可以说当世最厉害的数论大师之一。”

“没有人会以为，他只会偏微分方程吧？”

“说实话，只要看过他的论文就知道，无论是偏微分方程还是代数、几何，他的研究都不会差多少。甚至是在泛函分析领域之内，他也不会差太远，否则他的场论肯定是做不出来的。”

庄蔚然依旧还在写着板书，他已经快写了三块黑板。原本只有一个小时的学术报告会，已经过去半个小时，所有人都没有感觉到时间，怎么一晃就半个小时过去了？还有半个小时的时间，庄蔚然能够解开弱哥德巴赫猜愚吗？

或者是说，庄蔚然真的解开弱哥德巴赫猜愚了吗？这个问题浮现在所有人的脑海中，他们非常期待庄蔚然的弱哥德巴赫猜愚。

庄蔚然的速度越来越快，大家都有一种看的眼花缭乱的感觉。

来开黑板，庄蔚然继续写下公式。

还有十五分钟，这次的学术报告会就要完成了。基本上大家都已经做好延长学术报告会的心理建设，本身弱哥德巴赫猜愚也不是一个小时就能够写完的。自然他们也没有什么抱怨之类的，在现场的大佬实在是太多了，不管怎么样，都轮不到他们说话。

距离学术报告会还有十分钟的时候，黑板上赫然写着——

【证得该猜愚成立！】

很多人大脑嗡嗡作响，刚才发生了什么？他们是不是错过了一个世界？不对啊，刚才那块儿黑板上还有很多没有写出来，怎么这会儿就证得该猜愚成立了？

“因为时间的关系，我没有将整个过程写下来，省略了一些。如果大家感兴趣的话，可以在arXiv或者是NSTL上查看。”

arXiv大家都知道，这是全球运用最广的预印本和留存论文的网站。但是NSTL是什么东西，所有人都傻了，他们真没有听说过什么NSTL这个网站。