“100以內有8個孿生素數對,而501到600這個區間,只有2對。隨著素數的增大,下一個素數離上一個素數應該越來越遠,但是與哥德巴赫猜想同樣著名和重要的一個猜想斷言,存在無窮多對素數,它們只相差2,例如3和5,5和7,乃至這個……”
說到這裡,任教授在黑板上,寫下了一行數字。
【2003663613×21950001和2003663613×2195000+1】
回過頭,他笑了笑,繼續說道。
“存在無窮多個差值為2的素數,這就是著名的孿生素數猜想。”
到目前為止,任教授說的都是些粗淺的知識,即便對孿生素數問題沒有過深入研究的陸舟,也能很容易跟上。
其它的大一新生們也是一樣,不管是數學系還是非數學系的業餘愛好者,都饒有興趣地認真聽著。
不過很快,講座的內容開始深入了起來。
“……孿生素數猜想,一直是困擾數學界的難題。不過就在去年,針對這一問題的研究,出現了突破性進展。”任教授笑了笑,翻到了PPT的下一頁,繼續說道,“華裔數學家,張義堂先生證明了孿生素數的一個弱化形式,發現存在無窮多個差小於7000萬的素數對,從而在孿生素數猜想這個重要問題的道路上,實現了從無到有的突破。”
說到這裡,任教授推了推眼鏡,在黑板上現場板書了張先生的證明過程。
【定義tnn,如果n為素數;定義tambda(n)=……,定義S1(x)=……,S2(x)=……】
&np;amp;gt;0……】
【……】
看著那黑板上不斷增加的公式,先前還能聽懂的學生們,瞬間懵逼了。
比如坐在陸舟旁邊那位小學妹,一臉“我是誰?”“我在哪?”“我在聽寫啥?”的表情。就好像明明只是錯過了一秒鐘,卻感覺錯過的是整個世界……
陸舟倒是能跟上任教授的思路。
簡單的來講,那位張先生巧妙地選取了一個lamp;amp;gt;=3.5*10^6,結論S2−(log3xS1>0成立。
這樣一來,列出將前3.5*10^6個素數作為可接受的集合列出來,便可以進一步證明,存在無窮多個差小於7000萬的素數對。
“根據張先生留下的證明方法,截至到現在,張先生的k>=3.5*10^6,已經被縮小到k>=50。也就是說,7000萬這個數字被縮小到了246。剩下的工作,就需要後來者去完成了,”
說到這裡,任教授笑了笑,將粉筆頭丟在了講桌上,“也許,完成這一歷史性工作的偉大者,會出現在在座的各位中間。”
“我很期待那天!”
啪啪啪!
掌聲雷動。
臺下聽眾熱烈鼓掌。
不管聽沒聽懂,這時候跟著鼓掌就對了!
當然了,還是有不少人聽懂了的,臉上浮現了深思的表情。