未解决的数学问题：在${\displaystyle n^{2))$和${\displaystyle (n+1)^{2))$之间，是否总有质数？

勒让德猜想（Legendre's conjecture）是阿德里安-马里·勒让德提出对整数的猜想，其内容是在平方数${\displaystyle n^{2))$和${\displaystyle (n+1)^{2))$之间，至少有一个质数。此猜想是兰道问题（英语：Landau's problems）（1912年）中有关质数的一个问题。截至2023年 (2023-Missing required parameter 1=month!)^[update]为止，还没有人可以证明此猜想成立，也没有人找到此猜想的反证。

质数间隙

若勒让德猜想为真，那么在大O符号的意义下，质数p及相邻质数的最大间隙就会是${\displaystyle O({\sqrt {p)))}$。^[a]

该猜想是一类与质数间隙相关的猜想和结果的其中一员。其他属于这一类的猜想和结果包括了已经得证并认为在${\displaystyle n}$和${\displaystyle 2n}$必存在一个质数的伯特兰-切比雪夫定理、尚未得证并认为在${\displaystyle n^{2))$、${\displaystyle n(n+1)}$及${\displaystyle (n+1)^{2))$等之间存在质数的奥珀曼猜想、尚未得证并与两相邻质数间是否存在质数相关的安德里卡猜想和布罗卡猜想，以及尚未得证并认为质数间隙总是远小于勒让德猜想且和${\displaystyle (\log p)^{2))$成比例的克拉梅尔猜想等等。

在克拉梅尔猜想成立的状况下，勒让德猜想对任何足够大的${\displaystyle n}$都成立。另外，哈拉尔德·克拉梅尔还证明了一个较弱的结果，从黎曼猜想可推出最大质数间隙的上界为${\displaystyle O({\sqrt {p))\log p)}$。^[1]

根据质数定理，介于${\displaystyle n^{2))$和${\displaystyle (n+1)^{2))$之间的质数的数量的期望值大约为${\displaystyle n/\ln n}$；此外，已知对几乎所有的此类区间而言，其实际的质数个数（A014085）与该期望值呈现非病态关系。^[2]由于对于较大的${\displaystyle n}$而言，该数字也会很大之故，这提供了勒让德猜想成立的证据。^[3]

另外已知质数定理可无条件地^[4]或在黎曼猜想成立的状况下^[5]，给出对短区间内质数个数的精确估计；然而已证明可行的区间大小大于两个完全平方数构成的区间，因此就勒让德猜想而言依旧太大。

部分结果

从艾伯特·英厄姆（英语：Albert Ingham）对质数间隙的结果可得出，对于足够大的${\displaystyle n}$而言，在完全立方数${\displaystyle n^{3))$及${\displaystyle (n+1)^{3))$之间总有一个质数。^[6]

R·C·贝克（R. C. Baker）、格林·哈曼（英语：Glyn Harman）和平茨·亚诺什（匈牙利语：Pintz János）证明了对于所有大的${\displaystyle x}$而言，${\displaystyle [x-x^{21/40},\,x]}$该区间内总有一个质数。^[7]

利用最大质数间隙表，可确认勒让德猜想至少对大到${\displaystyle n^{2}=4\cdot 10^{18))$的数都成立，也就是说勒让德猜想对大到${\displaystyle n=2\cdot 10^{9))$的数都成立。^[8]

参见

• 伯特兰-切比雪夫定理
• 布罗卡猜想
• 菲鲁兹巴赫特猜想

注解

参考资料

外部链接

• 埃里克·韦斯坦因. Legendre's conjecture. MathWorld.