I.4.

PPCM et PGCD de deux entiers relatifs 19

β α α β
De même : p i i divise p i i ; donc : p i i = p i i ; d’où : αi = βi . ä

I.3.2.b Nombres de diviseurs naturels d’un entier

Exercice I.3.2. Déterminer l’ensemble des diviseurs naturels de 224
Solution Décomposons 224 en produit de facteurs premiers. Il vient :

224 = 25 × 7.

Les diviseurs naturels de 224 sont donc les nombres, d , qui peuvent s’écrire sous la forme : d =
2α × 7β avec α ∈ {0 ; 1 ; 2 ; 3 ; 4 ; 5} et α ∈ {0 ; 1}.
On en déduit que 224 a 10 diviseurs naturels dont l’ensemble est :
© ª
D(224) = 1 ; 2 ; 4 ; 8 ; 16 ; 32 ; 7 ; 14 ; 28 ; 56 ; 112 ; 224 .

I.4 PPCM et PGCD de deux entiers relatifs

I.4.1 PPCM de deux entiers relatifs
Soit a et b deux entiers relatifs non nuls et A l’ensemble des entiers naturels non nuls apparte-
nant à a Z ∩b Z (on a donc : A = a Z ∩b Z ∩ N⋆ ). A est une partie non vide de N (car |ab| ∈A), donc
A admet un plus petit élément.
D ÉFINITION I.4.1
Soit a et b deux entiers relatifs non nuls.
Le plus petit commun multiple de a et b, noté PPCM (a, b), est le plus petit élément strictement
positif de a Z ∩ b Z.

Exemple On a : 12Z = {· · · ; −12 ; 0 ; 12 ; 24 ; 36 ; 48 ; 60 ; 72 ; 84 ; 96 ; · · ·}

16Z = {· · · ; −16 ; 0 ; 16 ; 32 ; 48 ; 64 ; 80 ; 96 ; · · ·}
12Z ∩ 16Z = {· · · ; −48 ; 0 ; 48 ; 96 ; · · ·}
donc : PPCM (12 ; 16) = 48
Exercice I.4.1. Déterminer le PPCM de 8 et 3.
Solution Les premiers multiples strictement positifs de 8 sont : 8 ; 16 ; 24 ; . . .
le premier d’entre eux qui est multiple de 3 est 24 ; donc : PPCM (3 ; 8) = 24. 
Remarques
1. Pour tous entiers relatifs non nuls a et b, on a : PPCM (a ; b) = PPCM (|a| ; |b|).
Dans une recherche de PPCM, on peut donc toujours se ramener à la recherche du PPCM de deux
entiers naturels non nuls.
2. Pour tous entiers naturels non nuls a et b, on a : max{a ; b} É PPCM (a ; b) É ab.
3. Pour tous entiers naturels non nuls a et b, on a : PPCM (a ; b) = a ⇐⇒ a ∈ b Z.

T HÉORÈME I.4.1
Soit a et b deux entiers naturels non nuls et µ leur PPCM.
On a : a Z ∩ b Z = µZ.

Démonstration
Soit k un élément de µZ.
k est multiple de µ et µ est multiple de a et de b ; donc, par transitivité, k est multiple de a et de b.
Tout multiple de µ est multiple de a et de b ; donc : µZ ⊂ a Z ∩ b Z.

2006-2007