Démonstration :
Considérons des nombres premiers p1, p2,…, pn et montrons que les nombres premiers sont en
plus grande quantité que p1, p2,…, pn.
Pour cela considérons N = p1 × p2 ×…× pn +1.
Cas 1 : N est premier
N étant strictement plus quands que les entiers p1, p2,…, pn, c’est un nombre premier autre
que p1, p2,…, pn.
Cas 2 : N n’est pas premier
Il admet alors un diviseur premier noté N’ (positif).
Supposons que N’ soit l’un des entiers p1, p2,…, pn, alors il diviserait p1 × p2 ×…× pn.
or N’ divise N = p1 × p2 ×…× pn +1
donc N’ diviserait N – p1 × p2 ×…× pn
càd N’ diviserait 1 et N’ serait égal à 1
Absurde car N’ est premier.
N’ est donc différent de p1, p2,…, pn.
Donc dans les 2 cas nous obtenons un nombre premier autre que ceux considérés au départ.
Théorème fondamental de l’arithmétique
Soit n
N, n ≥ 2.
n se décompose en un produit de facteurs premiers
cette décomposition est unique, à l’ordre des facteurs près.
Démonstration :
_ Existence :
n ≥ 2
D’après le théorème des diviseurs premiers, n admet un diviseur premier p1.
Donc n = p1 × n1 avec 1 ≤ n1 < n
Si n1 = 1 n = p1, le théorème est démontré
Si n1 ≥ 2, n1 admet un diviseur premier p2
donc n1 = p2 × n2 avec 1 ≤ n2 < n1
Si n2 = 1 n1 = p2 et n = p1 × p2, le théorème est démontré
Si n2 ≥ 2, n2 admet un diviseur premier p3
donc n2 = p3 × n3 avec 1 ≤ n3 < n2
Si n3 = 1 n2 = p3 et n = p1 × p2 × p3, le théorème est démontré
Si n3 ≥ 2, n3 admet un diviseur premier p4
……………….
On itère le raisonnement tant que le quotient est ≠ 1.
On fait apparaitre une suite finie d’entiers décroissants strictement positifs.
Elle forme un produit de nombres premiers.
Au bout d’un nombre fini K d’opérations, on obtient :
nK = 1, on a alors n = p1 × p2 ×…× pK
_ Unicité : admise