ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · Théorème de Bézout et algorithme d'Euclide étendu

Exercice 14

Calcul

1. Déterminer les couples d’entiers relatifs (x,y)(x, y) tels que : 33x−45y=033x - 45y = 0.

2. En déduire les couples d’entiers relatifs (x,y)(x, y) tels que : 33x+45y=1233x + 45y = 12.

Corrigé

1. L'équation 33x−45y=033x-45y=0 s'écrit 33x=45y33x=45y. Comme PGCD(33,45)=3\mathrm{PGCD}(33,45)=3, on simplifie par 33 : 11x=15y11x=15y Ainsi 1111 divise 15y15y. Or PGCD(11,15)=1\mathrm{PGCD}(11,15)=1, donc d'après le théorème de Gauss, 1111 divise yy : il existe k∈ℤk\in\mathbb{Z} tel que y=11ky=11k. En reportant : 11x=15×11kd’ouˋx=15k11x=15\times 11k \qquad \text{d'où} \qquad x=15k

S={(15k ;11k)  ;  k∈ℤ}\boxed{S=\left\{(15k\,;11k) \; ; \; k\in\mathbb{Z}\right\}} Vérification : 33×15k−45×11k=495k−495k=033\times 15k-45\times 11k=495k-495k=0.

2. L'équation 33x+45y=1233x+45y=12 admet des solutions car PGCD(33,45)=3\mathrm{PGCD}(33,45)=3 divise 1212. On simplifie d'abord par 33 : 11x+15y=411x+15y=4 Solution particulière : on remarque que 11×(−1)+15×1=411\times(-1)+15\times 1=4, donc le couple (−1 ;1)(-1\,;1) convient.

Solutions générales : soit (x ;y)(x\,;y) une solution. On soustrait terme à terme : {11x+15y=411×(−1)+15×1=4⟹11(x+1)+15(y−1)=0\left\{\begin{array}{l} 11x+15y=4 \\ 11\times(-1)+15\times 1=4 \end{array}\right. \qquad \Longrightarrow \qquad 11(x+1)+15(y-1)=0 soit 11(x+1)=15(1−y)11(x+1)=15(1-y). Comme 1111 et 1515 sont premiers entre eux et que 1111 divise 15(1−y)15(1-y), le théorème de Gauss donne 11∣(1−y)11\mid(1-y) : il existe k∈ℤk\in\mathbb{Z} tel que 1−y=11k1-y=11k, c'est-à-dire y=1−11ky=1-11k. En reportant, 11(x+1)=15×11k11(x+1)=15\times 11k, d'où x=15k−1x=15k-1. S={(15k−1 ;1−11k)  ;  k∈ℤ}\boxed{S=\left\{(15k-1\,;1-11k) \; ; \; k\in\mathbb{Z}\right\}} Vérification : 33(15k−1)+45(1−11k)=495k−33+45−495k=1233(15k-1)+45(1-11k)=495k-33+45-495k=12.

Dans l'édifice

Thèmes

théorème de bézout, équations diophantiennes

Ouvrir dans l'atlas interactif →