Théorème fondamental de l'arithmétique (encyclopédie mathématiques)

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 de l'arithmétique — Chaque entier strictement positif peut être écrit comme un produit de nombres premiers d'une unique façon, à l'ordre près des facteurs.

Par exemple, nous pouvons écrire

$6936=2^3\times3\times17^2$ ou encore $1200=2^4\times3\times5^2$

et il n'existe aucune autre factorisation de 6936 ou 1200 sous forme de produits de nombres premiers, excepté par réarrangement des facteurs ci-dessus.

Le nombre 1 est le produit de zéro nombre premier (voir produit vide), de sorte que le théorème est aussi vrai pour 1.

Ce résultat se généralise sur d'autres ensembles comme les anneaux factoriels ou les polynômes à coefficients dans les nombres réels ou complexes (cf arithmétique des polynômes).

Sommaire

[modifier] Histoire

Dans le livre VII de ses Éléments, Euclide énonce que tout nombre non premier est divisible par un nombre premier^[1]. Cette proposition plus faible que le théorème fondamental de l'arithmétique, est suffisante pour certaines applications. Le résultat était déjà connu et utilisé par des civilisations antérieures^{[réf. nécessaire]}.

Gauss

En 1801 dans son livre Recherches arithmétiques, Carl Friedrich Gauss (1777-1855) développe des arithmétiques sur d'autres structures^{[réf. nécessaire]}. L'existence d'une factorisation est étendue aux entiers relatifs, aux polynômes à coefficients dans un corps commutatif ainsi qu'à un nouvel anneau d'entiers algébriques, les entiers de Gauss. La notion de nombre premier est alors étendue. Elle s'applique de la même manière pour les polynômes irréductibles ou les nombres premiers de Gauss. Dans tous ces cas, la décomposition est complétée par un facteur correspondant à un élément inversible. Dans le cas des entiers relatifs le facteur est égal à (+ 1) si le nombre est positif et (- 1) s'il est négatif.

La décomposition est encore généralisée à toute une classe d'anneaux : les anneaux factoriels^{[réf. nécessaire]}.

[modifier] Démonstration

La démonstration est constituée de deux parties : premièrement, nous avons à montrer que (1) chaque nombre peut vraiment être écrit comme un produit de nombres premiers ; puis nous avons à montrer que (2) deux représentations d'un même nombre sont essentiellement les mêmes.

[modifier] (1) Existence

La preuve ci-dessous de l'existence s'appuie sur le principe de récurrence. Des variantes appliquent la méthode de descente infinie de Fermat.

Preuve usuelle par récurrence :

1 est le produit d'une famille de nombres premiers : la famille vide ;
Supposons que tout entier strictement inférieur à un certain entier n > 1 est produit de nombres premiers. Deux possibilités apparaissent pour n :
- Soit $n$ est premier, et donc produit d'un unique entier premier, à savoir lui-même et le résultat est vrai.
- Soit $n$ se décompose sous la forme $k . l$ avec $k$ et $l$ strictement inférieurs à $n$ . Dans ce cas, l'hypothèse de récurrence implique que les entiers $k$ et $l$ peuvent s'écrire comme produits de nombres premiers. Leur produit aussi, ce qui fournit une décomposition de $n$ en produit de nombres premiers.
Par application du principe de récurrence, tous les entiers naturels peuvent s'écrire comme produit de nombres premiers.

Cette preuve de l'existence n'explicite pas un algorithme de décomposition en produit de nombres premiers. En effet, le fait de savoir qu' il existe un couple $(k, l)$ factorisant $n$ ne précise pas comment on en calcule un. L'une des façons de choisir un tel couple est de prendre $k$ le plus petit possible. La variante ci-dessous donne ainsi un algorithme (peu efficace cependant) de décomposition d'un entier naturel en produit de nombres premiers.

Une façon de rendre cette preuve plus explicite :

$1$ est le produit de la famille vide ;
Supposons que tout entier strictement inférieur à un certain entier $n > 1$ est produit de nombres premiers. Soit $p$ le plus petit entier strictement supérieur à $1$ divisant $n$ . Alors $p$ est un nombre premier (tout entier naturel divisant $p$ divise $n$ , donc vaut $p$ ou $1$ par minimalité de $p$ ). On écrit alors $n = p .(n / p)$ avec $(n / p) < n$ . L'hypothèse de récurrence implique que l'entier $n / p$ s'écrit comme produit de nombres premiers, ce qui fournit une décomposition de $n$ en produit de nombres premiers.
Par application du principe de récurrence, tous les entiers naturels peuvent s'écrire comme produits de nombres premiers.

[modifier] (2) Unicité

La preuve de l'unicité peut être obtenue à partir du lemme d'Euclide selon lequel, si un nombre premier p divise un produit ab, alors il divise a ou il divise b (lemme qui découle lui-même de l'identité de Bézout). Maintenant, prenons deux produits de nombres premiers qui sont égaux. Prenons n'importe quel nombre premier p du premier produit. Il divise le premier produit, et, de là, aussi le second. Par ce qui précède, p doit alors diviser au moins un facteur dans le second produit. Mais les facteurs sont tous des nombres premiers eux-mêmes, donc p doit être égal à un des facteurs du second produit. Nous pouvons donc simplifier par p les deux produits. En continuant de cette manière, nous voyons que les facteurs premiers des deux produits coïncident précisément.

[modifier] Applications

Le théorème fondamental de l'arithmétique est lié au fait que tout entier naturel $\geq 2$ admet un facteur premier (voir la preuve de l'existence de la décomposition en facteurs premiers). Euclide utilisa ce résultat pour démontrer que les nombres premiers sont en quantité inépuisable : pour une famille finie de nombres premiers $p 1, p 2,..., p n$ , le plus petit diviseur $\geq 2$ de l'entier $1+ p_1 p_2 \cdots p_n$ est un nombre premier qui n'est pas dans la famille initiale. En conséquence, aucune famille finie ne contient tous les nombres premiers (cf Théorème d'Euclide sur les nombres premiers).

Le théorème fondamental intervient explicitement dans l'étude des fonctions additives et multiplicatives. En particulier, toute fonction complètement multiplicative est uniquement déterminée par les valeurs prises en les entiers premiers.

[modifier] Notes et références

↑ Lire la proposition 31 du livre VII

[modifier] Voir aussi

Décomposition en produit de facteurs premiers
Algorithme de décomposition en produit de facteurs premiers
Livre VII des Éléments d'Euclide

Théorème fondamental de l'arithmétique

Sommaire

[modifier] Histoire

[modifier] Démonstration

[modifier] (1) Existence

[modifier] (2) Unicité

[modifier] Applications

[modifier] Notes et références

[modifier] Voir aussi

Rechercher

Menu

Espace membre

Changer d'île