1. (a)
(b) Soit . La relation de récurrence s'écrit : C'est une combinaison linéaire de et à coefficients entiers, égale à . D'après le théorème de Bézout :
2. (a) Pour tout :
(b) On en déduit , puis :
Vérification : .
3. L'expression précédente donne et . Or le PGCD est compatible avec la multiplication par un entier positif : Or la question 1b a établi que : Vérification pour : .