- Théorème d'Euclide
-
Théorème d'Euclide sur les nombres premiers
Euclide
En arithmétique, le théorème d'Euclide sur les nombres premiers affirme :
- Il existe une infinité de nombres premiers.
Le théorème a été nommé d'après Euclide. La première preuve écrite retrouvée de ce résultat[réf. nécessaire] figure dans les Éléments, proposition 20 du livre IX[1].
Plusieurs démonstrations existent.
Sommaire
Démonstration d'Euclide
Dans ses Éléments, Euclide démontre que de trois nombres premiers distincts peut se déduire un quatrième. La démonstration se généralise immédiatement à toute énumération finie de nombres premiers. Il déduit que les nombres premiers sont en nombre plus important que toute quantité finie. L' infini mis en évidence par cette preuve est donc un "infini potentiel", compatible avec la doctrine aristotélicienne[2].
Actualisée, sa démonstration se présente comme suit : supposons que p1,p2,p3,...,pn soit une liste finie de nombres premiers distincts. Si N désigne leur produit, les nombres premiers déjà énumérés ne peuvent pas diviser N+1 ; or, tout nombre possède un facteur premier, donc il existe un nombre premier qui ne fait pas partie de la suite donnée. Le résultat selon lequel tout nombre possède un facteur premier est prouvé dans les propositions 31 et 32 du livre VII des Éléments et découle aujourd'hui directement du théorème fondamental de l'arithmétique.
L'argumentation utilisée par Euclide permet de construire par récurrence une suite injective (pn) de nombres premiers : pn est défini comme le plus petit facteur premier de
∏ pk + 1. k < n Une variante de cette démonstration a été donnée par le mathématicien allemand Ernst Kummer en retranchant 1 au produit au lieu d'ajouter 1[réf. nécessaire].
Comme le remarque Gérald Tenenbaum[3], la preuve d'Euclide « est trop simple pour être ineffective ». De fait, la construction montre que le ne nombre premier pn est inférieur ou égal à
.Démonstration d'Euler
EulerUne autre preuve fut proposée par le mathématicien suisse Leonhard Euler. Cette démonstration s'appuie sur le théorème fondamental de l'arithmétique. Si P désigne l'ensemble des nombres premiers, Euler écrit :
On utilise pour cela la somme d'une série géométrique et le développement (unique) en facteurs premiers d'un entier naturel (autrement dit, le théorème fondamental de l'arithmétique). La divergence de la série harmonique montre alors que la somme (à droite) tend vers l'infini : donc le produit (à gauche) ne peut être fini, il y a donc une infinité de nombres premiers.
Théorème de la progression arithmétique de Dirichlet
Article détaillé : Théorème de la progression arithmétique.Le théorème de Dirichlet généralise le résultat d'Euclide : il affirme qu'il y a une infinité de nombres premiers de la forme ak + n, où a et n sont des entiers fixés, premiers entre eux. Autrement dit, il existe une infinité de nombres premiers dans toute progression arithmétique.
Le théorème d'Euclide correspond au cas où a = 1. Il existe des preuves élémentaires pour certains cas particuliers du théorème de Dirichlet, mais la démonstration complète, qui s'inspire de celle d'Euler pour le théorème d'Euclide, repose sur des arguments avancés d'analyse.
Théorème des nombres premiers
Ce théorème, conjecturé au début du 19e siècle et prouvé en 1896, simultanément et indépendamment par Jacques Hadamard et Charles-Jean de La Vallée Poussin, précise la répartition des nombres premiers. Soit π(x) le nombre des premiers inférieurs à un nombre x, le théorème d'Euclide dit que π(x) tend vers l'infini quand x croît. Le théorème des nombres premiers précise que la quantité π(x) / x tend vers 1 / log(x) quand x croît.
Autrement dit[4], le ne nombre premier est à peu près de l'ordre de grandeur de nlog(n).
La démonstration originelle fait appel à des notions délicates d'analyse complexe, en particulier sur la fonction Zéta de Riemann. Il existe aussi maintenant des démonstrations plus élémentaires. Des variantes, précisant en particulier le théorème de Dirichlet, sont aussi connues.
Article détaillé : Théorème des nombres premiers.Notes
- ↑ Euclide, Éléments, Livre IX, proposition 20.
- ↑ Euclide, Les Éléments, traduction, commentaires et notes de Bernard Vitrac [détail des éditions], vol. 2, p. 444-446.
- ↑ Gérald Tenenbaum, Introduction à la théorie analytique et probabilistique des nombres [détail des éditions], p. 10.
- ↑ Gérald Tenenbaum et Michel Mendès-France, Les Nombres premiers, Que Sais-je? 571, Paris, PUF, 1997, p.11.
Voir aussi
Portail des mathématiques
Catégories : Théorème de mathématiques | Arithmétique élémentaire
Wikimedia Foundation. 2010.
