勒讓德猜想（Legendre's conjecture）是阿德里安-马里·勒让德提出對整數的猜想，其內容是在平方數n^2和(n+1)^2之間，至少有一個質數。此猜想是蘭道問題（1912年）中有關質數的一個問題。為止，還沒有人可以證明此猜想成立，也沒有人找到此猜想的反證。
。]]
質數間隙
若勒讓德猜想為真，那麼在大O符号的意義下，質數及相鄰質數的最大間隙就會是O(\sqrt{p})。
該猜想是一類與質數間隙相關的猜想和結果的其中一員。其他屬於這一類的猜想和結果包括了已經得證並認為在n和2n必存在一個質數的伯特蘭-切比雪夫定理、尚未得證並認為在n^2、n(n+1)及(n+1)^2等之間存在質數的奥珀曼猜想、尚未得證並與兩相鄰質數間是否存在質數相關的安德里卡猜想和布羅卡猜想，以及尚未得證並認為質數間隙總是遠小於勒讓德猜想且和(\log p)^2成比例的克拉梅爾猜想等等。
在克拉梅爾猜想成立的狀況下，勒讓德猜想對任何足夠大的n都成立。另外，哈拉爾德·克拉梅爾還證明了一個較弱的結果，從黎曼猜想可推出最大質數間隙的上界為O(\sqrt p\log p)。
根據質數定理，介於n^2和(n+1)^2之間的質數的數量的期望值大約為n/\ln n；此外，已知對幾乎所有的此類區間而言，其實際的質數個數（）與該期望值呈現漸近關係。由於對於較大的n而言，該數字也會很大之故，這提供了勒讓德猜想成立的證據。
另外已知質數定理可無條件地或在黎曼猜想成立的狀況下，給出對短區間內質數個數的精確估計；然而已證明可行的區間大小大於兩個完全平方數構成的區間，因此就勒讓德猜想而言依舊太大。
部分結果
從對質數間隙的結果可得出，對於足夠大的n而言，在完全立方數n^3及(n+1)^3之間總有一個質數。
R·C·贝克（R. C. Baker）、和證明了對於所有大的x而言，[x-x^{21/40},\,x]該區間內總有一個質數。
利用最大質數間隙表，可確認勒讓德猜想至少對大到n^2=4\cdot10^{18}的數都成立，也就是說勒讓德猜想對大到n=2\cdot10^9的數都成立；而近期的一篇論文更驗證說勒讓德猜想和奥珀曼猜想對大到n=7\cdot 10^{13}的數都成立。
參見
- 伯特蘭-切比雪夫定理
- 布羅卡猜想
- 菲鲁兹巴赫特猜想
註解
參考資料
外部連結
*
评论 (0)