勒让德猜想(Legendre's conjecture)是阿德里安-马里·勒让德提出对整数的猜想,其内容是在平方数和之间,至少有一个质数。此猜想是兰道问题(1912年)中有关质数的一个问题。截至2023年[update]为止,还没有人可以证明此猜想成立,也没有人找到此猜想的反证。
质数间隙
若勒让德猜想为真,那么在大O符号的意义下,质数p及相邻质数的最大间隙就会是。[a]
该猜想是一类与质数间隙相关的猜想和结果的其中一员。其他属于这一类的猜想和结果包括了已经得证并认为在和必存在一个质数的伯特兰-切比雪夫定理、尚未得证并认为在、及等之间存在质数的奥珀曼猜想、尚未得证并与两相邻质数间是否存在质数相关的安德里卡猜想和布罗卡猜想,以及尚未得证并认为质数间隙总是远小于勒让德猜想且和成比例的克拉梅尔猜想等等。
在克拉梅尔猜想成立的状况下,勒让德猜想对任何足够大的都成立。另外,哈拉尔德·克拉梅尔还证明了一个较弱的结果,从黎曼猜想可推出最大质数间隙的上界为。[1]
根据质数定理,介于和之间的质数的数量的期望值大约为;此外,已知对几乎所有的此类区间而言,其实际的质数个数(A014085)与该期望值呈现非病态关系。[2]由于对于较大的而言,该数字也会很大之故,这提供了勒让德猜想成立的证据。[3]
另外已知质数定理可无条件地[4]或在黎曼猜想成立的状况下[5],给出对短区间内质数个数的精确估计;然而已证明可行的区间大小大于两个完全平方数构成的区间,因此就勒让德猜想而言依旧太大。
部分结果
从艾伯特·英厄姆对质数间隙的结果可得出,对于足够大的而言,在完全立方数及之间总有一个质数。[6]
R·C·贝克(R. C. Baker)、格林·哈曼和平茨·亚诺什证明了对于所有大的而言,该区间内总有一个质数。[7]
利用最大质数间隙表,可确认勒让德猜想至少对大到的数都成立,也就是说勒让德猜想对大到的数都成立。[8]
参见
注解
参考资料
外部链接
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.