Postulat de Bertrand

En mathématiques, 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 : 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. L'énoncé usuel du postulat de Bertrand :

1. Pour tout entier , il existe un nombre premier tel que . est équivalent aux quatre suivants :
2. Pour tout entier , il existe un nombre premier tel que .
3. Pour tout entier , , où est la fonction de compte des nombres premiers.
4. Pour tout indice , , où est la suite des nombres premiers.
5. Pour tout indice , , où est l’écart entre un nombre premier et le suivant. ainsi qu'aux variantes obtenues en remplaçant, dans les énoncés 1 à 3, « pour tout entier » par « pour tout réel ». Celui formulé par Joseph Bertrand et démontré par Pafnouti Tchebychev, était légèrement plus fort : 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 , où parcourt les nombres premiers inférieurs ou égaux à . 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).