Le théorème des nombres premiers : énoncé, histoire et démonstration

Le théorème des nombres premiers est l'un des plus beaux résultats de toutes les mathématiques : il décrit, avec une précision stupéfiante, comment les nombres premiers se raréfient à mesure qu'on avance dans les entiers. À première vue, les premiers — 2, 3, 5, 7, 11, 13, 17… — semblent surgir sans loi, dispersés au hasard sur la droite des entiers. Et pourtant, si l'on prend du recul et qu'on compte combien il y en a jusqu'à un grand nombre x, une régularité magnifique apparaît. Cette régularité, énoncée d'abord comme une conjecture par un Gauss de quinze ans, puis démontrée un siècle plus tard, relie l'arithmétique la plus élémentaire à l'analyse la plus profonde. Je suis Tom L., ancien MP* et mentor à Majorant, et dans cet article je vous raconte l'histoire de ce théorème, l'idée de sa démonstration, et pourquoi il n'a rien perdu de son actualité — jusque dans la sécurité de vos paiements en ligne.

L'énoncé : la fonction pi(x) et l'équivalence pi(x) ~ x/ln(x)

Commençons par le personnage principal. Pour un réel x, on note pi(x) le nombre de nombres premiers inférieurs ou égaux à x. C'est ce qu'on appelle la fonction de compte des premiers. Quelques valeurs pour se faire une idée :

• •pi(10) = 4 (les premiers 2, 3, 5, 7)
• •pi(100) = 25
• •pi(1000) = 168
• •pi(1 000 000) = 78 498
• •pi(10^9) = 50 847 534

On voit tout de suite deux choses. D'abord, il y a une infinité de premiers — Euclide l'a démontré il y a plus de deux mille ans, et pi(x) tend donc vers l'infini. Ensuite, les premiers se raréfient : entre 1 et 100, un entier sur quatre est premier, mais autour du milliard, il n'y en a plus qu'environ un sur vingt. La question naturelle est : à quelle vitesse cette densité diminue-t-elle ?

Le théorème des nombres premiers répond exactement à cette question. Il affirme que :

pi(x) ~ x / ln(x) quand x tend vers +∞

Le symbole ~ désigne l'équivalence : cela signifie que le rapport pi(x) / (x/ln(x)) tend vers 1 quand x devient grand. Autrement dit, x/ln(x) est une excellente approximation de pi(x), et l'approximation devient relativement de plus en plus parfaite à mesure qu'on monte. Vérifions sur x = 10^9 : x/ln(x) ≈ 10^9 / 20,72 ≈ 48 254 942, à comparer avec la vraie valeur 50 847 534. Le rapport vaut environ 0,95 — et il continue lentement de se rapprocher de 1.

De Gauss à Legendre : la naissance d'une conjecture

L'histoire commence à la toute fin du XVIIIe siècle. Le jeune Carl Friedrich Gauss, vers 1792-1793, s'amuse — comme d'autres à l'époque — à examiner des tables de nombres premiers. Il ne compte pas seulement combien il y en a ; il regarde leur densité par tranches. En observant que la proportion de premiers autour d'un entier n décroît à peu près comme 1/ln(n), il conjecture que pi(x) est bien approché par l'intégrale

Li(x) = intégrale de 2 à x de dt/ln(t)

appelée aujourd'hui logarithme intégral. Cette fonction Li(x) est, en un sens, une version plus fine de x/ln(x) : les deux sont équivalentes à l'infini, mais Li(x) colle bien mieux à pi(x) pour les valeurs concrètes. Gauss, fidèle à sa légendaire discrétion, ne publie pas cette conjecture ; on ne la connaîtra que bien plus tard, par une lettre de 1849.

Indépendamment, Adrien-Marie Legendre publie en 1798, puis affine en 1808, une formule empirique : pi(x) ≈ x / (ln(x) − 1,08366). La constante bricolée 1,08366 collait bien aux tables de son temps, mais elle est en réalité trompeuse — la « bonne » valeur asymptotique est 1, pas 1,08366. Legendre et Gauss ont donc tous deux flairé la vérité (pi(x) est de l'ordre de x/ln(x)), mais aucun des deux ne savait la démontrer. La conjecture était posée. Il faudrait presque un siècle pour la transformer en théorème.

Tchebychev encadre : les premiers pas d'une preuve

Le premier progrès sérieux vient du mathématicien russe Pafnouti Tchebychev (parfois orthographié Chebyshev), vers 1848-1852. Ne pouvant pas démontrer l'équivalence exacte, il fait quelque chose de remarquable : il l'encadre. Tchebychev montre qu'il existe deux constantes explicites A et B, proches de 1, telles que, pour x assez grand :

A · x/ln(x) ≤ pi(x) ≤ B · x/ln(x)

Ses valeurs sont approximativement A ≈ 0,921 et B ≈ 1,106. Ce résultat prouve que pi(x) est du bon ordre de grandeur — coincé à quelques pour cent près autour de x/ln(x). Ce n'est pas encore l'équivalence (il faudrait A = B = 1), mais c'est un jalon énorme : on tient enfin quelque chose de démontré rigoureusement.

Au passage, Tchebychev démontre aussi le postulat de Bertrand : pour tout entier n ≥ 1, il existe toujours au moins un nombre premier entre n et 2n. Ses outils reposent sur une analyse fine des factorielles et des coefficients binomiaux — de l'arithmétique combinatoire élégante, sans analyse complexe. Tchebychev prouve enfin un point crucial : si le rapport pi(x)/(x/ln(x)) admet une limite, alors cette limite ne peut être que 1. Restait à démontrer que la limite existe bel et bien. Et pour cela, il fallait un outil d'une tout autre nature.

Riemann et la fonction zêta : le pont vers l'analyse

En 1859, Bernhard Riemann publie un unique article de huit pages sur les nombres premiers — l'un des textes les plus influents de l'histoire des mathématiques. Son idée de génie : relier la répartition des premiers à une fonction de la variable complexe, la fonction zêta.

Pour un nombre complexe s de partie réelle strictement supérieure à 1, on définit

zêta(s) = 1 + 1/2^s + 1/3^s + 1/4^s + … = somme sur n ≥ 1 de 1/n^s

Le lien avec les premiers avait déjà été aperçu par Euler un siècle plus tôt, sous la forme du produit eulérien :

zêta(s) = produit sur tous les premiers p de 1/(1 − p^(−s))

Cette identité est déjà une pépite : elle traduit le fait que tout entier se décompose de façon unique en produit de premiers (le théorème fondamental de l'arithmétique) en une égalité analytique. Elle contient donc, cachée, toute l'information sur les premiers.

Le coup de force de Riemann est de prolonger zêta(s) à tout le plan complexe (sauf en s = 1, où elle a un pôle), puis d'étudier ses zéros — les points où zêta(s) = 0. Il montre que le comportement de pi(x) est gouverné par la localisation de ces zéros. Il existe des zéros dits « triviaux » en s = −2, −4, −6, … ; les autres, les zéros « non triviaux », se trouvent tous dans la bande verticale où la partie réelle de s est comprise entre 0 et 1. Riemann conjecture que ces zéros non triviaux ont tous pour partie réelle exactement 1/2 : c'est la fameuse hypothèse de Riemann, toujours ouverte aujourd'hui, et l'un des sept problèmes du millénaire dotés d'un million de dollars.

Riemann, lui, ne démontre pas le théorème des nombres premiers. Il en trace la feuille de route, avec des affirmations qu'il ne justifie pas toutes. Il faudra encore attendre presque quarante ans, et deux mathématiciens travaillant chacun de leur côté.

1896 : la double démonstration de Hadamard et La Vallée Poussin

L'année 1896 est celle du triomphe. Deux mathématiciens, indépendamment et presque simultanément, achèvent la preuve : le Français Jacques Hadamard et le Belge Charles-Jean de La Vallée Poussin. C'est une de ces coïncidences dont l'histoire des sciences est friande — comme si l'idée était mûre et attendait d'être cueillie.

Le cœur de leurs deux démonstrations est le même, et c'est exactement le point que Riemann n'avait pas su franchir : montrer que la fonction zêta ne s'annule pas sur la droite verticale de partie réelle égale à 1. C'est ce qu'on appelle une région sans zéro. Une fois ce fait établi, des théorèmes d'analyse complexe (autour des transformées et des formules explicites reliant zêta à pi) permettent d'en déduire l'équivalence pi(x) ~ x/ln(x). Hadamard s'appuie sur sa théorie des fonctions entières et de leurs zéros ; La Vallée Poussin, avec des estimations un peu plus fines, obtient en prime un contrôle du terme d'erreur.

C'est un moment fondateur : pour la première fois, un énoncé purement arithmétique — combien y a-t-il de premiers ? — est démontré grâce à l'analyse d'une fonction de variable complexe. Cette alliance improbable donne naissance à une discipline entière, la théorie analytique des nombres, qui reste l'un des domaines les plus vivants des mathématiques.

Une note pour l'anecdote : longtemps on a cru qu'une preuve du théorème sans analyse complexe était impossible. En 1949, Atle Selberg et Paul Erdős ont pourtant donné une démonstration dite « élémentaire » (sans variable complexe, mais loin d'être facile), qui a d'ailleurs déclenché l'une des querelles de priorité les plus célèbres du XXe siècle. Preuve que ce théorème continue, plus de cent ans après, à fasciner et à diviser.

L'idée de la preuve : les grandes étapes

Sans entrer dans les détails techniques — qui dépassent largement le programme de prépa — on peut décrire l'architecture de la démonstration classique en quelques grandes étapes. C'est instructif, car cela montre comment on transforme un problème de comptage discret en un problème d'analyse continue.

Étape 1 — Changer de fonction de comptage. Plutôt que de compter les premiers un par un avec pi(x), on les pondère astucieusement. On introduit la fonction de von Mangoldt, notée Λ(n), qui vaut ln(p) si n est une puissance d'un premier p, et 0 sinon. On étudie alors la somme psi(x) = somme des Λ(n) pour n ≤ x. Cette fonction psi(x) est plus « lisse » à manipuler que pi(x), et le théorème des nombres premiers équivaut à l'énoncé simple : psi(x) ~ x.

Étape 2 — Faire le lien avec zêta. Un calcul montre que la dérivée logarithmique de zêta, la fonction −zêta'(s)/zêta(s), est exactement la série de Dirichlet associée à Λ. Toute l'information sur les premiers est ainsi encodée dans une fonction analytique bâtie à partir de zêta. Les pôles et les zéros de zêta deviennent les leviers du raisonnement.

Étape 3 — Le pôle en s = 1 donne le terme principal. La fonction zêta a un pôle simple en s = 1. C'est ce pôle qui, une fois « traduit » par les formules d'analyse complexe, produit le terme principal psi(x) ≈ x. C'est de là que vient le x tout court dans l'équivalence.

Étape 4 — Écarter les zéros du bord : l'étape décisive. Chaque zéro non trivial de zêta introduit un terme correctif oscillant qui vient perturber l'estimation psi(x) ≈ x. Si un zéro se trouvait sur la droite de partie réelle 1, son terme correctif serait du même ordre de grandeur que le terme principal, et l'équivalence s'effondrerait. Tout le travail de Hadamard et La Vallée Poussin consiste précisément à démontrer qu'aucun zéro ne se trouve sur cette droite. Une fois les zéros repoussés strictement à l'intérieur de la bande, leurs contributions deviennent négligeables devant x, et l'on conclut psi(x) ~ x.

Étape 5 — Revenir à pi(x). Un dernier argument (une sommation par parties, technique familière aux étudiants de prépa) permet de repasser de psi(x) à pi(x) et d'obtenir l'énoncé sous sa forme pi(x) ~ x/ln(x).

La morale est belle : plus les zéros de zêta sont éloignés du bord de la bande, meilleure est l'approximation de pi(x). Démontrer le théorème, c'est les éloigner un peu ; l'hypothèse de Riemann, ce serait les ranger tous au centre, et obtenir le contrôle d'erreur optimal.

Pourquoi c'est fondamental : la répartition des premiers

Au-delà de sa beauté, pourquoi ce théorème compte-t-il autant ? Parce qu'il donne une réponse quantitative à une question qui touche au cœur même de l'arithmétique : comment les briques élémentaires des entiers sont-elles distribuées ?

Les nombres premiers sont les atomes de la multiplication : tout entier se décompose de façon unique en produit de premiers. Comprendre leur répartition, c'est comprendre la structure profonde des entiers. Le théorème nous dit que, malgré leur apparente irrégularité locale — on trouve de grands « déserts » sans aucun premier, mais aussi des « jumeaux » comme 11 et 13 collés l'un à l'autre —, leur comportement global est parfaitement régulier et prévisible.

Cette tension entre chaos local et ordre global est l'une des grandes fascinations des mathématiques. Elle irrigue quantité de résultats modernes : le théorème de la progression arithmétique de Dirichlet (il y a une infinité de premiers dans toute suite arithmétique raisonnable), les travaux sur les écarts entre premiers consécutifs (les percées de Yitang Zhang et James Maynard vers 2013-2014 sur les premiers « presque jumeaux »), ou encore le théorème de Green-Tao (il existe des progressions arithmétiques arbitrairement longues de nombres premiers). Tous prolongent la question fondatrice ouverte par Gauss.

Application moderne : RSA et la cryptographie

On pourrait croire que tout cela reste confiné aux hauteurs de la mathématique pure. C'est tout le contraire : les nombres premiers sont au cœur de la sécurité informatique moderne. Chaque fois que vous consultez un site en HTTPS, que vous payez en ligne ou que vous envoyez un message chiffré, des nombres premiers gigantesques travaillent pour vous.

Le système emblématique est RSA, du nom de Rivest, Shamir et Adleman (1977). Son principe repose sur un contraste frappant :

• •Multiplier deux grands premiers est facile. Si p et q sont deux premiers de plusieurs centaines de chiffres, calculer leur produit n = p × q est instantané pour un ordinateur.
• •Factoriser le résultat est extraordinairement difficile. Étant donné seulement n, retrouver p et q est, avec les méthodes connues, hors de portée même des supercalculateurs quand n est assez grand (2048 bits, soit plus de 600 chiffres).

C'est cette asymétrie — facile dans un sens, quasi impossible dans l'autre — qui fait la solidité de RSA. La clé publique repose sur n (que tout le monde peut connaître), tandis que la sécurité tient au secret de p et q. Concrètement, le chiffrement et le déchiffrement utilisent l'arithmétique modulaire (les congruences) et un résultat classique, le petit théorème de Fermat généralisé par Euler.

Et le théorème des nombres premiers dans tout ça ? Il est la garantie silencieuse que le système est réalisable. Pour construire une clé RSA, il faut savoir tirer au hasard de très grands nombres premiers. Or le théorème nous assure qu'autour d'un nombre de taille n, la densité de premiers est d'environ 1/ln(n). Pour un nombre de 1024 bits, ln(n) vaut à peu près 710 : cela signifie qu'en tirant des entiers au hasard de cette taille, environ un sur 710 (ou un sur 355 si l'on ne teste que les impairs) est premier. Autrement dit, il en existe largement assez, et ils sont assez fréquents pour qu'on en trouve rapidement par tirage aléatoire suivi d'un test de primalité. Sans le théorème des nombres premiers, on ne saurait même pas garantir que la fabrication des clés est efficace. La cryptographie moderne repose donc, à sa base, sur une conjecture d'un adolescent de 1793.

Pour l'élève de prépa : ce qu'on en garde en MPSI/MP

Soyons clairs : le théorème des nombres premiers n'est pas au programme de MPSI, PCSI ou MP — sa démonstration exige l'analyse complexe, hors du cursus. Mais tout ce qui l'entoure, si. Voici ce qu'un étudiant de prépa doit réellement en retenir.

• •La fonction pi(x) et l'idée d'équivalence. L'énoncé pi(x) ~ x/ln(x) est parfaitement compréhensible dès la MPSI, une fois maîtrisée la notion d'équivalence de suites et de fonctions (chapitre d'analyse asymptotique du premier semestre). C'est un exemple culturel idéal pour donner du sens au symbole ~.
• •L'infinité des premiers. La preuve d'Euclide (par l'absurde, en considérant p1·p2·…·pk + 1) est un grand classique des colles et des DS. Il faut la connaître sur le bout des doigts.
• •Les congruences et l'arithmétique modulaire. Le chapitre d'arithmétique de MPSI (divisibilité, Bézout, Gauss, congruences, petit théorème de Fermat) est exactement le socle sur lequel RSA est bâti. C'est aussi un terrain d'entraînement au raisonnement rigoureux, très prisé aux concours.
• •L'analyse asymptotique. Manipuler ln(x), comparer des ordres de grandeur, comprendre ce que veut dire « négligeable devant » : ces réflexes, centraux dans la preuve du théorème, sont exactement ceux qu'on évalue en analyse à Centrale, aux Mines ou à l'X.
• •La culture, ça compte. Savoir raconter d'où vient un grand théorème, citer Gauss, Riemann, Hadamard, faire le lien avec la cryptographie : c'est précisément le genre d'ouverture qui fait la différence à l'oral, et qui peut nourrir un sujet de TIPE autour de la théorie des nombres ou du chiffrement.

Si l'arithmétique et la théorie des nombres vous attirent, sachez qu'elles ouvrent de vraies portes : recherche, cybersécurité, informatique théorique. C'est un excellent moteur de motivation pour tenir la distance en prépa. Nos conseils méthode regorgent de pistes pour transformer cette curiosité en points aux concours, et notre présentation des filières CPGE vous aidera à choisir la voie (MP, MPI) la plus mathématique.

En résumé

Le théorème des nombres premiers affirme que pi(x), le nombre de premiers jusqu'à x, est équivalent à x/ln(x) : les premiers se raréfient exactement au rythme de 1/ln(x). Deviné par Gauss et Legendre à la fin du XVIIIe siècle, encadré par Tchebychev vers 1850, éclairé par la fonction zêta de Riemann en 1859, il est finalement démontré en 1896 par Hadamard et La Vallée Poussin, indépendamment, grâce à l'analyse complexe. Sa clé : la fonction zêta ne s'annule pas au bord de la bande critique. Loin d'être une curiosité abstraite, il fonde la théorie analytique des nombres et garantit, en coulisses, que la cryptographie RSA peut trouver les grands premiers dont elle a besoin. Un même fil relie ainsi un adolescent penché sur ses tables de logarithmes et le cadenas vert de votre navigateur.

C'est cela, la puissance des mathématiques : une régularité entrevue il y a deux siècles qui protège aujourd'hui des milliards de connexions. Si cet article vous a donné envie d'aller plus loin — en arithmétique, en analyse, ou en préparation aux concours —, les mentors Majorant, anciens de Polytechnique, des ENS, des Mines et de CentraleSupélec, sont là pour vous accompagner, du lycée jusqu'à l'intégration. Parce que comprendre pourquoi un théorème est vrai, c'est déjà avoir un temps d'avance. Discutons de votre projet et construisons ensemble votre progression : rencontrez votre mentor Majorant.