CORRECTION

Exercice supplémentaire n° 3
Spécialité

1°) a et b sont deux entiers naturels tels que PGCD(a + b ; ab) = p2 avec p premier.
a) On peut écrire a(a + b) - ab = a2 + ab - ab = a2 .
p2 étant le PGCD de (a + b) et ab, p2 divise (a + b) et divise ab, donc p2 divise a(a +b) et ab,
donc p2 divise a(a + b) - ab, donc p2 divise a2 .

p divise p2, donc p divise a2.

On sait que pour un nombre premier p, si p divise ab, alors p divise a ou p divise b.
Comme p divise a2, on en déduit que p divise a ou p divise a.
Donc : p divise a .

On sait que p divise p2, et p2 divise (a + b) puisque p2 est le PGCD de (a + b) et ab.

donc p divise (a + b).
D'autre part p divise a, donc p divise a + b - a, donc p divise b .

b) Soit d le PGCD de a et b.
d divise a et b, donc d divise (a + b) et ab, donc d divise le PGCD de (a + b) et ab, donc d divise p2.
p étant un nombre premier, p2 est la décomposition en facteur premier de p2.
L'ensemble des diviseurs de p2 est donc : {1 ; p ; p2}. On en déduit que d ∈ {1 ; p ; p2}.
D'autre part on sait que p divise a et b, donc p divise d.
On a donc : PGCD(a ; b) = p ou PGCD(a ; b) = p2 .

2°) On cherche à déterminer les entiers naturels a et b tels que :

PGCD(a + b ; ab) = 49 et PPCM(a ; b) = 231 .
a) a et b sont deux entiers tels que PGCD(a + b ; ab) = 49 et PPCM(a ; b) = 231 .
On a 49 = 72, la question précédente permet d'affirmer que PGCD(a ; b) = 7 ou PGCD(a ; b) = 49 .
Or on sait que PGCD(a ; b) divise PPCM(a ; b), donc PGCD(a ; b) divise 231.
49 n'étant pas un diviseur de 231 on a donc : PGCD(a ; b) = 7 .

b) Sachant que PGCD(a ; b) = 7, on peut écrire a = 7a' et b = 7b' avec a' et b' premiers entre eux.
On sait de plus que ab = PGCD(a ; b) x PPCM(a ; b) .
On a donc 7a' x 7b' = 7 x 231 donc a'b' = 33 .
On sait que la décomposition de 33 en facteurs premiers est 33 = 3 x 11.
L'ensemble des diviseurs de 33 est donc {1 ; 3 ; 11 ; 33}.
On a donc (a' ; b') ∈ {(1 ; 33) ; (3 ; 11) ; (11 ; 3) ; (33 ; 1)}

Pour (a' ; b') = (1 ; 33) on a a = 7 et b = 231 donc

PGCD(a + b ; ab) = PGCD(238 ; 1617) = PGCD(7 x 34 ; 7 x 231) = 7 x PGCD(2 x 17 ; 3 x 7 x 11) = 7.
Le couple (a ; b) = (7 ; 231) n'est donc pas solution du problème posé.
Il est alors immédiat que le couple (231 ; 7) correspondant à (a' ; b') = (33 ; 1) n'est pas non plus solution.

Pour (a' ; b') = (3 ; 11) on a a = 21 et b = 77 donc

PGCD(a + b ; ab) = PGCD(98 ; 1617) = PGCD(2 x 49 ; 33 x 49) = 49 PGCD(2 ; 33) = 49 .
PPCM(a ; b) = PPCM(21 ; 77) = PPCM(7 x 3 ; 7 x 11) = 7 x PPCM(3 ; 11) = 7 x 33 = 231 .
Le couple (a ; b) = (21 ; 77) est donc solution du problème posé.
Il est alors immédiat que le couple (77 ; 21) correspondant à (a' ; b') = (11 ; 3) est aussi solution.

Les seuls entiers naturels a et b tels que PGCD(a + b ; ab) = 49 et PPCM(a ; b) = 231
sont donc 21 et 77.

http://xmaths.free.fr/ TS - Révisions - Spécialité - Exercice supplémentaire n°3 - Corrigé 1/1