Résoudre dans ℤ×ℤ l’équation 7x − 5y = 1.
Voir la correction
pgcd(7 ; 5) = 1, qui divise 1 : l’équation admet des solutions.
Solution particulière. 7×3 − 5×4 = 21 − 20 = 1, donc (3 ; 4) convient.
Solution générale. En soustrayant les deux égalités : 7(x − 3) − 5(y − 4) = 0, soit 7(x − 3) = 5(y − 4).
Ainsi 5 divise 7(x − 3). Or 5 et 7 sont premiers entre eux, donc d’après le théorème de Gauss, 5 divise x − 3 : il existe k ∈ ℤ tel que x = 3 + 5k.
En remplaçant : 7 × 5k = 5(y − 4), d’où y = 4 + 7k.
S = { (3 + 5k ; 4 + 7k), k ∈ ℤ }. Vérification : 7(3+5k) − 5(4+7k) = 21 + 35k − 20 − 35k = 1. ✓