![](//s1.studylibfr.com/store/data-gzf/f059d7e7bd05d4e132093c9719830123/1/003777354.htmlex.zip/bg4.jpg)
aZdonc pgcd(a; 0) = a
1.4.2 Remarque: pgcd (a1; a2; :::; ap)et ppcm (a1; a2; :::; ap)sont, parfois, notés
respectivement a1^a2^::: ^apet a1_a2_::: _ap
1.4.3 Théorème (Caractérisation du pgcd et du ppcm): Soient a1; a2; :::; ap
des entiers.
1) L’entier naturel dest le pgcd (a1; a2; :::; ap), si et seulement, si
i) ddivise tous les ai
ii) Si d0divise tous les ai;alors d0divise d
2) L’entier naturel mest le ppcm (a1; a2; :::; ap), si et seulement, si
i) Tous les aidivisent m
ii) Si tous les aidivisent m0;alors mdivise m0
Preuve:1) i) Si d=pgcd (a1; a2; :::; ap);alors pour tout les ion a: aiZ
p
P
i=1
aiZ=dZ
donc, d’après la prop1.1.1, ddivise tous les ai:
ii) Si d0divise tous les ai;alors, d’après la prop 1.1.1, aiZd0Zpour tout i
, d’où d0Z
p
P
i=1
aiZ=dZet toujours d’après la prop 1.1.1 d0divise d:
Inversement, soit dun entier naturel véri…ant i) et ii). D’après i), ddivise
tous les aidonc aiZdZet
p
P
i=1
aiZdZ;d’où ddivise pgcd (a1; a2; :::; ap):En
utilisant ii) et le fait que pgcd (a1; a2; :::; ap)divise tous les ai;on conclut que
pgcd (a1; a2; :::; ap)divise d, d’où l’égalité pgcd (a1; a2; :::; ap) = dcar ils sont tous
les deux positifs.
L’assertion 2) se démontre de la même façon que 1).
Exemple: pgcd (1; a)=1car 1est l’entier naturel divise 1et aet tout autre
diviseur commun de 1et adivise 1
1.4.4 Propriétés du pgcd et du ppcm:Soient a1; a2; :::; apdes entiers.
1) Le pgcd et le ppcm ne changent pas en permuttant les ai
2) pgcd (a1;a2; :::; ap) = pgcd (a1; a2; :::; ap)
et ppcm (a1;a2; :::; ap) = ppcm (a1; a2; :::; ap)
3) Pour tout c2Zon a pgcd (ca1; ca2; :::; cap) = jcjpgcd (a1; a2; :::; ap)et
ppcm (ca1; ca2; :::; cap) = jcjppcm (a1; a2; :::; ap)
4) Pour tout q2 f1;2; :::; p 1g, on a:
pgcd (a1; a2; :::; ap) = pgcd (pgcd (a1; a2; :::; aq); pgcd (aq+1; aq+2; :::; ap))
et ppcm (a1; a2; :::; ap) = ppcm (ppcm (a1; a2; :::; aq); ppcm (aq+1; aq+2; :::; ap))
4