1) On peut déduire d'une formule du cours :
PGCD(a; b) = PGCD(a; a + b) = PGCD(b; a + b) = d
2)On peut démontrer que PGCD(a; b)|PGCD(a; kb) où k
Z .
On a PGCD(ab; a + b)|PGCD(ab; a(a + b))
Mais PGCD(ab; a(a + b)) = ad d'où PGCD(ab; a + b)|ad. P
On obtient de même : GCD(ab; a + b)|bd.
On a de plus, d'après le théorème de Bézout,
(u;v)
Z² tel que au+bv=d.
Comme PGCD(ab;a+b) divise ad et bd, par combinaison linéaire :
PGCD(ab;a+b)|uad+vbd=(au+bv)d
PGCD(ab;a+b)|d²
3)PPCM(a; b) = a'b'd et (a + b) = (a'+b')d
4)On peut démontrer que PGCD(a';b')=1
PGCD(PPCM(a;b);a+b)=dPGCD(a'b';a'+b'). D'après la question
2), PGCD(a'b';a'+b')|PGCD(a';b')²=1²=1
D'où PGCD(PPCM(a;b);a+b)=d
Je n'ai pas trop détaillé, si jamais il y a des questions, tu sais quoi faire !!!