Conjecture d'Oppermann

La conjecture stipule que, pour chaque entier x > 1, il y a au moins un nombre premier entre

x(x − 1) et x²,

et au moins un autre premier entre

x² et x(x + 1).

Elle peut être exprimée de manière équivalente en indiquant que la fonction de compte des nombres premiers doit prendre des valeurs inégales aux extrémités de chaque intervalle[3]. C'est-à-dire:

π(x² − x) < π(x²) < π(x² + x) pour x > 1

avec π(x) étant le nombre de nombres premiers inférieur ou égal à x.

Si la conjecture est vraie, alors la taille de l'écart serait de l'ordre de

${\displaystyle g_{n}<{\sqrt {p_{n}}}\,}$.

Cela signifie également qu'il y aurait au moins deux premiers entre x² et (x + 1)² (un entre x² et x(x + 1) et l'autre entre x(x + 1) et (x + 1)²), renforçant la conjecture de Legendre selon laquelle il y a au moins un nombre premier entre x² et (x + 1)². Cela impliquerait aussi la véracité de la conjecture de Brocard selon laquelle il y a au moins quatre nombres premiers entre les carrés de nombres premiers impairs consécutifs. De plus, cela impliquerait que les plus grands écarts possibles entre deux nombres premiers consécutifs pourraient être au plus proportionnels au double de la racine carrée des nombres, comme le stipule la conjecture d'Andrica.

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

Même pour les petites valeurs de x, les nombres de nombres premiers dans les rangs données par la conjecture sont beaucoup plus grands que 1, fournissant des preuves solides que la conjecture est vraie. Cependant, la conjecture d'Oppermann n'a pas été prouvée en 2018.

• Postulat de Bertrand
• Conjecture d'Andrica
• Conjecture de Firoozbakht
• Conjecture de Legendre
• Théorème des nombres premiers

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