ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · PGCD et algorithme d'Euclide

Exercice 2

Calcul

Trouver tous les couples d’entiers naturels (a,b)(a, b) avec a<ba < b tels que :

1. {ab=432PGCD(a,b)=6\left\{\begin{array}{ll} ab=432 \\ \mathrm{PGCD}(a,b)= 6\end{array} \right.

2. {ab=7776PGCD(a,b)=18\left\{\begin{array}{ll} ab=7776 \\ \mathrm{PGCD}(a,b)= 18\end{array} \right.

3. {a+b=24PGCD(a,b)=4\left\{\begin{array}{ll} a+b=24 \\ \mathrm{PGCD}(a,b)= 4\end{array} \right.

Corrigé

Méthode commune : si PGCD(a,b)=d\mathrm{PGCD}(a,b)=d, on écrit a=da′a=da' et b=db′b=db' avec PGCD(a′,b′)=1\mathrm{PGCD}(a',b')=1, puis on traduit la seconde condition sur a′a' et b′b'.

1. On pose a=6a′a=6a' et b=6b′b=6b' avec PGCD(a′,b′)=1\mathrm{PGCD}(a',b')=1. Alors : ab=36a′b′=432d’ouˋa′b′=12ab=36a'b'=432 \qquad \text{d'où} \qquad a'b'=12 Les couples (a′,b′)(a',b') avec a′<b′a'<b', de produit 1212 et premiers entre eux, sont (1 ;12)(1\,;12) et (3 ;4)(3\,;4) — le couple (2 ;6)(2\,;6) est à écarter car PGCD(2,6)=2\mathrm{PGCD}(2,6)=2. (a ;b)∈{(6 ;72) ; (18 ;24)}\boxed{(a\,;b)\in\{(6\,;72)\,;\,(18\,;24)\}} Vérification : 6×72=4326\times 72=432 et PGCD(6,72)=6\mathrm{PGCD}(6,72)=6 ; 18×24=43218\times 24=432 et PGCD(18,24)=6\mathrm{PGCD}(18,24)=6.

2. On pose a=18a′a=18a' et b=18b′b=18b', d'où 324a′b′=7776324a'b'=7776, soit a′b′=24a'b'=24. Les couples premiers entre eux avec a′<b′a'<b' sont (1 ;24)(1\,;24) et (3 ;8)(3\,;8). (a ;b)∈{(18 ;432) ; (54 ;144)}\boxed{(a\,;b)\in\{(18\,;432)\,;\,(54\,;144)\}}

3. On pose a=4a′a=4a' et b=4b′b=4b', d'où 4(a′+b′)=244(a'+b')=24, soit a′+b′=6a'+b'=6. Les couples premiers entre eux avec a′<b′a'<b' sont : (1 ;5)(1\,;5) seulement, car (2 ;4)(2\,;4) a pour PGCD 22 et (3 ;3)(3\,;3) ne vérifie pas a′<b′a'<b'. (a ;b)=(4 ;20)\boxed{(a\,;b)=(4\,;20)}

Dans l'édifice

Thèmes

pgcd, équations diophantiennes

Notions

PGCD

Ouvrir dans l'atlas interactif →