f) Tant que di > 0, le point na pas de coordonnes entires, la dmarche prcdente gnre un nouveau point.

Les points successifs An sont tous sur le cercle et les

dnominateurs dn, strictement positifs, forment une suite
dentiers strictement dcroissante. Donc, ncessairement,
on obtiendra dn = 1.
ce moment, An aura des coordonnes (a ; b) entires.
x02

2 1. Si (x0, y0, z0) est solution, alors

2
x
----20z0

2
y
----20z0

y02

Nz20

do :

= N.

x y
Le cercle passe par le point de coordonnes ----0- ; ----0- .
z0 z0
2. Solution (a, b, 1).
Une condition ncessaire et suffisante pour que lquation x2 + y2 = Nz2 ait une solution est donc que N soit la
somme des carrs de deux entiers.
On peut noncer cela en disant que le cercle de rayon
N passe par un point de coordonnes entires.
On peut dire encore, en utilisant les rsultats dmontrs
prcdemment : il faut et il suffit que le cercle de rayon
N passe par un point de coordonnes rationnelles.

En prenant la contrapose on obtient : si n nest pas un

carr parfait, alors

2 Mme dmarche : si
p

n est un rationnel, alors

nb = a avec a et b premiers entre eux. Donc a p et b p

premiers entre eux. Il en rsulte n divise a p et, en appliquant Gauss, a p divise n donc n = a p. Puis on prend la
contrapose.
3 Si u = --qp- non entier avec p et q premiers entre eux, est
p
solution, alors P --- = 0. En multipliant par q n, on obtient,
q
aprs simplifications : pn + a1pn1q + ... + anqn = 0.
Il en rsulte que q divise pn, do q = 1 car pn et q sont
premiers entre eux.
u est donc entier ce qui contredit lhypothse u non
entier. Donc u est soit entier, soit irrationnel.

4 1. a) a2 = 8 + 2 15 do (a2 8)2 = 60 a4 16a2 + 4 = 0.

a vrifie lquation x4 16x2 + 4 = 0.
b) Daprs

3 , a est entier ou irrationnel. Si a tait entier,

a2 le serait aussi et 2 15 serait entier, ce qui est faux.

Donc a nest pas entier, il est donc irrationnel.
2. a =

TD 5

n est irrationnel.

n + m est solution de lquation :

x4 2(n + m)x2 + (m m)2 = 0,

1 1. a) On lve au carr et on multiplie par b .

b) a2 divise nb2 et a2 est premier avec b2, donc, daprs le
thorme de Gauss, a2 divise n.
Or, n divise a2 donc n = a2.
2. Nous venons de dmontrer que si
alors n est un carr parfait (et donc

n est un rationnel,
n entier).

donc daprs

3 , a est entier ou irrationnel.

Si a tait entier, a2 le serait aussi et alors 2 nm qui est

gal a2 n m serait entier. Donc

nm serait rationnel

et, daprs 1 , nm serait donc un carr parfait, ce qui contredit lhypothse.

Conclusion : a nest pas entier, donc a est irrationnel.

Corrigs des exercices

matriser le cours (page 43)

1. Plus grand commun diviseur
1 1. (24) = {1, 2, 3, 4, 6, 8, 12, 24};
(18) = {1, 2, 3, 6, 9, 18};
(24) (18) = {1, 2, 3, 6} et PGCD(24, 18) = 6.
2. (150) = {1, 2, 3, 5, 6, 10, 15, 25, 30, 50, 75, 150};
(240) = {1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 20, 24, 30,
40, 48, 60, 80, 120, 240};
(150) (240) = {1, 2, 3, 5, 6, 10, 15, 30}
et PGCD(150, 240) = 30.
3. (60) = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60};
(84) = {1, 2, 3, 4, 6, 7, 12, 14, 21, 28, 42, 84};
(60) (84) = {1, 2, 3, 4, 6, 12} et PGCD(60, 84) = 12.
4. (150) = {1, 2, 3, 5, 6, 10, 15, 25, 30, 50, 75, 150};
(77) = {1, 7, 11, 77};
(150) (77) = {1} et PGCD(150, 77) = 1.

250

2 Corrig dans le manuel.

3 a) 60;

b) 156;

c) 140.

4 a) PGCD = 24;
diviseurs communs : {1, 2, 3, 4, 6, 8, 12, 24}.
b) PGCD = 2; diviseurs communs : {1, 2}.
c) PGCD = 49; diviseurs communs : {1, 7, 49}.
5 1. {1, 2, 5, 10, 25, 50}.
2. {1, 2, 3, 4, 6, 8, 12, 24}.
3. {1, 2, 4, 7, 14, 28}.
6 Supposons quil existe une solution b. Alors b divise
4294 10 = 4284 ainsi que 3521 11 = 3510, donc b
divise leur PGCD qui est 18.
Or b > 10 et b > 11, donc la seule solution est b = 18.
On vrifie que rciproquement, 18 convient. Cest le cas,
car 4 294 = 18 238 + 10 et 3521 = 18 195 + 11.

7 Supposons quil existe une solution b; a = 50 12 et

b = b 12. On sait que b et 50 sont premiers entre eux.
En outre, 260 < b < 300 implique 260 < 12b < 300, do
65
------ < b < 25. Les valeurs de b qui vrifient ces ingalits
3
sont 22, 23 et 24. Le seul de ces trois entiers qui est
premier avec 50 est 23. Donc sil existe une solution, cest
b = 23 12 = 276. On constate que cette valeur convient.

2. Thorme de Bezout
8 1. Oui.

2. Non (facteur commun 7).

3. Oui.

9 (1; 11), (5; 7), (7; 5), (11; 1).

10 Lensemble des valeurs de b qui conviennent est :
{23, 25, 29}.

11 Si d divise a et b, il divise 3b 2a = 1. Donc 1 est le

seul diviseur commun a et b et donc a et b sont
premiers entre eux.
12 2b 3a = 1. Daprs le thorme de Bezout, a et b
sont premiers entre eux.
13 7b 5a = 1. Daprs le thorme de Bezout, a et b
sont premiers entre eux.
14 Avec lalgorithme dEuclide, on trouve :
x = 6 et y = 13.

15 Avec lalgorithme dEuclide, on trouve :

x = 11 et y = 24.

3. Caractrisations et proprits
du PGCD
16 1. Les nombres 5 et 11 sont premiers entre eux, donc
en appliquant le (2) du thorme 4, on peut dire que 12
est le PGCD de a et b.
2. Pour la mme raison, 3 et 8 sont premiers entre eux,
donc 15 est le PGCD de a et b.
3. De mme, 22 et 15 sont premiers entre eux, donc 26
est le PGCD de a et b.
4. Les nombres 12 et 35 sont premiers entre eux et sont
les quotients de a et b par 20. Le PGCD de a et b est 20
daprs le (2) du thorme 4.
5. Le PGCD est 12 car 32 et 75 sont premiers entre eux.
6. Le PGCD est 24 car 100 et 63 sont premiers entre eux.
17 Corrig dans le manuel.
18 Supposons quil existe une solution et appelons a le
plus petit.
a = 8a et b = 8b donc a + b = 18 avec a et b premiers
entre eux. Les solutions pour a et b sont :
a = 1 et b = 17 qui donne a = 8 et b = 136;
a = 5 et b = 13 qui donne a = 40 et b = 104;
a = 7 et b = 11 qui donne a = 56 et b = 88.

Les nombres cherchs sont donc, lordre prs, 8 et 136,

ou bien 40 et 104, ou bien 56 et 88. On vrifie facilement
quils conviennent. Si on crit tous les couples (a, b), il y
en a six en tenant compte de lordre.

19 1. u et v sont premiers entre eux.

2. uv = 35 donc les valeurs possibles de u et v sont :
u = 1 et v = 35, do u = 15 et v = 525;
u = 5 et v = 7, do u = 75 et v = 105;
u = 7 et v = 5, do u = 105 et v = 75;
u = 35 et v = 1, do u = 525 et v = 15.
On vrifie facilement que ces valeurs conviennent.
20 Sil existe une solution, a = 17a et b = 17b avec a et
b premiers entre eux. Lhypothse ab = 1734 implique
172 ab = 1734 do ab = 6.
a = 1 et b = 6 donne a = 17 et b = 102;
a = 2 et b = 3 donne a = 34 et b = 51;
a = 3 et b = 2 donne a = 51 et b = 34;
a = 6 et b = 1 donne a = 102 et b = 17.
On peut vrifier facilement que toutes ces solutions
conviennent.

21 (2n + 1) (2n) = 1, donc, daprs le thorme de

Bezout, 2n + 1 et 2n sont premiers entre eux. Comme
a = n 2n et b = n (2n + 1), il en rsulte, en appliquant
le thorme 4 (partie (2)), que n est le PGCD de a et b.

4. Applications
22 a)  = {(0, 0), (6, 11), (12, 22), (18, 33), (24, 44)}.
b)  = {(0, 0), (7, 3), (14, 6)}.
23  = {(x, y) / x = 3 + 3k et y = 4k avec k *}.
24 Corrig dans le manuel.
25 1. a et b sont premiers entre eux, donc a et b3 sont
premiers entre eux (exercice rsolu 6).
2. a divise a2 + a donc a divise 7b3. Mais a est premier
avec b3 donc a divise 7 (thorme de Gauss).
Les seules valeurs possibles de a sont 1 ou 7.
a = 1 donne 7b3 = 2 : impossible.
a = 7 donne 7b3 = 56 do b3 = 8 soit b = 2.
a = 7 et b = 2 sont premiers entre eux et vrifient bien
a2 + a = 7b3.

26 Sil existe p divisant n et 2n + 1, alors p divise 1.

27 1. Supposons que n 4 divise n + 17.
Or, il est clair que n 4 divise n 4, donc n 4 divise la
diffrence (n + 17) (n 4) = 21.
Rciproquement, si n 4 divise 21, il divise la somme :
(n 4) + 21 = n + 17.
2. Daprs 1., la fraction est gale un entier si et seulement si n 4 divise 21. Donc n 4 est un diviseur de 21.
Les valeurs de n qui conviennent sont donc les valeurs de
lensemble {5, 7, 11, 25}.
SPCIALIT CHAP 2 PGCD, PPCM

251

28 n(n + 1) est un multiple de 2 (envisager les deux cas,

n pair, n impair), donc a est un multiple de 2.
Dmontrons que a est un multiple de 3.
Si on divise n par 3, les restes possibles sont 0, 1 ou 2.
n = 3k alors a = 3k(n + 1)(n + 5), donc a est un multiple
de 3.
n = 3k + 1. Alors n + 5 = 3k + 6 donc a = 3(k + 2)(n + 1)n,
donc a est un multiple de 3.
n = 3k + 2. Alors n + 1 = 3(k + 1) et a = 3n(k + 1)(n + 5),
donc a est multiple de 3.
Ainsi a est un multiple de 2 et de 3, donc cest un multiple de 6 (car 2 et 3 premiers entre eux).
29 Il suffit de dmontrer que a est divisible par 5 et par 4
car 4 et 5 sont premiers entre eux.
Or, 5 est un facteur donc a divisible par 5.
Et n2 + n = n(n + 1) est divisible par 2 donc (n2 + n)2 est
divisible par 4.
30 1. Si d divise n + 13 et n 2, il divise la diffrence,
donc d divise 15 et n 2.
Rciproquement, si d divise n 2 et 15, il divise la
somme, donc n 2 et n + 13.
Les diviseurs communs n + 13 et n 2 sont donc les
mmes que les diviseurs communs n 2 et 15.
Donc PGCD (n + 13; n 2) = PGCD (n 2; 15).
2. La fraction est irrductible si et seulement si n + 13 et
n 2 nont pas de diviseur autre que 1. Daprs la question 1., cela revient dire que PGCD (n 2; 15) = 1.

Lensemble des valeurs de n rpondant la question est

donc lensemble des entiers n tels que n 2 ne soit ni un
multiple de 3, ni un multiple de 5.

5. Plus petit commun multiple

31 1. 168; 2. 900; 3. 4004; 4. 600; 5. 216; 6. 2450.
32 1. PGCD = 8,
2. PGCD = 150,
3. PGCD = 42,
4. PGCD = 6,
5. PGCD = 20,
6. PGCD = 41,

PPCM = 168;
PPCM = 1500;
PPCM = 18018;
PPCM = 180;
PPCM = 5200;
PPCM = 246.

33 Si a est le nombre entier cherch, a 40 est le PPCM

de 140 et 252. Donc a 40 = 1 260 do a = 1300.
34 1. uv = 60 g donc le PGCD est g = 6.
2. u et v sont premiers entre eux.
3. uvg2 = 360 donc uv = 10.
Les valeurs possibles de (u, v) sont :
u = 1, v = 10 qui donne u = 60 et v = 60;
u = 2, v = 5 qui donne u = 12 et v = 30;
u = 10, v = 1 qui donne u = 60 et v = 6;
u = 5, v = 2 qui donne u = 30 et v = 12.
Toutes ces valeurs conviennent.

pour apprendre chercher (page 45)

35 Trouver un PGCD
Les outils :
Divisibilit.
Dfinition et proprits du PGCD.
Les objectifs :
Savoir utiliser les proprits du PGCD.
Savoir utiliser x divise y et y divise x pour tablir x = y.

1. Le PGCD g de a et b divise toute combinaison linaire

de a et b, donc g divise A et B. Or, on sait que tout diviseur commun deux nombres A et B divise leur PGCD,
donc g divise g.
2. Les nombres p = 8, q = 11, r = 5, s = 7 sont convenables
car ps qr = 8 7 11 5 = 1.
Prenons par exemple a = 30 et b = 48. On en dduit
A = 768 et B = 486. En utilisant un programme sur une
calculatrice, on calcule les PGCD g de 30 et 48 : on
trouve 6. Le PGCD g de 768 et 486 est bien 6 aussi.
Donc ici, g = g.
3. Si un nombre divise deux autres nombres, il divise leur
PGCD (thorme 2). Donc pour dmontrer que g divise
g, il suffit de dmontrer que g divise a et b.

252

4. On limine b entre les deux relations A = pa + qb et

B = ra + sb. Pour cela, on multiplie la premire par s et la
deuxime par ( q) et on ajoute.
On obtient (ps qr) a = sA qB. Comme ps qr = 1, on
obtient a = sA qB.
En procdant de mme avec b, on trouve b = rA + pB.
Ainsi a et b sont des combinaisons linaires de A et B.
Donc le PGCD g de A et B divise a et b donc aussi leur
PGCD g.
Conclusion, g = g.

36 Trouver deux nombres partir dune relation entre

leur PGCD et leur PPCM
Les outils :
PGCD et PPCM.
Nombres premiers entre eux.
Relation entre PGCD et PPCM.
Les objectifs :
Savoir articuler les proprits du PGCD et du PPCM.
Bien comprendre la ncessit de la rciproque.

1. Avec les notations introduites par le texte, lgalit

donne scrit g + m = b + 9.

En multipliant par g et en tenant compte du fait que

mg = ab, on obtient g2 + ab = bg + 9g.
2. a) On utilise le thorme 4.
b) On remplace a par ga et b par gb et on simplifie
par g.
Lgalit obtenue implique g(1 + ab b) = 9 donc g
divise 9. Les valeurs possibles de g sont donc 1, 3, 9.
c) 1er cas : g = 1. On obtient alors (a 1)b = 8.
Les nombres a 1 et b sont des diviseurs de 8. En
tenant compte du fait que a et b sont premiers entre
eux, on obtient les solutions suivantes :
a = a = 3 et b = b = 4;
a = a = 5 et b = b = 2;
a = a = 9 et b = b = 1.
2e cas : g = 3. On obtient alors (a 1)b = 2.
Les nombres a 1 et b sont des diviseurs de 2. En
tenant compte du fait que a et b sont premiers entre
eux, on obtient uniquement a = 3 et b = 1 qui conduit
a = 9 et b = 3.
3e cas : g = 9. Alors (a 1)b = 0.
Le nombre b ne peut pas tre nul donc a = 1 et b est un
naturel quelconque non nul. On en dduit a = 9 et b = 9k
avec k entier strictement positif.
En rsum, nous avons dmontr que si un couple est
solution, alors cest un lment de lensemble :
 = {(3, 4), (5, 2), (9, 3)} {(9, 9k) avec k *}.
3. Rciproque. On peut vrifier sans difficult que
chacun des couples de  satisfait bien aux conditions de
lnonc.
Par exemple, avec un couple a = 9 et b = 9k, avec k
dans *, g = 9 et m = 9k et on a bien g + m = b + 9.

37 Deux divisions euclidiennes pour un entier

Les outils :
Division euclidienne.
Rsolution de au + bv = c.
Relation entre PGCD et PPCM.
Les objectifs :
Apprendre dmontrer une quivalence.
Pratiquer la rsolution dquations diophantiennes ax + by = c.

1. S est obtenu en crivant les divisions euclidiennes du

texte.
2. On procde par substitution sur n. On montre dabord
que S S, puis que S S.
3. a) Solution particulire
Dans ce cas, on peut trouver facilement q et p pour
obtenir 1. Il suffit de prendre q = 1 et p = 1. En effet
4( 1) 5( 1) = 1. Pour obtenir 3, on multiplie tout par 3.
Ainsi, q = 3 et p = 3 constituent une solution particulire.
En utilisant la mthode dcrite au TD3, on trouve :
p = 4k 3 et q = 5k 3.
Comme p et q doivent tre positifs, on doit prendre k > 0.
b) En remplaant dans n = 12p + 5, on trouve :
n = 60k 31, avec k > 0.

Lensemble des valeurs de n est lensemble des nombres

60k 31 avec k entier positif.

38 Savoir si une fraction est irrductible

Les outils :
PGCD et nombres premiers entre eux.
Divisibilit et thorme de Gauss.
Les objectifs :
Savoir traduire un problme en termes de divisibilit.
Bien comprendre la ncessit de la rciproque.

1. a) Si d divise n et 2n + 1, il divise 2n + 1 2n = 1.
b) d et n sont premiers entre eux puisquils nont pas
dautres diviseurs communs que 1.
d divise n(n2 + 1) et est premier avec n, donc, daprs le
thorme de Gauss, il divise n2 + 1.
d est donc un diviseur commun de n2 + 1 et 2n + 1.
c) d, divisant n2 + 1 et 2n + 1, divise leur diffrence n2 2n
qui est gale n(n 2). Or, d est premier avec n donc d
divise n 2.
Ainsi d divise 2n + 1 et n 2, donc d divise :
2n + 1 2(n 2) = 5.
Les seuls diviseurs de 5 sont 1 et 5, donc d = 1 ou d = 5.
2. a) Si la fraction est rductible, cela veut dire que le
numrateur et le dnominateur ont un facteur commun
diffrent de 1, qui est donc d = 5. Donc n 2 = 5q soit
n = 5q + 2 avec q entier naturel.
b) Rciproquement, si n = 5q + 2, alors :
n2 + 1 = 25q2 + 20q + 5 = 5(5q2 + 4q + 1)
et le numrateur est gal 5n(5q2 + 4q + 1).
Par ailleurs, 2n + 1 = 10q + 5 = 5(2q + 1), donc la fraction
est bien rductible puisque le facteur 5 est prsent au
numrateur et au dnominateur.
c) Lensemble des valeurs de n pour lesquelles la fraction
est rductible est lensemble des nombres n = 5q + 2,
avec q entier naturel.

39 Avec une suite gomtrique

Les outils :
Dfinition et proprits des suites gomtriques.
Divisibilit.
Les objectifs :
Savoir utiliser les hypothses pour trouver des conditions
ncessaires.
Savoir utiliser le raisonnement par labsurde.

1. La suite est strictement croissante donc a < b < c < d.

Il en rsulte 4a < a + b + c + d = 40 donc a < 10.
b
2. q = --- et a et b entiers, donc q est un rationnel.
a
m
3. q = ---- avec n et m premiers entre eux.
n
4
4
4
1 q - = a------------------------( n m -) .
40 = a(1 + q + q2 + q3) = a ------------3
1q
n (n m)
Or, n4 m4 = (n m)(n + m)(n2 + m2). On simplifie par le
facteur (n m) et on multiplie chaque membre par n3.
On obtient alors la relation demande.

SPCIALIT CHAP 2 PGCD, PPCM

253

4. a) Sil existe un diviseur d commun n et n + m, d

divise la diffrence m. Donc d divise n et m.
Or n et m sont premiers entre eux et par consquent
d = 1. Donc n est premier avec n + m.
Supposons quil existe d divisant n et n2 + m2.
Le nombre d, divisant n, divise n2. Mais n divise aussi
n2 + m2 donc la diffrence m2. Ainsi d divise n et m2.
Mais n et m tant premiers entre eux, n et m2 sont aussi
premiers entre eux. Donc d = 1 est le seul diviseur commun de n et n2 + m2. Ces nombres sont donc premiers
entre eux.
n est premier avec n + m et aussi avec n2 + m2, donc n
est premier avec le produit (exercice rsolu 6).
Daprs le rsultat de lexercice rsolu 6, on en dduit
que n3 est premier avec (n + m)(n2 + m2).
Daprs le thorme de Gauss, on en dduit que n3 divise a.
b) a < 10 et n3 divise a, donc n3 < 10.
Si n > 2, n3 vaut au moins 27, donc n = 1 ou n = 2.
5. Cas n = 1. q est entier et on doit avoir :
40 = a(1 + q + q2 + q3).
q = 2 ne convient pas, car alors on aurait 1 + q + q2 = 15,
mais 15 ne divise pas 40.
q = 3 donne a = 1.
q  4 implique 1 + q + q2 + q3  85, ce qui est incompatible avec 40 = a(1 + q + q2 + q3).
6. Cas n = 2. Lgalit [1] devient 40 = (2 + m)(4 = m2).
a) En remplaant m par 1 ou 2, lgalit nest pas satisfaite.
Si m  3, alors (2 + m)(4 + m2) > 40, donc il ny a aucune
solution dans le cas n = 2.
La suite a = 1, b = 3, c = 9, d = 27 convient bien car
a + b + c + d = 40.

40 Plus difficile... mais faire

Les outils :
Division euclidienne.
Nombres premiers entre eux.
Thorme de Bezout.

Les objectifs :
Savoir tirer toutes les consquences de la divisibilit et
des ingalits des divisions euclidiennes.

2. En isolant le 1 dans le second membre, les galits [1],

[2], [3] peuvent sinterprter comme des galits de
Bezout justifiant les conclusions de cette question.
3. a) bq = ac 1 < ac, et a < b implique ac < bc, donc
bq < ac < bc.
On en dduit bq < bc, do q < c (car b > 0).
b) cr = ab 1 < ab < ac donc cr < ac.
Il en rsulte, en divisant par c(c > 0), que r < a.
4. a) ac = bq + 1 donc c divise bq + 1.
cr = ab 1 donc c divise ab 1.
b) c, divisant bq + 1 et ab 1, divise leur somme b(a + q).
Or, c est premier avec b, donc c divise a + q. Cela signifie
quil existe k entier tel que a + q = kc.
c) a < c et q < c donc a + q < 2c, soit encore, puisque
a + q = kc, kc < 2c donc k < 2.
Comme k ne peut pas tre nul, k = 1 et donc a + q = c.
5. a) ac = bc ab + 1 [4]; immdiat en suivant les indications du texte.
De la relation [4], on dduit ab + ac = bc + 1, puis, en utilisant [1], on remplace bc par ap + 1 ce qui donne :
a(b + c) = ap + 2.
b) La relation a(b + c) = ap + 2 peut scrire :
a(b + c p) = 2,
ce qui prouve que a divise 2.
Comme on a dj vu que a > 1, il en rsulte que a = 2.
c) Daprs 4.b), r < a cest--dire r < 2. Or, r = 0 nest pas
possible (car on aurait 2b = 1), donc r = 1.
d) [4] scrit 2c = bc 2b + 1;
[3] scrit 2b = cr + 1, do 2c = bc cr;
puis en divisant par c, 2 = b r.
Mais on a vu que r = 1 donc b = 3.
On en dduit, avec [3], c = 5.
Conclusion, le triplet (2, 3, 5) est la seule solution.

pour progresser (page 48)

Diviseurs communs - PGCD
Nombres premiers entre eux
41 Si d divise 2k + 1 et 9k + 4, alors d divise :
9(2k + 1) 2(9k + 4) = 1.

425n + 1 est premier avec n et avec 2n + 1, donc avec le

produit n(2n + 1).
Donc le PGCD de n + 1 et n(2n + 1) est 1.

4351. a = n(n 4)(n + 3) et b = (2n + 1)(n 4); a et b sont

bien de la forme (n 4)q.
2. a) 2b a = 5.
b) d divise a et b donc d divise 5.

254

c) Supposons que 5 soit un diviseur commun de a et b.

Alors 5 divise a b = n 2.
Rciproquement, supposons que 5 divise n 2.
Alors n = 2 + 5k avec k entier.
a = 2n + 1 = 5 + 10k et b = 5 + 5k. Donc a et b sont bien
tous les deux des multiples de 5.
3. (2n + 1) 2n = 1, donc, daprs le thorme de Bezout,
2n + 1 et n sont premiers entre eux.
4. a) Si n est de la forme 2 + 5k, alors a et b sont divisibles par 5. Or, 1 et 5 sont les seuls diviseurs communs de
a et b, donc PGCD (a, b) = 5.
Si n nest pas de la forme 2 + 5k, alors, daprs 2.b), a et
b ne sont pas divisibles par 5, donc leur seul diviseur
est 1. Donc PGCD (a, b) = 1.

x est divisible par 3 car quatre entiers conscutifs contiennent ncessairement un multiple de 3.
Donc 3 et 8 tant premiers entre eux, x est divisible par 24.
2. Soit y le produit donn. Les facteurs tant constitus
de cinq nombres conscutifs, il est clair que y est divisible
par 3 et par 5.
Or y est divisible par 8 puisque cest un multiple de x vu
au 1. Donc y est divisible par 120.

b) n = 11, le reste de la division de n par 5 nest pas 2,

donc PGCD (a, b) = 1. En effet a = 23 et b = 14 sont bien
premiers entre eux.
n = 12 de la forme 2 + 5k, donc PGCD (a, b) = 5. En
effet a = 25 et b = 15 et PGCD (25, 15) = 5.

445Corrig dans le manuel.

45

1. 3m 4n = 323, donc g, divisant m et n, divise 323.

2. 357 et 187 sont des multiples de 17, donc :
17 divise g 17 divise m et n 17 divise 20a et 15a
17 divise a (puisque 17 est premier avec 15 et avec 20).
3. 19 divise g 19 divise m et 19 divise n.
Or, m = a 4 + 19a + 192, donc :
19 divise m 19 divise a 4.
De mme :
n = 15a + 187 = 9 19 + 16 + 19a 4a
= 19 (a + 9) 4 (a 4),
donc 19 divise n 19 divise a 4.
Donc 19 divise g a 4 = 19k.
4. 323 = 17 19. Donc on doit avoir simultanment :
a = 17 et a = 19k + 4.
Cherchons le plus petit k tel que 17 = 19k + 4.
On doit donc avoir 2k + 4 0 (mod 17), do k = 15. On
en dduit a = 19 15 + 4 = 289.

ble par 3, 4 et 5.
x est divisible par 3 car cest le produit de trois entiers
conscutifs.
Si n est pair, n2 est divisible par 4 et si n impair, alors
(n 1)(n + 1) est divisible par 4.
Enfin pour 5, on peut montrer que pour tout n,
n2 0 ou 1 ou 4 (mod 5),
2
2
et alors n ou n 1 ou n2 + 1 0 (mod 5).

2. Immdiat.
3.  = {(x; y) / x = 3 + 5k et y = 1 + 2k avec k }.

aussi.
Si m est divisible par 7, alors 7 divise 2n, donc 7 divise n.
2. On peut tablir facilement que :
2n m = 7a et 11m 15n = 14b.
Soit d un diviseur commun de m et n; d divise 14a et 14b,
donc le PGCD de 14a et 14b, soit 14 puisque a et b sont
premiers entre eux.
Le PGCD de m et n est donc un diviseur de 14.

53 1. x0 = 1, y0 = 1.
2. Immdiat.
3.  = {(x; y) / x = 1 4k et y = 1 + 3k avec k }.
54 1. 2n + 1 est premier avec n et 2n + 1 est premier avec
n + 1. Donc 2n + 1 est premier avec le produit n(n + 1).
2. 2n + 1 divise le second membre donc le premier.
Or 2n + 1 est premier avec n2 + n, donc, daprs le
thorme de Gauss, 2n + 1 divise 21.
Donc si n est solution, alors 2n + 1 divise 21. On en
dduit que n = 10 ou n = 3 ou n = 1.
Donc  {1, 3, 10}.
Rciproquement, les valeurs 1 et 10 ne vrifient pas
lquation. Seule la valeur 3 convient. Donc  = {3}.

Applications du thorme de Gauss

47 Corrig dans le manuel.
48 1. Si n est pair, a est pair.

49 1. Soit x le produit donn.

x est divisible par 8, car les quatre facteurs tant des
nombres conscutifs, lun dentre eux est un multiple de
4 et lun des trois autres est ncessairement pair.

515Il suffit de montrer que x = (n 1)(n)(n + 1) divisible

par 6 et 5.
x est divisible par 6 car contient trois facteurs conscutifs.
Si n 0 (mod 5) alors x est divisible par 5.
Si n 1, 2, 3, ou 4 (mod 5), alors n2 1 ou 1 (mod 5) et
alors n2 1 ou n2 + 1 0 (mod 5).
52 1. x0 = 3, y0 = 1.

4651. 2n m = 7a, donc, si n est divisible par 7, alors m

Si n est impair, alors n2 est impair et n2 + 5 est pair, donc

a est divisible par 2.
2. On divise n par 3. Alors n = 3k + r et 0  r < 3.
Si n = 3k, a = 3k(n2 + 5), donc a est divisible par 3.
Si n = 3k + 1, alors n2 + 5 = 9k2 + 6k + 6 = 3q, donc a est
divisible par 3.
Enfin, si n = 3k + 2, alors n2 + 5 = 9k2 + 12k + 9 = 3q,
donc a est divisible par 3.
3. 2 et 3 sont premiers entre eux, donc a est divisible
par 6.

50 Il suffit de montrer que x = (n2 1)(n2)(n2 + 1) divisi-

5551. Avec lalgorithme dEuclide on trouve u = 2; v = 3.

En effet, 2 41 3 27 = 1. Lquation donne a pour
solution particulire x0 = 2, y0 = 3.
2. On multiplie par 5. Do x0 = 10, y0 = 15.
3. x = 10 + 27k, y = 15 + 41k avec k .

56513 et 23 sont premiers entre eux, donc, daprs le

thorme de Bezout, il existe u et v tels que 13u 23v = 1.
Alors k = u et n = v conviennent.
Avec lalgorithme dEuclide on trouve k = 7 et n = 4.
2. En divisant par 12, on obtient lquation quivalente :
13x + 23y = 2.
Une solution particulire est x0 = 14, y0 = 8.
Solutions : x = 14 + 23k; y = 8 + 13k avec k .
SPCIALIT CHAP 2 PGCD, PPCM

255

575 = {(x; y) / x = 2 + 8k et y = 1 + 5k avec k }.

58  = {(x; y) / x = 6 + 4k et y = 6 + 3k avec k }.

595a = da, b = db (a et b premiers entre eux) ;

m = ab = d 2ab.
2 d 2ab + 7d = 111 quivaut d(2dab + 7) = 3 27.
Sil existe une solution, elle vrifie la relation prcdente. On en dduit que d divise 3 27. Examinons les
quatre cas possibles d = 1, d = 3, d = 37, d = 111.
d = 1, alors 2dab + 7 = 111, do ab = 52.
Cela donne, en tenant compte de lhypothse a et b
premiers entre eux :
a = 1, b = 52, do a = 1 et b = 52 (et m = 52);
a = 4, b = 13, do a = 4 et b = 13 (et m = 52).
d = 3 alors 2dab + 7 = 37, do ab = 15.
Cela donne, en tenant compte de lhypothse a et b
premiers entre eux :
a = 1, b = 15 do a = 3 et b = 45 (et m = 45);
a = 3, b = 5 do a = 9 et b = 15 (et m = 45).
d = 37 alors 2dab + 7 = 3 : impossible.
d = 111 alors 2dab + 7 = 1 : impossible.
On vrifie sans difficult que les quatre paires trouves
satisfont bien les hypothses du texte.
 = {{1, 52}, {4, 13}, {3, 45}, {9, 15}}.

6051. Pour tout n, 5(14n + 3) 14(5n + 1) = 1.

Donc daprs le thorme de Bezout, 14n + 3 et 5n + 1
sont premiers entre eux.
2. a) 87 et 31 sont obtenus avec les nombres du 1. pour
k = 6, donc ils sont premiers entre eux; u = 5 et v = 14.
Solution particulire de (E) : x0 = 10, y0 = 28.
b) Solutions de (E) :
 = {(x; y) / x = 10 31k et y = 28 + 87k avec k }.
c) Application.
Les coordonnes des points cherchs doivent vrifier :
x = 10 31k

y = 28 87k
0 < x < 100
0  y

k entier
On trouve trois points correspondant k = 0 ou k = 1
ou k = 2. Ce sont les points de coordonnes (10; 28),
(41; 115) et (72; 202).

61 1. Entre J0 et J1 il y a eu u priodes de A, donc le

nombre de jours est J1 J0 = 105u.
Entre J0 + 6 et J1, le nombre de priodes de B est v, donc
J1 (J0 + 6) = 81v.
Par soustration, 6 = 105u 81v et en divisant par 3, on
obtient 35u 27v = 2.
2. a) u0 = 10; v0 = 13 (obtenus avec lalgorithme
dEuclide).
b) x0 = 20; y0 = 26.
c)  = {(x; y) / x = 20 + 27k et y = 26 + 35k avec k }.
d) La premire apparition simultane est obtenue pour
k = 1, soit u = 7 et v = 9.

256

3. a) J1 = J0 + 105u = J0 + 735.
Entre J0 et J1, il sest coul 735 jours.
b) Jusquau 7 dcembre 2001, il sest coul :
365 + 366 = 731 jours.
Donc J1 est le 11 dcembre 2001.
Comme 735 = 105 7, le 11 dcembre est un mardi.
c) Pour voir les deux astres simultanment, il faut un
nombre entier de priodes pour les deux astres. Donc il
faut prendre un multiple commun de 105 et 81.
Le premier rendez-vous sera obtenu avec le PPCM, soit
au bout de 2 835 jours.

6251. PGCD (2 688; 3 024) = 336.

2. a) On divise par 336.
b) Immdiat.
c)  = {(x; y) / x = 1 9k et y = 2 + 8k avec k }.
3. a) Les plans ne sont pas parallles.
b) Soit M(x; y; z) un point de d.
Alors, x + 2y z = 2 et 3x y + 5z = 0, donc :
5(x + 2y z) + 3x y + 5z = 10,
soit encore 8x + 9y = 10.
c) De la question prcdente, on dduit que les points de
8x + 9y = 10
d vrifient le systme
z = x + 2y + 2
Rciproquement, si le triplet (x; y; z) vrifie le systme
prcdent, il vrifie 8x + 9y + 10 + 5(z x 2y 2) = 0,
cest--dire 3x y + 5z = 0 et bien sr z = x + 2y + 2.
Donc M(x; y; z) d si et seulement si (x; y; z) vrifie le
8x + 9y = 10
systme
z = x + 2y + 2
Si x et y sont entiers, la deuxime quation donne une
valeur de z entire. Or les solutions entires de la
premire quation ont t trouves au 2. c).
 = {M(x; y; z) / x = 1 9k, y = 2 + 8k, z = 1 + 7k, k }.

6351. a) x = 2; y = 3.
b) 8(x 2) + 5(y + 3) = 0 do :
x = 2 + 5k et y = 3 8k avec k .
2. a) Par diffrence, 0 = 8a 5b 1 do 8a + 5( b) = 1,
donc (a; b) est solution.
b) Si N est tel que :
N = 8a + 1
,

N = 5b + 2
nous avons vu que (a; b) est solution. Donc il existe un
relatif k tel que a = 2 + 5k et b = 3 8k, do :
N = 8(2 + 5k) + 1 et N = 5(3 + 8k) + 2.
Il en rsulte, par lune ou lautre des galits, que :
N = 40k + 17.
Comme 17 < 40, le reste dans la division de N par 40 est 17.
3. a) Solution particulire :
x0 = 200 et y0 = 300.
Solution gnrale :
x = 200 + 5k et y = 300 8k avec k .
b) Soit x le nombre dhommes et y le nombre de femmes.
x et y sont solutions de lquation 8x + 5y = 100 avec x et
y entiers naturels.

Daprs 3. a), x = 200 + 5k et y = 300 8k.

Mais la condition x  et y  donne :
200 + 5k > 0 et 300 8k > 0, soit 40 < k < 37,5.
Do k = 38 ou k = 39.
Les solutions sont donc :
x = 10 et y = 4 ou bien x = 5 et y = 12.

PPCM - PGCD
66 Corrig dans le manuel.
67 Premier systme
1 512
Supposons x  y. Le PGCD de x et y est g = ------------ = 6.
252
Soit x = 6x et y = 6y. On sait que x et y sont premiers
entre eux. La relation xy = 1512 donne xy = 42. Il suffit
de prendre tous les couples (x, y) avec x  y tels que
xy = 42 et x et y premiers entre eux.
On obtient les solutions suivantes :
x = 6 et y = 252; x = 12 et y = 126;
x = 18 et y = 84; x = 36 et y = 42.
Deuxime systme
Mme mthode. On trouve PGCD (x, y) = 5. Puis xy = 12.
Si on convient que x  y, on obtient :
x = 5 et y = 60; x = 10 et y = 30; x = 15 et y = 20.

64 1. a) Si d divise a et b, d divise ax0 + by0 donc 60.

b) Par hypothse, 60 = dk.
Soit a = da et b = db. On sait que a et b sont premiers
entre eux donc il existe u et v tels que au + bv = 1, et, en
multipliant par 60 = dk :
auk + bvk = 60.
Donc x0 = uk et y0 = vk est solution.
2. a) Immdiat : d = 12.
Lquation quivaut 2x + 3y = 5.
b) Solution vidente : x0 = 1 et y0 = 1.
Les solutions sont x = 1 + 3k et y = 1 2k avec k .
c) 10  x  10 quivaut 3  k  3. On trouve :
(x = 8; y = 7); (x = 5; y = 5); (x = 2; y = 3);
(x = 1; y = 1); (x = 4; y = 1); (x = 7; y = 3); (x = 10; y = 5).
Multiples de 5 : (x = 5; y = 5); (x = 10; y = 5).
d) et e) On obtient les points coordonnes entires de
la droite dquation 2x + 3y = 5.

68 1. (108) = {1; 2; 3; 4; 6; 9; 12; 18; 27; 36; 54; 108}.

2. On examine les cas 11 < d < 15.
Le seul cas conduisant une valeur valide de m (qui doit
tre un multiple de d) est d = 12.
On en dduit m = 144.
Notons x = 12x et y = 12y avec x et y premiers entre
eux. On en dduit xy = 12x 12y = 12 144, do xy = 12.
En supposant x < y, on obtient :
x = 1 et y = 12, ce qui donne x = 12 et y = 144,
ou bien x = 3 et y = 4, ce qui donne x = 36 et y = 48.

65

1. Soient a, b, c rpondant aux conditions du texte.

a divise bc et a premier avec b, donc a divise c.
De mme, b divise ac donc b divise c.
On peut donc crire c = pa = qb. Comme a est premier
avec b, il en rsulte que a divise q. Donc q = ka et par
consquent c = kab.
Mais le texte dit, quen outre, c divise ab, donc ab = nc.
Donc c = knc, do il rsulte k = n = 1. Donc c = ab.
Il est clair que les trois nombres a, b, ab rpondent la
question.
2. Soit a = ga et b = gb. On sait que a et b  sont
premiers entre eux.
a divise bc donc bc = pa et, par consquent, en divisant
par g, bc = pa donc a divise c.
b divise ac donc ac = pb et, par consquent, en divisant
par g, ac = pb donc b divise c.
Comme a et b sont premiers entre eux, ab divise c
donc c = kab [1]. Essayons de caractriser k.
Une hypothse du texte na pas encore t exploite :
c divise ab. On a donc ab = nc [2].
Des deux galits [1] et [2], on dduit ab = nkab, et, en
divisant par ab, g2 = nk.
k est donc un diviseur de g2.
Donc, si a, b, c rpondent aux conditions du texte, alors
c = kab avec k diviseur de g2.
Rciproquement, soit c = kab avec k diviseur de g2.
On voit que kab divise g2ab qui nest autre que ab.
Dautre part, bc = gbkab = kb2 a est bien divisible par
a et ac = gakab = ka2b est bien divisible par b.
Remarque : Le plus petit nombre c rpondant la question
est obtenu avec k = 1, cest c = ab. Le plus grand, obtenu
avec k = g 2, nest autre que c = ab. Celui qui correspond
k = g est le PPCM de a et b.

69 Appelons m le PPCM et g le PGCD. On sait que

x = xg et y = yg avec x et y premiers entre eux.
Lquation donne scrit m 9g = 13.
Or, m = xyg, donc lquation quivaut g(xy 9) = 13.
Donc g divise 13.
Si g = 13, xy = 10 avec x et y premiers entre eux.
x = 1, y = 10. Dans ce cas, x = 13, y = 130.
x = 2, y = 5. Dans ce cas, x = 26, y = 65.
x = 5, y = 2. Dans ce cas, x = 65, y = 26.
x = 10, y = 1. Dans ce cas, x = 130, y = 13.
Si g = 1, xy = 22 avec x et y premiers entre eux.
Dans ce cas x = x et y = y. On trouve :
x = 1, y = 22;
x = 2, y = 11;
x = 11, y = 2;
x = 22, y = 1.
On vrifie facilement que toutes les valeurs trouves
dans les deux cas conviennent.
 = {(13; 130), (26; 65), (65; 26), (130; 13), (1; 22),
(2; 11), (11; 2), (22; 1)}.

70 Mme mthode quau 69.

Remarque prliminaire : d est pair car 105d = 8m 30.
Posons comme dhabitude a = da et b = db.
d(8ab 105) = 30 donc d est un diviseur (pair) de 30.
SPCIALIT CHAP 2 PGCD, PPCM

257

d = 30, 8ab = 106, impossible.

d = 10, 8ab = 108, impossible.
d = 6, 8ab = 110, impossible.
d = 2, 8ab = 120, donc ab = 15.
Donc a et b sont des diviseurs de 15.
a = 1, b = 15. Alors a = 2 et b = 30.
a = 3, b = 5. Alors a = 6 et b = 10.
a = 5, b = 3. Alors a = 10 et b = 6.
a = 15, b = 1. Alors a = 30 et b = 2.
On vrifie que ces quatre couples conviennent.

Do le rsultat :
si n = 4k ou n = 4k + 2 (cest--dire n pair), alors
PGCD(A; B) = 1;
si n = 4k + 1, alors n 1 est divisible par 4 et
PGCD(A; B) = 4;
si n = 4k + 3, alors n 1 = 2(2k + 1) donc A est divisible
par 2 mais pas par 4, donc PGCD(A; B) = 2.
B- est un entier relatif si et seulement si A
2. La fraction --A
divise B, ce qui quivaut dire que A = PGCD(A; B) ou
bien A = PGCD(A; B). Examinons les diffrents cas
la lumire de la question 1.b).
Si n est pair, PGCD(A; B) = 1, donc on doit avoir soit
B- = 4; soit A = 1, qui
A = 1, qui donne n = 2 et alors --A
B- = 6.
donne n = 0 avec --A
Si n = 4k + 1, alors PGCD(A; B) = 4, donc A = 4 ou
B- = 4, ou bien n = 3 qui
A = 4; soit n = 5 et alors --A
B- = 4.
donne alors --A
Si n = 4k + 3, alors PGCD(A; B) = 2, donc A = 2, soit
B- = 3 ou bien A = 2, soit n = 1 qui
n = 3, on a alors --A
B- = 2.
donne alors --A

71 1. g = 2n 1 et m = n(n 1)(2n 1).

2. m(a + b) = abg a + b = g2 p + q = g.
On a donc a = p(p + q) et b = q(p + q).
3. La relation [2] implique p q = 1, donc q = p 1.
On en dduit que les entiers a et b qui vrifient [1] et [2]
sont donns par :
a = p(2p 1) et b = (p 1)(2p 1).
4. On a vu que, de [1], on dduit a + b = g 2 et la relation [2]
dit que g = a b, donc, de [1] et [2], on dduit [3] :
(a b)2 = a + b.
2
Si (a b) = a + b, les relations [1] et [2] ne sont pas
ncessairement satisfaites.
Contre-exemple : a = 36 et b = 28; on a alors g = 4 donc
[2] nest pas vrifie et [1] non plus.

Conclusion : Lensemble des valeurs de n, pour lesquelles

B
alors --- est un entier relatif, est { 3; 1; 0; 2; 3; 5}.
A

5. Notons n = a b. On a alors a + b = n do :
2

n +n
n n
a = -------------- et b = -------------- .
2
2
Notons que n = 0 et n = 1 conduisent des valeurs qui ne
vrifient pas les hypothse a > b > 0. donc n  2.
Divisons a par b : a = bq + r avec 0  r < b.
Pour n = 2, a = 3 et b = 1, et alors r = 0.
Pour n = 3, a = 6 et b = 3, donc r = 0.
Le texte impose r 0 donc n > 3.

a
a
b1
b2
b1 divise a1b2 mais, comme b1 est premier avec a1, alors
b1 divise b2. On montre de la mme faon que b2 divise
b1 donc b1 = b2.

74 Si ----1- = ----2- = k, alors a1b2 + a2b1 = kb1b2.

75 1. d divise n2 + 1 et n(n2 1); or, d est premier avec n

(sinon on pourrait trouver un diviseur commun n2 + 1
et n, donc 1, donc il divise n2 1.
Divisant n2 + 1 et n2 1, il divise 2.
Rciproque
Si d divise 2 et n2 1, alors il divise n2 + 1 et n(n2 1).
2. Si n est pair, n2 1 est impair ; donc 2 et n2 1, donc
aussi n(n2 1) et n2 + 1, nont pas de diviseurs communs,
donc la fraction est irrductible.
Si n est impair, le PGCD du numrateur et du dnomiateur est le mme que celui de 2 et n2 1.
Comme n2 1 est divisible par 2, le PGCD est 2.

a--- = ----------n + 1- = 1 + ----------2 - < 2 puisque n > 3. Donc q < 2.

b
n1
n1
Il en rsulte q = 1 (q 0 puisque a > b).
Donc a b = r et a + b = r 2 do :
2

r r
r +r
a = ------------- et b = ------------- .
2
2
Application : r = 11, a = 66, b = 55, a + b = 121 = (a b)2.

Fractions

72 Corrig dans le manuel.

73 1. a) n = A + 1 donc B = A2 A + 4.
Si d divise A et B, alors il divise A et aussi la diffrence
B (A2 A) qui vaut 4.
Rciproquement, si d divise A et 4, d divise A et la
somme A2 A + 4 qui vaut B.
Donc les diviseurs communs de A et B sont les mmes
que ceux de A et 4, donc PGCD(A; B) = PGCD(A; 4).
b) La question revient trouver, selon les valeurs de n, le
PGCD de n 1 et 4.
Pour tout n, n = 4k + r, avec r = 0, 1, 2 ou 3.

258

Divers
76 1. On effectue.
2. (x2 + 3x + 1)2 = 73 441, do x2 + 3x + 1 = 271 qui donne
la solution x = 15.

77 1. Soit n = a 103 + a 102 + a 10 + a = a 1 111

= a 11 101.
Donc quel que soit a, n ne peut pas tre un carr.

78 1. a 103 + b 102 + c 10 + d = m2 ;
(a + 1) 103 + (b + 1) 102 + (c + 1) 10 + d + 1 = n2.

Par diffrence, n2 m2 = 1 111.

Soit (n m)(n + m) = 11 101, donc n m divise 11 101.
En tudiant tous les cas, on obtient la solution 2 025.

79

81

Si n est un carr alors 11 (100a + b) = k2, donc 11 divise k2.

Il en rsulte que 11 divise k.

1. a2 + 2b est un carr parfait si on peut trouver x tel

Donc 11 (100a + b) = 112k2. On en dduit que 11

divise 100a + b et que par consquent a + b = 11.

que 2b = 2ax + x2.

x est pair car, sinon, x2 est impair ce qui est incompatible
avec lgalit obtenue, donc x = 2q.
2b = 4aq + 4q2 donc 2b = 2(2aq + 2q2).
2. a2 + b = a2 + 2aq + 2q2 = (a + q)2 + q2.

80 Soit n 7 1 (mod 8).

Or modulo 8, on a 02 0; 12 1; 22 4; 32 1; 42 0; 52 1;
62 4; 72 1.
En essayant toutes les combinaisons possibles, on constate que la somme de trois carrs ne peut jamais tre 1
ou 7.

n = 1000a + 100a + 10a + 10b + b = 11 (100a + b).

Donc si n est un carr parfait, alors n = 112 (9a + 1).

On trouve finalement que la seule valeur qui convient
est a = 7 et le nombre est n = 7 744.

82 Par rcurrence partir du corollaire indiqu.

Vrai ou faux ?
83 Vrai.

84 Faux.

85 Faux.

problmes de synthse (page 52)

86 1. a) Appelons M la valeur maximale voulue pour un.

Les noms des variables utilises sont les suivants :
M pour le maximum souhait,
n pour la variable entire de la suite,
u pour le terme gnral de la suite,
a et b pour les deux valeurs prcdentes.
algorithme
Lire M
n1
(cest u1 car n = 1)
u2
a1
b2
Tant Que u < M Faire
nn+1
ua+b
(nouvelle valeur de u)
ab
(actualisation de a)
bu
(actualisation de b)
Afficher n et u

Cet algorithme se programme aisment sur une machine

possdant linstruction Tant Que.
programme sur ordinateur en Turbo Pascal
Program fibonacci ;
var a, b, u, n, M : longint
begin
writeln (Donner la valeur maximale de un);
readln(M)
a : = 1; b : = 2; u : = 2; n = 1;
while c << 10 000 do
begin
n : = n + 1;
c : = a + b;
writeln(n =,n, u = ,u);
a : = b;
b : = u;
end;
readln
end

Ce programme sadapte facilement sur les calculatrices

rcentes.
b) Lexcution du programme montre bien que pour
n = 19, on a dpass 10000.
2. Lalgorithme dEuclide appliqu avec 4 181 et 2 584
donne comme restes successifs les valeurs de la suite u.
Le dernier reste non nul est 1, ce qui prouve que 4 181
et 2584 sont premiers entre eux.
3. Vrification facile pour les couples forms par deux
termes conscutifs de la suite 1; 2; 3; 5; 8.
Supposons un et un+1 premiers entre eux. Soit d un diviseur commun de un+1 et un+2 ; d divise alors un+1 et la
diffrence un+2 un+1, donc d divise un et un+1, donc d = 1.
Donc un+1 et un+2 sont premiers entre eux.
Nous venons de montrer par rcurrence que deux termes
conscutifs de la suite u sont premiers entre eux.
4. a) La suite v est strictement croissante en raison des
ingalits sur les restes.
En particulier,
vk+2 > vk+1 et vk+1 > vk avec vk+2 = vk+1q + vk.
Il est clair que q  1 (sinon si q = 0, vk+2 = vk).
On en dduit vk+2  vk+1 + vk.
b) v0 non nul donc v0  1 = u0 et comme v est strictement
croissante, v1 > v0 donc v1  2 = u1.
Montrons que Pk Pk+1.
Par hypothse, vk  uk et vk+1  uk+1, donc, par addition,
vk + vk+1  uk + uk+1. Do, en utilisant le rsultat de la
question prcdente, vk+2  uk+2. Il est donc tabli que
vk+1  uk+1 et vk+2  uk+2 ce qui constitue Pk+1.
c) On a vu que si n  19, un  10 000. Or, pour tout n,
vn  un, la valeur 10 000 sera donc dpasse pour une
valeur de n  19.
Les valeurs de vn reprsentant les restes successifs dans
lalgorithme dEuclide, il y aura au plus dix-neuf divisions pour un nombre b infrieur 10 000.

SPCIALIT CHAP 2 PGCD, PPCM

259

87 1. u2 = 3; u3 = 7; u4 = 15; u5 = 31; u6 = 63.

2. Par rcurrence.
Vrai pour n = 0, car u1 = 2u0 + 1.
Supposons un+1 = 2un + 1.
Alors un+2 = 3un+1 2un = 3un+1 un+1 + 1 = 2un+1 + 1.
La relation un+1 = 2un + 1 peut scrire un+1 2un = 1 et
prouve, daprs Bezout, que un et un+1 sont premiers
entre eux.
3. a) Dmonstration par rcurrence immdiate.
Daprs le 2., un = 2n 1 et un+1 = 2n+1 1 sont premiers
entre eux pour n > 0.
b) un(up + 1) + up = (2n 1)2p + 2p 1
= 2n+p 2p + 2p 1 = un+p.

De lgalit prcdente, on dduit que si d divise un et up,

alors d divise un+2 et un.
Rciproquement, si d divise un+p et un, alors d divise un et
up (car up = un+p un (up + 1)).
Donc (un, up) = (un, un+p) [1].
c) Daprs [1], (ua, ub) = (ubq+ r, ub) = (ur, ub).
Dans les galits successives, (a, b) est remplac par
(b, r). On retrouve lalgorithme dEuclide. On sait que
cet algorithme se continue jusquau dernier reste non nul
qui est justement (a, b).
Donc (un, up) = (u0, u(a,b)) = u(a,b).
d) Le PGCD de 1980 et 312 est 12, donc :
(u1980 , u312) = u12 = 212 1 = 4095.

pour chercher plus (page 52)

88 Voir le corrig de lexercice 65 .
89 Prliminaire
Soit m un entier, m  2. Le PGCD g de m nombres a1,
a2, ... am est tel que D(g) = D(a1, a2, ... am).
Dmonstration par rcurrence.
Cest vrai pour m = 2.
Supposons que ce soit vrai pour m.
Notons g0 = PGCD(a1, a2, ... am),
g = PGCD(a1, a2, ... am+1) et g = PGCD(g0, am+1).
(g)= (g0, am+1) = (g0) ( am+1)
= (a1, a2, ... am+1) ( am+1) = (a1, a2, ... am+1),
donc g est le plus grand lment de (a1, a2, ... am+1),
donc g = g et donc (g) = (a1, a2, ... am+1).
Montrons maintenant par rcurrence que si g est le
PGCD de m nombres quelconques a1, a2, ... am, alors il
existe u1, u2, ... um tels que a1u1 + a2u2 + ... + amum = g.
Cest vrai pour m = 2.
Supposons que cest vrai pour m.
Prenons les mmes notations que prcdemment.
g = g donc g est le PGCD de g0 et am+1. Or, daprs
lhypothse de rcurrence, g0 = a1u1 + a2u2 + ... + amum et

260

g = ug0 + vam+1, do le rsultat en remplaant g0 par

a1u1 + a2u2 + ... + amum.

90 Supposons quil existe a et b entiers tels que a2 = pb2.

Nous allons dmontrer que cela conduit une contradiction.
p divise a2. Il en rsulte que p divise a sinon a et p seraient
premiers entre eux, et il en serait de mme de p et a2.
Donc on peut crire a = pa1 do il rsulte, aprs simplification par p, b2 = pa12 avec a1 < a puisque p > 1.
Le mme raisonnement peut alors sappliquer en remplaant
le couple (a, b) par (b, a1).
Il existe donc a1 et b1 avec a1 < a et b1 < b tels a21 = pb21 .
Si on ritre le raisonnement prcdent, on dfinit ainsi
deux suites (a n) et (b n) valeurs entires strictement
dcroissantes.
Au bout dun nombre fini doprations, on obtiendra an = 1
ou bn = 1.
Si an = 1, 1 = pbn2 et alors p = 1 ce qui contredit lhypothse p > 1.
Si bn = 1, alors p = an2 . Si an = 1, alors p = 1, et si an > 1,
p est divisible par an, ce qui contredit lhypothse selon
laquelle les seuls diviseurs de p sont 1 et p.