Matiko Logo

3 ex.

Difficulté :
L'essentiel du cours (1 notion)

Équations diophantiennes $ax + by = c$

Propriété : L'équation $ax + by = c$ admet des solutions dans $\mathbb{Z}^2$ si et seulement si $\text{PGCD}(a,b)$ divise $c$. La simplification par $\text{PGCD}(a,b)$ donne l'équation équivalente $a'x + b'y = c'$ avec $\text{PGCD}(a',b')=1$.

Méthode : 1. Tester $\text{PGCD}(a,b) \mid c$. 2. Trouver une solution particulière $(x_0,y_0)$ (Euclide étendu ou évidente). 3. Écrire $a'(x-x_0) = -b'(y-y_0)$. 4. Appliquer le théorème de Gauss pour conclure $S = \{(x_0 + k b', y_0 - k a'), k \in \mathbb{Z}\}$.