∑(m1^2+m2^2+m3^2≤x)1=4π/3*x^1.5+O(x^2/3)!
這個公式不是別的,正是球內整點問題的素數分佈公式。
不少認出這個公式的數學家,張大了嘴巴,整個人陷入極大的震撼當中。
“球……球內整點問題公式!”一位數學家狠狠嚥了口唾沫,眼眸中是濃濃的震撼之色。
“沒錯,就是球內整點問題的素數分佈公式。可是……球內整點問題公式可以應用在等差素數猜想的研究中嗎?”另一位數學家喃喃自語。
“不清楚,”旁邊那位數學家搖搖頭,擡頭望着報告臺上一臉自信風采的顧律,“不過,看顧律這麼自信的樣子,他應該是把握十足的吧。”
這位數學家說的不錯,關於等擦素數猜想,顧律確實是有着十足的把握。
否則,他現在也不會站在臺上。
康斯坦丁這邊,在見到顧律祭出‘等差素數猜想’這柄大殺器後,整個人像是被瞬間抽空了一般,癱坐在椅子上。
康斯坦丁要比任何人看的更加透徹。
在顧律列出球內整點問題公式後,康斯坦丁就瞬間明白顧律後續的推導步驟會是什麼。
而紮實的知識和對於等差素數猜想的理解,讓康斯坦丁清楚,顧律選擇是一條正確的道路。
這意味着,他沒機會了。
康斯坦丁本想着在國際數學家大會結束後,用三個月到半年左右的時間,完成等差素數猜想另一半的證明。
但打死康斯坦丁都不會料到,顧律會以這種方式,將其半路截胡。
這倒好,康斯坦丁根本不需要等到國際數學家大會結束了。
因爲再大會召開期間,等差素數猜想的另一半就被證明了。
鬱悶、氣憤、後悔……
各種不一的情緒充斥在康斯坦丁的腦海裡。
…………
報告臺上。
顧律剛纔用十分鐘的時間差不多闡述完三分之一的證明過程。
顧律拿起桌邊的礦泉水,擰開喝了一口,潤了潤嗓子,接着繼續彙報。
三個引理,再加上球內整點問題的素數分佈公式。
顧律利用這四個公式,再結合前面推導出的兩個定理,進行下一步的推導證明。
一行行公式浮現在黑板上。
顧律頭腦清晰,理智的按照記憶進行一步步邏輯縝密的公式推導。
數學是極爲考驗一個人邏輯推導力的學科。
而其中以數論尤甚。
和其他數學分支不同,數論沒有太多花裡胡哨的東西。
數論的本質是對於整數性質的研究,或者說更準確一點,是對於素數性質的研究。
許多人可以察覺到,在所有數學分支中,數論領域中知識理解起來是最簡單的。
比如說哥德巴赫猜想,等差素數猜想,孿生素數猜想這些,只要是個普通的高中生就可以輕鬆理解。
而像幾何領域的龐加萊猜想、BAB猜想、霍奇猜想這些,別說是高中生了,連一些博士生都未必可以理解其內容。
但同樣,數論理解起來簡單,但若想要應用,那足以用千難萬難來形容。
因爲其涉及很強的邏輯推導。
並且需要極爲的嚴謹,因爲一步錯,便步步錯。
只要一個微小的過程出錯,比如說算錯一個公式,少些一個字母,這些都是相當致命的。
索性,顧律一直在有意的提高自己的邏輯推導能力。
如今,在系統面板的顯示中,顧律的推理力早已邁進400的大關,來到415這個數值。
四級的推理力,讓顧律在面對等差素數猜想這樣的世界級猜想時,用兩天多的時間,幾乎沒犯任何錯誤的情況下推導完成。
要等差素數猜想是一個幾何學猜想,顧律未必可以在短短不到三天的時間內將其證明。
因爲幾何學猜想考驗一定的空間力,而顧律空間力的屬性並不算多麼高。
但數論學不同,數論學猜想純粹的考驗推理力。
再加上顧律處於一種靈感爆棚的狀態。
兩者的加持下,才讓顧律在不到三天時間內堪堪完成這個壯舉。
顧律的闡述還在繼續。
現在顧律大概已經講完一半的證明過程。
而整場報告也迎來最精彩的地方。
臺下的衆位數學家們聚精會神的聽着,偶爾低頭將關鍵的信息在筆記本上記錄下來。
這次由於時間充裕,顧律沒有刻意趕進度,而是把整個證明過程講解的很細緻。
雖然還有不少數學家的思維跟不上顧律的講述速度。
但解析數論領域的那一批將近百位的頂尖數學家,還是可以勉強跟得上的。
不會出現像昨天那樣顧律講完後衆人齊齊懵逼的情況。
…………
時間在一點點流逝。
本就屬於這個會場的解析數論數學家們,聚精會神的認真聽着,有的人還一邊聽一邊頻頻點頭。
而過來湊熱鬧的其餘方向的數學家,也在硬着頭皮嘗試去理解。
畢竟,等差素數猜想要真的在顧律手下被證明,那無論對數論界,還是整個數學界來說,都是個十足的大事。
註定被記載進史冊的那種!
而作爲這種大事件的見證者,他們當然要好好的珍惜。
或許在將來,這會成爲他們吹噓的資本也說不定。
一個世界級別的猜想,就要在他們眼前被證明。
只是想一想,不少數學家就渾身激動起來。
值得一提的一點是,在顧律的報告開始後,不少數學家將這條消息傳播出去。
因此,在顧律進行報告的過程中,不斷有數學家涌入這間會議室。
也就使得,現在這間可以容納五百多人的會議室,裡面足足有着將近八百位數學家。
不僅座位被坐滿,連過道里,亦是被佔滿。
將近八百雙目光齊刷刷的盯着顧律。
不過顧律並沒有絲毫的緊張感。
“……利用φ(y)=1/2πi∫(2+i∞,2-i∞)ydw/w(1+w/(logx)^l)^【logx】+1,可以得到一個等差數列,接下來……”
時間來到第二十五分鐘,而顧律這邊,也進行到證明的最後階段。
只見顧律深呼一口氣,在黑板上寫下最後一行公式。
“……由此可得,存在K,使K等於任意整數值時,都有由K個素數組成的等差數列存在。”
“即,存在任意長度的素數等差數列”
“等差素數猜想成立!”
證畢!