
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