88
Démo
[Raisonner.
]
Le but de cet exercice est de démontrer la propriété : « Pour tous
a, b, c entiers tels que
a et
b ne soient pas simultanément nuls, l'équation
ax + by = c admet des solutions si, et seulement si,
c est un multiple de
\text{PGCD}(a \;; b). »
1. Montrer que si l'équation ax + by = c admet des solutions, alors \text{PGCD}(a \;; b) | c.
2. Réciproquement, supposons que c est un multiple de \text{PGCD}(a \;; b). Soit c' l'entier tel que c = c' \text{PGCD}(a \;; b).
Déduire de l'identité de Bézout qu'il existe un couple solution de l'équation ax + by = c.