Postulat de Bertrand

En mathématiques, le postulat de Bertrand, aussi appelé théorème de Tchebychev, affirme qu'entre un entier et son double existe toujours un nombre premier. Plus formellement, si n est un entier naturel supérieur ou égal à 2, alors il existe toujours au moins un nombre premier p tel que

n < p < 2n

Bien que démontré, il a gardé son nom de postulat, c'est-à-dire une conjecture.

Cette affirmation fut pour la première fois conjecturée en 1845 par Joseph Bertrand qui la vérifia lui-même pour tous les nombres de l'intervalle $[2;3\times 10^6]$. La conjecture fut complètement démontrée en 1850 par Pafnouti Tchebychev, qui utilisa dans sa démonstration la formule de Stirling.

Ramanujan donna une démonstration plus simple et Paul Erdős en 1932 publia une preuve très simple dans laquelle il utilisa les coefficients binomiaux et la fonction θ, définie par:

où p parcourt les nombres premiers inférieurs ou égaux à x.

Le postulat de Bertrand fut avancé en vue d'applications au groupe des permutations. James Joseph Sylvester le généralisa avec la proposition suivante : le produit de k entiers consécutifs supérieurs à k est divisible par un nombre premier plus grand que k.

Une conjecture similaire, appelée conjecture de Legendre, mais non encore résolue affirme l'existence, pour tout entier naturel non nul n, d'un nombre premier p tel que n < p < (n + 1). Elle touche à l'hypothèse de Riemann.

Notons $\mathbb{P}$ l'ensemble des nombres premiers et définissons :

Voici le plan de la démonstration :

• lemme de majoration de θ(x),
• vérification explicite de la propriété pour n ≤ 630,
• démonstration de la propriété pour n > 630 (en utilisant le lemme).

Lemme de majoration de θ(x)

Pour tout entier .

Démonstration du lemme, par récurrence

• La propriété est vraie pour n = 1 : $\theta (1)=0<1\cdot \ln (4).$
• Soit N>1. Supposons la majoration vraie pour tous les entiers positifs n<N et montrons-la pour n=N.
• Si N=2 : $\theta (2)=\ln (2)<2\cdot \ln (4).$
• Si N > 2 et N est pair : $\theta (N)=\theta (N-1)<(N-1)\cdot \ln (4)<N\cdot \ln (4)$

(parce que N, étant pair et différent de 2, n'est pas premier, donc il y a autant de nombres premiers entre 1 et N qu'entre 1 et N-1).

• • Si N est impair. Soit N = 2m+1 avec m > 0. Par la formule du binôme de Newton,

Chaque nombre premier p tel que m+1 < p ≤ 2m+1 divise $\left(\genfrac{}{}{0ex}{}{2m+1}{m+1}\right)$, ce qui nous donne :

Par hypothèse de récurrence, $\theta (m+1)<(m+1)\cdot \ln 4$, donc :

CQFD

Vérification pour n ≤ 630

Si 2 ≤ n ≤ 630, on utilise le procédé de Landau :

considérons la suite de onze nombres premiers 2, 3, 5, 7, 13, 23, 43, 83, 163, 317 et 631, chacun étant strictement inférieur au double de son prédécesseur.

Il existe deux nombres consécutifs de cette liste, q et p, tels que

$q\le n<p$, donc $n<p$ et $2q\le 2n.$

De plus, par construction de cette liste, $p<2q$, ce qui, joint à $2q\le 2n$, donne $p<2n$. On a donc bien

Preuve pour n > 630

• Mise en place de la stratégie

Par la formule du binôme,

Puisque $\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$ est le plus grand terme de la somme, on en déduit :

Appelons R(p,n) le plus grand nombre x tel que p divise $\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$. On a donc

avec

Pour minorer P₄ (afin de montrer que P₄ > 1), on va majorer $P_1,P_2,P_3$. Il nous faut pour cela majorer les R(p,n).

• Calcul des R(p,n)

On désigne par $\lfloor X\rfloor$ la partie entière de X, et par $\left\{X\right\}$ sa partie fractionnaire.

Puisque (d'après un théorème de Legendre) n! possède ${\sum }_{j=1}^{\infty }\lfloor \frac{n}{p^j}\rfloor$ facteurs égaux à p, nous obtenons :

• Majoration de P₁

Puisque chaque terme $\lfloor \frac{2n}{p^j}\rfloor -2\lfloor \frac{n}{p^j}\rfloor$ vaut soit 0 (lorsque $\left\{\frac{n}{p^j}\right\}<\frac{1}{2}$) soit 1 (lorsque $\left\{\frac{n}{p^j}\right\}\ge \frac{1}{2}$) et que tous les termes avec $j>\lfloor \frac{\ln (2n)}{\ln (p)}\rfloor$ sont nuls, on obtient :

donc $p^{R(p,n)}\le 2n$, donc $P_1\le (2n{)}^{\sqrt{2n}}.$

• Majoration de P₂

Pour $p>\sqrt{2n}$, la somme dans R(p,n) est réduite à son premier terme, $\lfloor \frac{2n}{p}\rfloor -2\lfloor \frac{n}{p}\rfloor$ qui, comme déjà mentionné, vaut 0 ou 1. On a donc $R(p,n)\le 1$, d'où

la dernière inégalité venant du lemme.

• Majoration de P₃

En fait, P₃ = 1 (c'est le point clé de la preuve d'Erdös) car si $2n/3<p\le n$ alors

$R(p,n)=\lfloor \frac{2n}{p}\rfloor -2\lfloor \frac{n}{p}\rfloor =2-2=0$.

• Synthèse

On aboutit à

On obtient un minorant plus commode en remarquant que 2n + 1 < (2n) et que $2<\frac{\sqrt{2n}}{17}$ (car n > 578), d'où l'inégalité

qui se réécrit

En prenant les logarithmes et en remplaçant 2n par 2 :

Or 2n > 1024 = 2 donc t > 5, d'où $\frac{2^t}{t}>\frac{2^5}{5}>\frac{108}{17}$, si bien que ln(P₄) > 0, ce qui achève la preuve.