Soient et deux nombres entiers relatifs. On note leur pgcd. Construisons les suites et à valeurs dans de la manière suivante : et pour tout on pose et où est le reste de la division euclidienne de par
1
Montrer que si est le pgcd de et alors est également le pgcd de et
2
Déduire de la questionh précédente que est le pgcd des nombres et pour tout
3
Montrer que la suite est strictement décroissante. Que peut-on en déduire?
4
Déduire de ce qui précède que pour tout couple d’entiers relatifs il existe un couple d’entier relatifs tel que: