Forum de mathématiques - Bibm@th.net

La propriété évoquée par le passager est exacte, elle est en fait équivalente au "postulat" de Bertrand.
Montrer l'équivalence est sans difficulté.

Historique (source wikipedia)

Le postulat de Bertrand affirme qu'entre un entier et son double, il existe toujours au moins un nombre premier.

Plus précisément, l'énoncé usuel est le suivant :

    Pour tout entier ${\displaystyle n>1}$, il existe un nombre premier  ${\displaystyle p}$ tel que ${\displaystyle n<p<2n}$.

Le postulat de Bertrand est aussi connu sous le nom de théorème de Tchebychev, depuis que Pafnouti Tchebychev l’a démontré en 1850.

Le « postulat » (un terme tel qu’hypothèse ou conjecture, moins généraux, serait plus approprié) est énoncé pour la première fois en 1845 par Joseph Bertrand dans une étude sur des groupes de permutations, après qu’il a vérifié sa validité pour tous les nombres inférieurs à 6 millions.

C’est Pafnouti Tchebychev qui obtient, en 1850, la première démonstration : il utilise notamment un encadrement de la factorielle par des fonctions dérivées de la formule de Stirling ainsi que la fonction ${\displaystyle \theta (x)=\sum _{p=2}^{x}\ln p}$, où  ${\displaystyle p}$ parcourt les nombres premiers inférieurs ou égaux à  ${\displaystyle x}$. Depuis lors, le postulat s'appelle aussi « théorème de Tchebychev » ou, plus rarement, « théorème de Bertrand-Tchebychev ».

Edmund Landau, en 1909, dans son ouvrage de synthèse des connaissances de l’époque sur la répartition des nombres premiers, reprend pour l’essentiel la démonstration de Tchebychev.

En 1919, Srinivasa Ramanujan donne du postulat de Bertrand une démonstration plus simple.

En 1932, Paul Erdős, à l’occasion de sa première publication, à l’âge de 19 ans, publie une démonstration entièrement élémentaire dans laquelle il utilise les coefficients binomiaux (il démontrera aussi que pour n>5, il existe au moins deux nombres premiers compris entre n et 2n). Pour son élégance, cette démonstration d’Erdős est l’une de celles retenues par Martin Aigner et Günter M. Ziegler dans leur livre Raisonnements divins.

Supposons vrai le postulat de Bertrand.
Si n est au moins égal à 2, notons p le plus grand premier inférieur ou égal à n.
On est certain que 2p dépasse n, sinon comme il existerait un premier p' à la fois supérieur à p et inférieur à n, p ne serait pas le plus grand...
p est donc le seul multiple  de p parmi 1,2,...,n.
n! est donc divisible par p mais pas par des puissances supérieures de p. D'où le résultat.

Soit un premier q d'exposant 1 dans la décomposition de (2n)! ( n au moins égal à 2) en produit de facteurs premiers.
On est sûr que q < 2n puisque 2n n'est pas premier.
Par ailleurs si $q \le n$, alors $2q \le 2n$,  donc 2q serait un autre multiple de q divisant (2n)!, qui serait donc au moins divisible par le carré de q. Contradiction. Ainsi n<q<2n.

Les deux propriétés sont donc équivalentes.
Comme le postulat de Bertrand s'est avéré vraie, la propriété sur n! remarquée par le voyageur est vraie aussi.

Est-ce que notre ami Tchebychev ne serait pas dans le coup ?