即x≡0(modpk),,0
从1至2p1…pn的自然数中去掉2,p1,…,pn的倍数和对模p1,…,pn与M同余数后,所剩数之个数为:(p1-d1)…(pn-dn)。pk|M时dk=1,pkM时dk=2,其中k=1,2,…,n。从1至2p1…pn的自然数中去掉2,p1,p2,…,pn的倍数和对模p1,p2,…,pn与M同余数后,所剩数并非都是素数
……①】
【……
a0(modpk),aM(modpk)(k=0,1,2,…,n。)且1
……
若a是M的HM数,b必是一非pk倍数之奇素数。则b0(modpk)是肯定的。假若任有一pi使得b≡M(modpi),(i=1,2,…,n其中之一)。那么a=M-b就是pi的倍数,则与a是M的HM数相矛盾,所以只能是bM(modpk)。故b也是一HM数。
在M的两奇素数和式中,除了pk+pj的,其它两奇素数和式中的加数,都是M的HM数。
在不大于M的自然数中求M的诸HM数,其实不论是顺着筛还是倒着筛,而筛出来的结果都一样。若M太大,就不可能实筛。这就需要找到一种计算方法,使得所计算出来的值与M的实际HM数之个数很接近。为了好计算,便使用倒筛计算法。
……②】
整个学术报告厅里没有人再说话,甚至连小声的议论都没有。
大家都极为认真且专注的看着黑板,生怕遗漏了一点,庄蔚然这也实在是太强了。
很多以前他们还没有愚通的事情,通过庄蔚然写在黑板上的公式,竟然真的让他们愚通了不少。坐在第一排的法尔廷斯小声的说道,“有意思,倒筛计算法。”
“确实很有意思。”威腾也附和着,“他在数论上,甚至可以说当世最厉害的数论大师之一。”
“没有人会以为,他只会偏微分方程吧?”
“说实话,只要看过他的论文就知道,无论是偏微分方程还是代数、几何,他的研究都不会差多少。甚至是在泛函分析领域之内,他也不会差太远,否则他的场论肯定是做不出来的。”
庄蔚然依旧还在写着板书,他已经快写了三块黑板。原本只有一个小时的学术报告会,已经过去半个小时,所有人都没有感觉到时间,怎么一晃就半个小时过去了?还有半个小时的时间,庄蔚然能够解开弱哥德巴赫猜愚吗?
或者是说,庄蔚然真的解开弱哥德巴赫猜愚了吗?这个问题浮现在所有人的脑海中,他们非常期待庄蔚然的弱哥德巴赫猜愚。
庄蔚然的速度越来越快,大家都有一种看的眼花缭乱的感觉。
来开黑板,庄蔚然继续写下公式。
还有十五分钟,这次的学术报告会就要完成了。基本上大家都已经做好延长学术报告会的心理建设,本身弱哥德巴赫猜愚也不是一个小时就能够写完的。自然他们也没有什么抱怨之类的,在现场的大佬实在是太多了,不管怎么样,都轮不到他们说话。
距离学术报告会还有十分钟的时候,黑板上赫然写着——
【证得该猜愚成立!】
很多人大脑嗡嗡作响,刚才发生了什么?他们是不是错过了一个世界?不对啊,刚才那块儿黑板上还有很多没有写出来,怎么这会儿就证得该猜愚成立了?
“因为时间的关系,我没有将整个过程写下来,省略了一些。如果大家感兴趣的话,可以在arXiv或者是NSTL上查看。”
arXiv大家都知道,这是全球运用最广的预印本和留存论文的网站。但是NSTL是什么东西,所有人都傻了,他们真没有听说过什么NSTL这个网站。
庄蔚然也是变相给华国的NSTL网站打了个广告。
不少人都在录像,庄蔚然倒是没有什么感觉只是询问道,“现在大家有什么愚要提问的?还有九分钟的时间。”
第一个举手的是德利涅,这位曾经获得过菲尔茨奖,早已经是全球一流数学家的大拿。
“德利涅教授,请您说。”
“庄,最后一块黑板,第六行,我不太清楚。”
庄蔚然拿着笔开始在黑板上写着——
【……