Conjecture de Legendre

La conjecture de Legendre, proposée par Adrien-Marie Legendre, énonce qu'il existe un nombre premier entre n² et (n 1)² pour tout entier n ≥ 1.

Cette conjecture est l'un des problèmes de Landau (1912) portant sur les nombres premiers, et n'a pas été résolue à l'heure actuelle.

Présentation et lien avec d'autres conjectures

La conjecture de Legendre fait partie d'une famille de résultats et de conjectures liés aux écarts entre nombres premiers consécutifs.

Si la conjecture de Legendre est vraie, l'écart entre tout p premier, et le nombre premier suivant sera toujours au maximum de l'ordre de $\sqrt p$ (en notation grand O : les écarts sont O( $\sqrt p$ )). Deux conjectures plus fortes, la conjecture d'Andrica et la conjecture d'Oppermann, impliquent toutes deux que les écarts ont ce majorant. Cependant, la conjecture de Legendre ne fournit pas une solution à l'hypothèse de Riemann, mais renforce plutôt l'une des implications de son exactitude (la conjecture de Riemann entraîne une version faible de la conjecture de Legendre, voir plus loin).

Harald Cramér a prouvé que l'hypothèse de Riemann implique un majorant $O(\sqrt p log p)$ des écarts^[1], et a conjecturé que les écarts sont toujours beaucoup plus faibles, de l'ordre $log 2 p$ . Si la conjecture de Cramér est vraie, la conjecture de Legendre suivrait pour tout n suffisamment grand.

Représentation du nombre de nombres premiers entre n² et (n 1)² pour n < 100000. Le nuage de points noirs représente

x\longmapsto \pi ((x 1)^{2})-\pi (x^{2})

, i.e. le nombre de nombres premiers dans l'intervalle

[x^{2},(x 1)^{2}]

. La courbe rouge représente l'estimation asymptotique suspectée

x\longmapsto {\frac {x}{\ln(x)}}

.

Le nombre attendu de nombres premiers entre n² et (n 1)² serait approximativement n/ln(n) d'après l'approximation classique fournie par le théorème des nombres premiers. Comme ce nombre est grand pour n grand, cela apporte une certaine crédibilité à la conjecture de Legendre. Il est facile de prouver que cette estimation est asymptotiquement vraie pour presque tous les entiers n, mais le cas général reste hors d'atteinte à l'heure actuelle.

Résultats partiels

La conjecture de Legendre implique qu'au moins un nombre premier peut être trouvé dans chaque demi-révolution de la spirale d'Ulam.

Le postulat de Bertrand, conjecture plus faible, a été démontré en 1852.

Chen Jingrun a démontré en 1975^[2] que pour tout n suffisamment grand, il existe un nombre premier ou semi-premier entre n² et (n 1)².

Iwaniec et Pintz ont démontré en 1984^[3] que pour tout n suffisamment grand, il existe un nombre premier entre n – n^23/42 et n. Ce résultat fut ensuite affiné par R. C. Baker et G. Harman (en) en 1996^[4], pour finalement arriver avec l'aide de Pintz, en 2001^[5], au fait que pour tout n suffisamment grand, il existe un nombre premier dans l'intervalle [n – n^21/40, n].

Danilo Bazzanella a démontré en 2013^[6] que si l'on suppose l'hypothèse de Lindelöf (ou même juste une version plus faible de celle-ci) alors, pour tout ε > 0, la conjecture de Legendre est vraie pour tout intervalle [n², (n 1)²] ⊂ [1, N] avec au plus O(N ^ε) exceptions.

Lien avec la conjecture de Riemann

La véracité de l'hypothèse de Riemann impliquerait une forme légèrement plus faible de la conjecture de Legendre :

Soient p_m le nombre premier de rang m et n la valeur [ $\sqrt p m$ ] 1. Selon la conjecture de Legendre, il existerait un nombre premier p entre n² et (n 1)². On aurait alors les inégalités (strictes car le carré d'un entier ne saurait être premier)

(n-1)^{2}<p_{m}<n^{2}<p<(n 1)^{2}

dont on déduirait que

p_{m 1}\leq p\leq ((n-1) 2)^{2}-1<({\sqrt {p_{m}}} 2)^{2}-1=p_{m} 4{\sqrt {p_{m}}} 3.

On aurait ainsi

p_{m 1}-p_{m}<4{\sqrt {p_{m}}} 3.

Or l'hypothèse de Riemann sous la forme $|\pi (x)-{\text{Li}}(x)|={\mathcal {O}}(x^{1/2}\ln x)$ implique, pour une certaine constante C adaptée

p_{m 1}-p_{m}\leq C{\sqrt {p_{m}}}\ln p_{m}.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Legendre's conjecture » (voir la liste des auteurs).

↑ (en) Ian Stewart, The Great Mathematical Problems (en), Profile Books (en), 2013, 340 p. (lire en ligne), p. 175.
↑ (en) J. R. Chen, « On the distribution of almost primes in an interval », Sci. Sinica, vol. 18, n^o 5,‎ 1975, p. 611-627 (lire en ligne).
↑ (en) Henryk Iwaniec et János Pintz, « Primes in short intervals », Monatsh. Math., vol. 98, n^o 2,‎ 1984, p. 115-143 (lire en ligne).
↑ (en) R. C. Baker et G. Harman, « The difference between consecutive primes », Proc. London Math. Soc., vol. s3-72, n^o 2,‎ mars 1996, p. 261-280 (DOI 10.1112/plms/s3-72.2.261).
↑ (en) R. C. Baker, G. Harman et J. Pintz, « The difference between consecutive primes, II », Proc. London Math. Soc., vol. 83, n^o 3,‎ novembre 2001, p. 532-562 (DOI 10.1112/plms/83.3.532).
↑ (en) Danilo Bazzanella, « Primes between consecutive squares and the Lindelöf hypothesis », Periodica Mathematica Hungarica, vol. 66, n^o 1,‎ 2013, p. 111-117 (DOI 10.1007/s10998-013-1457-y).

Voir aussi

Articles connexes

Bibliographie

(en) Richard L. Francis, « Between Consecutive Squares », Missouri Journal of Mathematical Sciences, vol. 16, n^o 1,‎ 2004, p. 51-57 (DOI 10.35834/2004/1601051)
(en) D. Bazzanella, « Primes between consecutive squares », Arch. Math., vol. 75, n^o 1,‎ 2000, p. 29–34 (DOI 10.1007/s000130050469, lire en ligne)
(en) D. R. Heath-Brown, « The number of primes in a short interval », J. reine angew. Math., vol. 389,‎ 1988, p. 22-63 (DOI 10.1515/crll.1988.389.22, lire en ligne)
(en) Atle Selberg, « On the normal density of primes in small intervals, and the difference between consecutive primes », Arch. Math. Naturvid. (en), vol. 47,‎ 1943, p. 87-105

Lien externe

(en) Eric W. Weisstein, « Legendre's conjecture », sur MathWorld

Arithmétique et théorie des nombres

[1] (en) Ian Stewart, The Great Mathematical Problems (en), Profile Books (en), 2013, 340 p. (lire en ligne), p. 175.

[2] (en) J. R. Chen, « On the distribution of almost primes in an interval », Sci. Sinica, vol. 18, n^o 5,‎ 1975, p. 611-627 (lire en ligne).

[3] (en) Henryk Iwaniec et János Pintz, « Primes in short intervals », Monatsh. Math., vol. 98, n^o 2,‎ 1984, p. 115-143 (lire en ligne).

[4] (en) R. C. Baker et G. Harman, « The difference between consecutive primes », Proc. London Math. Soc., vol. s3-72, n^o 2,‎ mars 1996, p. 261-280 (DOI 10.1112/plms/s3-72.2.261).

[5] (en) R. C. Baker, G. Harman et J. Pintz, « The difference between consecutive primes, II », Proc. London Math. Soc., vol. 83, n^o 3,‎ novembre 2001, p. 532-562 (DOI 10.1112/plms/83.3.532).

[6] (en) Danilo Bazzanella, « Primes between consecutive squares and the Lindelöf hypothesis », Periodica Mathematica Hungarica, vol. 66, n^o 1,‎ 2013, p. 111-117 (DOI 10.1007/s10998-013-1457-y).

[1]

[2]

[3]

[4]

[5]

[6]