Postulat de Bertrand

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.

Sommaire

Historique

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:

 \theta(x) = \sum_{p=2}^{x} \ln (p)

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

Théorème de Sylvester

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 n2 < p < (n + 1)2. Elle touche à l'hypothèse de Riemann.

Démonstration

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

 \theta(x) = \sum_{p\in\Bbb{P};\, p\leq x} \ln (p)

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 n\ge 1,\qquad\theta(n) < n \cdot \ln(4).

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).
 4^m = \frac {(1+1)^{2m+1}}{2} = \frac {\sum_{k=0}^{2m+1}{2m+1 \choose k}} {2} \ge \frac {{2m+1 \choose m}+{2m+1 \choose m+1}}{2} = {2m+1 \choose m+1}.
Chaque nombre premier p tel que m+1 < p ≤ 2m+1 divise   {2m+1 \choose m+1} , ce qui nous donne :
 \theta(2m+1) - \theta(m+1) \le \ln({2m+1 \choose m+1}) \le \ln(4^m) = m \cdot \ln(4).
Par hypothèse de récurrence,  \theta(m+1) < (m+1) \cdot \ln  4 , donc :
 \theta(N) = \theta(2m+1) < (2m+1) \cdot \ln(4) = N \cdot \ln(4).

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

n<p<2n.\,

Preuve pour n > 630

  • Mise en place de la stratégie

Par la formule du binôme,

 4^n=(1+1)^{2n}=\sum_{k=0}^{2n}{2n \choose k}.

Puisque  {2n \choose n} est le plus grand terme de la somme, on en déduit :

 \frac {4^n} {2n+1} \le {2n \choose n}

Appelons R(p,n) le plus grand nombre x tel que px divise  {2n \choose n} . On a donc

 \frac {4^n} {2n+1} \le{2n \choose n}=\prod_{p\in\Bbb P}p^{R(p,n)}=P_1P_2P_3P_4,

avec

P_1=\prod_{p\in\Bbb P, p\le\sqrt{2n}}p^{R(p,n)},\quad P_2=\prod_{p\in\Bbb P, \sqrt{2n}<p\le2n/3}p^{R(p,n)},\quad P_3=\prod_{p\in\Bbb P, 2n/3<p\le n}p^{R(p,n)},\quad P_4=\prod_{p\in\Bbb P, n<p<2n}p^{R(p,n)}.

Pour minorer P4 (afin de montrer que P4 > 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  \left \lfloor X \right \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 \left \lfloor \frac {n} {p^j} \right \rfloor facteurs égaux à p, nous obtenons :

 R(p,n)=\sum_{j=1}^\infty \left \lfloor \frac {2n} {p^j} \right \rfloor-2\sum_{j=1}^\infty \left \lfloor \frac {n} {p^j} \right \rfloor=\sum_{j=1}^\infty \left \lfloor \frac {2n} {p^j} \right \rfloor - 2\left \lfloor \frac {n} {p^j} \right \rfloor
  • Majoration de P1

Puisque chaque terme  \left \lfloor \frac {2n} {p^j} \right \rfloor - 2\left \lfloor \frac {n} {p^j} \right \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> \left \lfloor \frac {\ln(2n)} {\ln(p)} \right \rfloor sont nuls, on obtient :

 R(p,n) \le \left \lfloor \frac {\ln(2n)} {\ln(p)} \right \rfloor,

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

  • Majoration de P2

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

P_2\le \prod_{p\in\Bbb P, \sqrt{2n}<p\le2n/3}p\le\operatorname{exp}(\theta(2n/3))<4^{2n/3},

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

  • Majoration de P3

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

 R(p,n) = \left \lfloor \frac {2n} {p} \right \rfloor - 2\left \lfloor \frac {n} {p} \right \rfloor = 2-2 = 0 .
  • Synthèse

On aboutit à

 \frac {4^n}{2n+1} \le P_1P_2P_3P_4\le (2n)^{\sqrt{2n}}.4^{2n/3}.1.P_4.

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

 \frac {4^n}{(2n)^{\frac {\sqrt{2n}}{17}}} < (2n)^{\sqrt{2n}}.4^{2n/3}.P_4,

qui se réécrit

 4^{n/3}.(2n)^{-\frac{18}{17}\sqrt{2n}}<P_4.

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

t2^t\frac{\ln(2)}3\left(\frac{2^t}t-\frac{108}{17}\right)<\ln(P_4).

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


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Postulat de Bertrand de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • 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… …   Wikipédia en Français

  • Demonstration du postulat de Bertrand — 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,… …   Wikipédia en Français

  • Démonstration Du Postulat De Bertrand — 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,… …   Wikipédia en Français

  • Démonstration du postulat de Bertrand — 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,… …   Wikipédia en Français

  • Démonstration du postulat de bertrand — 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,… …   Wikipédia en Français

  • Bertrand — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Bertrand est un nom propre qui peut désigner : Sommaire 1 Prénom et patronyme 2 Saints …   Wikipédia en Français

  • Bertrand-Postulat —   [bɛr trã ; nach J. Bertrand], Bezeichnung für den erstmals von P. L. Tschebyschow bewiesenen Satz der Zahlentheorie: Zwischen einer natürlichen Zahl n > 1 und ihrem Doppelten liegt mindestens eine Primzahl …   Universal-Lexikon

  • Conjecture de Bertrand — 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,… …   Wikipédia en Français

  • Joseph-Louis-François Bertrand — Joseph Bertrand Pour les articles homonymes, voir Bertrand. Joseph Bertrand Joseph Louis Franço …   Wikipédia en Français

  • Joseph Bertrand — Pour les personnes ayant le même patronyme, voir Bertrand. Joseph Bertrand Joseph Louis François Bertrand Naissance …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”