MetMat

Comment résoudre une équation diophantienne ax+by=cax + by = c ?

En vérifiant d=pgcd(a,b)cd = \mathrm{pgcd}(a,b) \mid c, en trouvant une solution particulière (x0,y0)(x_0, y_0) par l'algorithme de Bézout, puis en décrivant l'ensemble des solutions

L'objectif

Trouver toutes les solutions entières (x,y)(x,y) de ax+by=cax+by=c.

Le principe

L'équation ax+by=cax+by=c admet des solutions entières si et seulement si pgcd(a,b)c\mathrm{pgcd}(a,b) \mid c (théorème de Bézout).

La méthode
  1. 1
    Calculer d=pgcd(a,b)d = \mathrm{pgcd}(a,b) par l'algorithme d'Euclide. Si dcd \nmid c, conclure qu'il n'y a pas de solution.
    Voir
  2. 2
    Si dcd \mid c, diviser par dd : résoudre adx+bdy=cd\frac{a}{d}x + \frac{b}{d}y = \frac{c}{d} (avec pgcd(ad,bd)=1\mathrm{pgcd}(\frac{a}{d},\frac{b}{d})=1).
  3. 3
    Trouver une relation de Bézout adu+bdv=1\frac{a}{d} u + \frac{b}{d} v = 1 (par remontée de l'algorithme d'Euclide), puis multiplier par cd\frac{c}{d} pour obtenir (x0,y0)(x_0, y_0).
    Voir
  4. 4
    L'ensemble des solutions est \left\{ $$\begin{array}{l} x = x_0 + \frac{b}{d}k \\ y = y_0 - \frac{a}{d}k \end{array}$$ \right., kZk \in \mathbb{Z}.

Exemple corrigé

Difficulté croissante de 1 à 5

Exercices aujourd'hui0 / 3

Prêt à t'entraîner ?

Génère un exercice personnalisé sur cette méthode et entraîne-toi avec la correction IA.