An Elementary proof for Bertrand's Postulate

1. Le Problème : La Conjecture de Bertrand

La conjecture de Bertrand, formulée par Joseph Bertrand en 1845 et démontrée par Pafnuty Chebyshev en 1850 (d'où le nom de théorème de Bertrand-Chebyshev), énonce une propriété fondamentale sur la distribution des nombres premiers.

Énoncé : Pour tout entier $n > 1$, il existe toujours au moins un nombre premier $p$ tel que :
$$n < p < 2n$$

Bien que la conjecture ait été prouvée par Chebyshev, sa démonstration originale reposait sur des outils avancés de l'analyse complexe et de la théorie analytique des nombres (notamment des estimations fines de la fonction $\psi(x)$ de Chebyshev et des propriétés de la fonction $\zeta$ de Riemann). L'objectif de ce papier est de fournir une preuve élémentaire, c'est-à-dire une démonstration qui n'utilise que l'arithmétique de base, les propriétés des factorielles et des nombres premiers, sans recourir à l'analyse complexe.

2. Méthodologie

La preuve élémentaire (souvent associée à la méthode développée plus tard par Paul Erdős, bien que le papier mentionné puisse être une version antérieure ou une variante de cette approche) repose sur l'analyse de la décomposition en facteurs premiers de la factorielle centrale $\binom{2n}{n}$.

Les étapes clés de la méthodologie sont les suivantes :

• Analyse de la factorielle centrale : L'étude commence par l'examen du coefficient binomial $\binom{2n}{n} = \frac{(2n)!}{(n!)^2}$. Ce nombre est entier et possède des propriétés de croissance spécifiques.
• Formule de Legendre : On utilise la formule de Legendre pour déterminer l'exposant d'un nombre premier $p$ dans la décomposition de $n!$. Cela permet d'exprimer la valuation $p$-adique de $\binom{2n}{n}$.
• Décomposition en facteurs premiers : Le coefficient $\binom{2n}{n}$ est décomposé en facteurs premiers. L'argument divise ces facteurs en trois catégories :
  1. Les petits nombres premiers ($p \le \sqrt{2n}$).
  2. Les nombres premiers intermédiaires ($\sqrt{2n} < p \le \frac{2n}{3}$).
  3. Les grands nombres premiers ($\frac{2n}{3} < p \le 2n$).
• Estimations par majoration et minoration :
  • On établit une minoration de $\binom{2n}{n}$ (par exemple, en utilisant le fait que $\sum_{k=0}^{2n} \binom{2n}{k} = 2^{2n}$, donc $\binom{2n}{n} \ge \frac{2^{2n}}{2n+1}$).
  • On établit une majoration de $\binom{2n}{n}$ en utilisant la décomposition en facteurs premiers. Si l'on suppose qu'il n'existe aucun nombre premier dans l'intervalle $(n, 2n]$, alors tous les facteurs premiers de $\binom{2n}{n}$ doivent être inférieurs ou égaux à $n$.
• Contradiction : En comparant la minoration (croissance exponentielle) et la majoration (qui devient trop faible si l'on suppose l'absence de grands nombres premiers), on aboutit à une contradiction pour $n$ suffisamment grand.

3. Contributions Clés

La contribution principale de ce papier réside dans la simplification radicale de la preuve d'un théorème majeur de la théorie des nombres.

• Élimination de l'analyse complexe : Le papier démontre qu'il n'est pas nécessaire d'utiliser la fonction $\zeta$ de Riemann ou les intégrales complexes pour prouver l'existence d'un nombre premier entre $n$ et $2n$.
• Approche combinatoire et arithmétique : Il met en lumière la puissance des propriétés combinatoires des coefficients binomiaux et de la théorie élémentaire des nombres.
• Accessibilité : En rendant la preuve accessible à un public ayant des connaissances en algèbre et en analyse réelle de base (niveau licence), elle démocratise l'accès à ce résultat fondamental.

4. Résultats

Le papier aboutit à la démonstration rigoureuse de la conjecture de Bertrand pour tous les entiers $n > 1$.

• Cas des petits $n$ : La preuve élémentaire nécessite souvent de vérifier manuellement un nombre fini de cas (généralement pour $n$ inférieur à une certaine constante, souvent autour de 4000 ou moins selon les estimations utilisées dans la majoration) pour assurer la validité de l'inégalité.
• Cas des grands $n$ : Pour $n$ au-delà de ce seuil, les inégalités asymptotiques dérivées de l'analyse de $\binom{2n}{n}$ prouvent que l'hypothèse « aucun nombre premier entre $n$ et $2n$ » est fausse.
• Conclusion : Il existe toujours un nombre premier $p$ tel que $n < p < 2n$.

5. Signification

L'importance de ce papier dépasse la simple vérification d'un théorème :

1. Paradigme de la preuve élémentaire : Ce travail illustre la puissance des méthodes « élémentaires » en mathématiques. Il montre que des résultats profonds sur la distribution des nombres premiers peuvent être obtenus sans les outils lourds de l'analyse moderne, un principe qui a inspiré d'autres preuves célèbres (comme la preuve élémentaire du théorème des nombres premiers par Erdős et Selberg).
2. Fondement de la théorie des nombres : La conjecture de Bertrand est un pilier de la théorie des nombres, utilisée comme lemme dans de nombreux autres problèmes, notamment en cryptographie et en algorithmique.
3. Éducation et pédagogie : En fournissant une preuve accessible, ce papier permet d'introduire des concepts avancés de distribution des nombres premiers dans des cursus universitaires standards, sans exiger une maîtrise préalable de l'analyse complexe.

En résumé, ce papier offre une démonstration élégante et rigoureuse de l'existence ininterrompue de nombres premiers dans les intervalles doubles, en se basant uniquement sur l'arithmétique et les propriétés combinatoires des factorielles.