On cherche à déterminer tous les couples d'entiers relatifs \left(x;y\right) solutions de l'équation :
\left(E\right) : 9x+8y= 1
On sait que le couple \left(-7 ; 8\right) est solution de l'équation.
Quelle proposition démontre que si le couple \left(x ; y\right) est solution de \left(E\right) , alors on a : 9\left(x+7\right) = 8\left(-y+8\right) ?
Dans quelle proposition en déduit-on que si le couple \left(x ; y\right) est solution de \left(E\right) alors il existe un entier k tel que x = -7+8 k et y=8-9k ?
Quel est l'ensemble des couples solutions de \left(E\right) ?