Le théorème de la raréfaction des nombres premiers est un résultat démontré par Adrien-Marie Legendre en 1808.. C'est, aujourd'hui, un corollaire du théorème des nombres premiers., conjecturé par Gauss et Legendre dans les années 1790 et démontré un siècle plus tard.
Le résultat énonce que la densité asymptotique de l'ensemble des nombres premiers est nulle, c'est-à-dire que le nombre de nombres premiers inférieurs à n, (n), est négligeable devant n lorsque n tend vers l'infini, autrement dit que
La preuve initiale utilise les techniques de crible fondées sur le principe d'inclusion-exclusion. L'interprétation est qu'à mesure que n croît, la proportion de nombres premiers parmi les entiers naturels inférieurs à n tend vers zéro, d'où le terme de « raréfaction des nombres premiers ».
Esquisse d'une preuve élémentaire On note le produit des premiers nombres premiers.
On calcule d'une part l'indicatrice d'Euler de On peut par exemple utiliser le principe d'inclusion-exclusion ou, comme , le théorème des restes chinois. :
Lemme : Les entiers de l'intervalle qui ne sont multiples d'aucun des sont au nombre de , donc leur proportion est .
On prouve d'autre part que (par divergence de la série des inverses des nombres premiers ou, plus directementVoir « Produit eulérien »., en utilisant l'expression de la somme d'une série géométrique de raison 1/p < 1 et la divergence de la série harmonique).
Une petite astuce supplémentaire permet d'en déduire le résultat final.
Notes et références
Articles connexes Constante de Legendre Postulat de Bertrand
Catégorie:Nombre premier Rarefaction