PPCM deux de entiers relatifs.
Lien entre le PGCD et le PPCM.
Proposition 1 et définition
Soit a et b deux entiers relatifs non nuls.
L'ensemble des multiples, strictement positifs, communs à a et b admet un plus petit élément
est appelé : plus petit multiple commun et est noté
Preuve de la proposition 1.
Cet ensemble n'est pas vide puisque il contient de
c'est donc une partie non vide de
elle
admet un plus petit élément non nul.
Proposition 2
L'ensemble des multiples communs de a et b est l'ensemble des multiples de
divise tous les multiples communs de a et b)
Preuve de la proposition 2.
Si M est multiple de
il est aussi clairement de a et b (puisque
est
multiple commun de a et b.
Réciproquement Soit M un multiple commun de a et b la DE de M par
, r est donc un multiple commun de
a et b . Par définition de
(plus petit multiple commun) et puisque
. M est donc un multiple de
Les multiples communs de a et b sont les multiples de
.
Proposition 3
Si a et b sont deux entiers relatifs non nuls alors :
PGCD
a,b
×PPCM
a,b
=
∣
a×b
∣
Preuve de la proposition 3.
puisque
nous pouvons considérer a et b entiers
naturels non nuls.
Soit
il existe alors a' et b' premiers entre eux tels que
Observons alors le nombre
et un multiple de a et b puisque
Soit M un multiple commun de a et b; M s'écrit alors
alors d'après le théorème de Gauss
M=b '=' a ' b ' ='a ' b ' ='
Conclusion Tout multiple commun de a et b est aussi multiple de
PGCD
a,b
×PPCM
a,b
=×= a ' b ' = a ' b ' =a×b
PPCM
k a ,k b
=k PPCM
a,b