質數,也就是素數。
指的是大於1的自然數,除了1和它自身外,不能被其他自然數整除的數。
素數的個數是無窮的,關於這一點的證明,古希臘數學家歐幾里得早在他的著作《幾何原本》中便給出了經典的證明。
也因為素數的個數是無窮的,所以就有人會問,素數的分佈規律是什麼?
100000以下有多少個素數?
一個隨機的100位數多大可能是素數?
這也就促進了數論這門純數學科的發展,也就有了是否每個大於5的偶數都可寫成兩個素數之和的哥德巴赫猜想。
也就有了是否存在無窮多的孿生素數,斐波那契數列內是否存在無窮多的素數,是否有無窮多個梅森素數,是否存在無窮個形式如X??+1的素數,諸如此類的問題。
這裡面,有像“在一個大於1的數和它的2倍之間,必定存在至少一個素數”,“存在任意長度的素數等差數列”這樣利用素數定理解決的問題。
但更多的,還只是一個猜想。
如果要分級的話,陳舟現在研究的克拉梅爾猜想,大概在梅森素數問題之上,在傑波夫猜想和孿生素數猜想之下。
所以,現在的陳舟有點不敢確定,自己的想法,究竟是不是對的。
一個歷時近百年,沒有人能夠接近證明的數學猜想,他居然發現好像有點不對,需要去修正。
其實說不對的話,用詞是不恰當的。
因為陳舟並不是證偽了,只是找到了“改進”之後的質數間距的猜想。
就像2014年,陶哲軒他們證明的愛多士猜想一樣。
陳舟改進的只是一個更為溫和的猜想。
即使證明出來,也並不能說明克拉梅爾猜想就是錯的。
而且其價值是小於卡拉梅爾猜想的。
因為改進後的問題,其素數間隔仍是小於克拉梅爾猜想的。
放下筆,伸手揉了揉太陽穴,陳舟的表情有點古怪。
草稿紙上,寫著的是:
【N以內相鄰素數最大間隔的猜想,(Pn+1≤Nmax(Pn+1Pn≈logN(logNloglogN+2(N≥7】
這裡的N指的便是大於等於7的任意自然數。
“log”則是自然對數的簡寫。
&nn→∞sup(Pn+1Pn/(logPn??=1】。
兩者之間的差別便是,將(logPn??改為了logN(logNloglogN+2,且取N≥7。
如果從這個問題的解決中,能夠得到一點啟發,說不定就能順勢解決克拉梅爾猜想的問題了。
這樣想著的陳舟,重新拿起了筆,就打算先解決這個改進的問題。
陳舟解決的思路和愛多士猜想的證明方法一樣,是基於一個建立大素數間隔的簡單方法。
一個大的素數間隔相當於兩個素數之間的一長列非素數,或者稱為複合數。
簡單舉個例子,先從數字2,3,4,……,101開始。
然後每個數加上101的階乘,也就是101!。
這列數字就變成了101!+2,101!+3,101!+4,……,101!+101。
因為101!可以被從2到101的數字整除,因此這列數字的每個數都是複合數。
也就是101!+2可以被2整除,101!+3可以被3整除,以此類推。
這種簡單方法,其實是高中代數方法的細微變形。
如果獲得複合數列表是可能的,那麼便可以以此進行素數間隔問題的研究。
一下午的時間,陳舟在圖書館裡,全身心研究著克拉梅爾猜想的修正問題。
雖然沒有解決問題,但是陶哲軒等五位教授的研究方法,還是給了陳舟不少收穫的。