Théorème des nombres premiers : Hadamard, La Vallée Poussin et 1896

Combien y a-t-il de nombres premiers inférieurs à un milliard ? Le théorème des nombres premiers, démontré en 1896 par Jacques Hadamard et le mathématicien belge Charles-Jean de La Vallée Poussin, donne une réponse asymptotique précise : $\pi(x) \sim x / \ln(x)$.

L'énoncé est simple. La démonstration a demandé un siècle à des dizaines de mathématiciens pour aboutir. Et le résultat fonde aujourd'hui la cryptographie qui sécurise toutes les transactions bancaires en ligne. Voici l'histoire.

La conjecture : Gauss et Legendre

L'histoire commence vers 1792-1793. Le jeune Carl Friedrich Gauss, qui n'a alors que 15 ou 16 ans, étudie une table de logarithmes. Il observe que la densité des nombres premiers parmi les entiers semble décroître comme 1/ln(x). Il note sa conjecture dans la marge — il ne la publie pas. Ce sera revendiqué bien plus tard, dans une lettre de 1849.

En parallèle, Adrien-Marie Legendre, sans connaître les notes de Gauss, formule une première conjecture précise dans son ouvrage « Essai sur la théorie des nombres » en 1798. Il la raffine en 1808 sous la forme $\pi(x) \approx x / (\ln(x) - 1{,}08366)$, où $1{,}08366$ est une constante empirique qu'il a ajustée aux tables disponibles.

Tchebychev encadre, sans démontrer

En 1851, le mathématicien russe Pafnouti Tchebychev publie un résultat important. Il montre, par des méthodes élémentaires (étude de la fonction factorielle), que pour $x$ suffisamment grand :

C'est un encadrement remarquable, mais il ne prouve pas l'équivalence exacte : il faudrait montrer que les deux constantes $0{,}92129$ et $1{,}10556$ peuvent être remplacées par $1$ à la limite. Tchebychev butte sur ce dernier saut.

En 1859, dans son célèbre mémoire « Sur le nombre de nombres premiers inférieurs à une grandeur donnée », Bernhard Riemann ouvre une voie radicalement nouvelle : il introduit la fonction zêta $\zeta(s)$ prolongée au plan complexe, formule l'hypothèse de Riemann sur la position de ses zéros, et esquisse comment la répartition des premiers est gouvernée par ces zéros. Riemann esquisse une démonstration mais ne la complète pas — il manque des arguments d'analyse complexe.

1896 : la double démonstration

Trente-sept ans après Riemann, deux mathématiciens trouvent la pièce manquante la même année, indépendamment l'un de l'autre :

• Jacques Hadamard, professeur à l'Université de Bordeaux, publie sa démonstration dans « Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques ».
• Charles-Jean de La Vallée Poussin, mathématicien belge à l'Université catholique de Louvain, publie indépendamment « Recherches analytiques sur la théorie des nombres premiers ».

Les deux démonstrations utilisent la même stratégie : prouver que la fonction zêta de Riemann n'a pas de zéro sur la droite $\mathrm{Re}(s) = 1$ (la frontière de la bande critique). De ce résultat — non trivial à établir — on déduit le théorème des nombres premiers via un théorème taubérien.

Hadamard et La Vallée Poussin se reconnaissent mutuellement la paternité partagée. Le résultat porte aujourd'hui les deux noms (« théorème de Hadamard – La Vallée Poussin » dans la littérature anglo-saxonne).

L'énoncé précis et les chiffres

Voici l'énoncé moderne :

Vérifions numériquement la qualité de l'approximation. Le rapport $\pi(x) \cdot \ln(x) / x$ doit tendre vers $1$ :

On voit que le ratio converge bien vers $1$, mais lentement : à un milliard, l'erreur est encore de $5 \%$. L'approximation par $\mathrm{li}(x) = \int_0^x \frac{dt}{\ln t}$ (logarithme intégral) introduite par Riemann est nettement meilleure et constitue le raffinement standard du théorème.

L'idée de la preuve en quatre étapes

Sans entrer dans les détails techniques (la démonstration complète demande un cours de master en analyse complexe), voici l'architecture de la preuve d'Hadamard :

1. Identité d'Euler — la fonction zêta de Riemann admet la représentation $\zeta(s) = \prod_{p \text{ premier}} \frac{1}{1 - p^{-s}}$ pour $\mathrm{Re}(s) > 1$. Cette factorisation infinie sur les nombres premiers est le pont entre l'analyse et l'arithmétique.

2. Prolongement et zéros — on prolonge $\zeta$ au plan complexe sauf en $s = 1$ (pôle simple). Riemann avait montré que les zéros « non triviaux » sont confinés à la bande $0 \leq \mathrm{Re}(s) \leq 1$.

3. Le pas critique d'Hadamard — démontrer que $\zeta(1 + it) \neq 0$ pour tout $t \in \mathbb{R}^*$. C'est le résultat sur lequel butaient tous les prédécesseurs.

4. Théorème taubérien — un argument d'analyse complexe (formule de Mellin inverse) traduit cette absence de zéros en l'équivalence $\pi(x) \sim x/\ln(x)$.

La démonstration originale d'Hadamard repose lourdement sur la théorie des fonctions entières qu'il avait lui-même développée pour son Grand Prix de 1892 — c'est un cas d'école où un travail théorique abstrait débloque un problème concret quelques années plus tard. Une démonstration élémentaire (sans analyse complexe) sera trouvée beaucoup plus tard, en 1949, par Atle Selberg et Paul Erdős — un événement majeur en théorie analytique des nombres.

Applications modernes : RSA et cryptographie

Le théorème des nombres premiers a une retombée pratique immense : il fonde la cryptographie à clé publique.

L'algorithme RSA (Rivest, Shamir, Adleman, 1977) — celui qui sécurise HTTPS, les transactions bancaires, les signatures numériques de la quasi-totalité des sites web — repose sur le constat suivant : il est facile de multiplier deux grands nombres premiers, mais extrêmement difficile de factoriser le produit. Pour générer une clé RSA-2048, il faut deux nombres premiers d'environ 1024 bits chacun.

Combien y a-t-il de nombres premiers à 1024 bits ? Le théorème de Hadamard donne la réponse : la densité des premiers autour de $x$ est environ $1/\ln(x)$. Pour $x = 2^{1024}$, cela fait environ 1 nombre sur 710. Concrètement : on tire un grand entier impair au hasard, on teste sa primalité (test de Miller-Rabin), et statistiquement il faut quelques centaines d'essais pour en trouver un. C'est rapide en pratique.

Sans le théorème des nombres premiers, on ne saurait pas quantifier cette densité — donc on ne saurait pas garantir qu'un algorithme de génération de clés se termine en temps raisonnable. RSA n'aurait pas de fondement quantitatif.

Pour un étudiant en prépa

Le théorème des nombres premiers n'est pas au programme de MPSI/PCSI/MP/PC/PSI/MPI. C'est un résultat de niveau master ou agrégation. Tu n'auras pas à le démontrer en colle ou en concours.

Mais c'est un grand classique de culture mathématique. Le citer dans une copie de TIPE, dans un entretien d'oral, ou en colle pour ouvrir une discussion, montre que tu as une vision dépassant le programme stricto sensu. Et deux résultats directement liés à Hadamard sont, eux, au programme :

• Formule de Cauchy-Hadamard sur le rayon de convergence d'une série entière (chapitre obligatoire en deuxième année — MP, PC, PSI, MPI)
• Inégalité d'Hadamard sur les déterminants (mentionnée en algèbre linéaire avancée)

Pour la mémorisation des grands théorèmes du programme, lis notre guide pour trouver sa méthode en prépa. Et pour comprendre comment les mathématiciens de la trempe d'Hadamard inventent ces résultats, va lire son livre de 1945 sur la psychologie de l'invention mathématique. Nos professeurs Hadamard, anciens MP / MP* admis à l'X, l'ENS et CentraleSupélec, ont travaillé Cauchy-Hadamard et l'inégalité d'Hadamard à l'écrit comme à l'oral — ils savent où sont les pièges classiques en concours.