ATLAS Ouvrir dans l'atlas →

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

Exercice 15

Calcul

1. Déterminer les couples d’entiers relatifs (x,y)(x, y) tels que : 7(x−3)=5(y−2)7(x - 3) = 5(y - 2).

2. En déduire les couples d’entiers relatifs (x,y)(x, y) tels que : 7x≡1  [5]7x \equiv 1 \; [5].

Corrigé

1. L'équation 7(x−3)=5(y−2)7(x-3)=5(y-2) montre que 55 divise 7(x−3)7(x-3). Or PGCD(5,7)=1\mathrm{PGCD}(5,7)=1, donc d'après le théorème de Gauss, 55 divise x−3x-3 : il existe k∈ℤk\in\mathbb{Z} tel que : x−3=5kc’est-aˋ-direx=5k+3x-3=5k \qquad \text{c'est-à-dire} \qquad x=5k+3 En reportant dans l'équation : 7×5k=5(y−2)7\times 5k=5(y-2), d'où y−2=7ky-2=7k et y=7k+2y=7k+2. S={(5k+3 ;7k+2)  ;  k∈ℤ}\boxed{S=\left\{(5k+3\,;7k+2) \; ; \; k\in\mathbb{Z}\right\}}

2. 7x≡1  [5]7x\equiv 1\;[5] signifie que 55 divise 7x−17x-1, c'est-à-dire qu'il existe un entier yy tel que 7x−1=5y7x-1=5y, soit 7x−5y=17x-5y=1. On fait apparaître l'équation précédente en écrivant : 7x−5y=1  ⟺  7x−21=5y−20  ⟺  7(x−3)=5(y−4)7x-5y=1 \iff 7x-21=5y-20 \iff 7(x-3)=5(y-4) Le raisonnement de la question 1 s'applique à l'identique : x−3=5kx-3=5k, donc : x≡3  [5], c’est-aˋ-dire x=5k+3 ouˋ k∈ℤ\boxed{x\equiv 3\;[5], \text{ c'est-à-dire } x=5k+3 \text{ où } k\in\mathbb{Z}} Vérification : 7×3=21=4×5+17\times 3=21=4\times 5+1, donc 7×3≡1  [5]7\times 3\equiv 1\;[5].

Dans l'édifice

Thèmes

équations diophantiennes, congruences

Notions

entiers modulo n (anneau des)

Ouvrir dans l'atlas interactif →