Théorème d'Euclide sur les nombres premiers

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.

La première preuve écrite retrouvée de ce résultat figure dans les Éléments d'Euclide, 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

1 + pk.
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 à 2^{2^n}.

Démonstration d'Euler

Euler

Une 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 :

\prod_{p\in P} \frac{1}{1-1/p}=\prod_{p\in P} \sum_{k\geq 0} \frac{1}{p^k}=\sum_n\frac{1}{n}

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

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 est équivalente à 1 / log(x) quand x croît.

Autrement dit[4], le ne nombre premier noté pn est à peu près de l'ordre de grandeur de nlog(pn) ou encore log(pn) / (pn) est de l'ordre de grandeur de 1 / 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.

Voir aussi

Notes

  1. Euclide, Éléments, Livre IX, proposition 20.
  2. Euclide, Les Éléments, traduction, commentaires et notes de Bernard Vitrac [détail des éditions], vol. 2, p. 444-446.
  3. Gérald Tenenbaum, Introduction à la théorie analytique et probabilistique des nombres [détail des éditions], p. 10.
  4. Gérald Tenenbaum et Michel Mendès-France, Les Nombres premiers, Que Sais-je? 571, Paris, PUF, 1997, p.11.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème d'Euclide sur les nombres premiers de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Theoreme d'Euclide sur les nombres premiers — 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… …   Wikipédia en Français

  • 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 …   Wikipédia en Français

  • Théorème de Fermat sur les sommes de deux carrés — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Nombres premiers — Nombre premier 7 est un nombre premier car il admet exactement deux diviseurs positifs …   Wikipédia en Français

  • Nombres premiers somme de 2 carrés — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

  • Theoreme fondamental de l'arithmetique — Théorème fondamental de l arithmétique En mathématiques, et en particulier en arithmétique élémentaire, le théorème fondamental de l arithmétique ou théorème de décomposition en produit de facteurs premiers ou théorème de factorisation unique s… …   Wikipédia en Français

  • Euclide (mathématicien) — Euclide Pour les articles homonymes, voir Euclide (homonymie). Euclide …   Wikipédia en Français

  • Théorème fondamental de l'arithmétique — En mathématiques, et en particulier en arithmétique élémentaire, le théorème fondamental de l arithmétique ou théorème de décomposition en produit de facteurs premiers ou théorème de factorisation unique s énonce ainsi : Théorème fondamental …   Wikipédia en Français

  • Euclide — Pour les articles homonymes, voir Euclide (homonymie). Euclide Euclide (d après une peinture du XVIIIe siècle) …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”