Exercice 1

Exercice 1
On considère deux entiers naturels, non nuls, x et y premiers entre eux.
On pose S = x + y et P = xy.
1. a. Démontrer que x et S sont premiers entre eux, de même que y et S.
b. En déduire que S = x + y et P = xy sont premiers entre eux.
c. Démontrer que les nombres S et P sont de parités différentes.
2. Déterminer les diviseurs positifs de 84 et les ranger par ordre croissant.
3. Trouver les nombres premiers entre eux x et y tels que SP = 84.
4. Déterminer les entiers naturels a et b vérifiant les conditions suivantes :
3
d ab
84 b a
avec d = PGCD(a ; b).
(Nouvelle-Calédonie – décembre 2002)
Exercice 1
1.a. Par hypothèse x et y sont premiers entre eux donc, d’après le théorème de Bézout, il existe deux
entiers relatifs u et v tels que : ux + vy = 1.
Cette relation est encore équivalente à : (u - v)x + v(x + y) = 1 soit (u – v)x + vS = 1.
Le corollaire du théorème de Bézout permet de conclure que :
les entiers x et S sont premiers entre eux.
De même, ux + vy = 1  u(x + y) + (v – u)y = 1. Donc
les entiers y et S sont premiers entre eux.
b. Soit p un diviseur premier commun à S et P. Comme p divise xy on peut en déduire que :
p divise x ou p divise y.
Ainsi : p divise x et p divise S ou p divise y et p divise S.
Or, d’après la question précédente, x et S sont premiers entre eux, de même que y et S. On en déduit
donc qu’il n’existe aucun diviseur premier p commun à P et S.
Par conséquent, les entiers S et P sont premiers entre eux.
c. Les entiers x et y étant premiers entre eux, ils sont soit tous les deux impairs, soit de parités
différentes. Dans le premier cas, S est un entier pair et P est un entier impair. Dans le second cas, S
est un entier impair et P est un entier pair.
En conclusion, les entiers S et P sont de parités différentes.
2. 84 = 2237 donc on dénombre (2 + 1)(1 + 1)(1 + 1) = 12 diviseurs positifs de 84.
Ces 12 diviseurs positifs de 84, rangés par ordre croissant, sont les entiers :
1, 2, 3, 4, 6, 7, 12, 14, 21, 28, 42, 84.
3. Par hypothèse, x et y sont des entiers premiers entre eux tels que : SP = 84.
On a démontré, dans la question 1. b. que S et P sont premiers entre eux. Donc les seules écritures de
84 sous la forme d’un produit de deux entiers premiers entre eux sont :
84 = 184 84 = 421 84 = 328 84 = 127.
On en déduit que les entiers x et y, s’ils existent, sont solutions des systèmes :
QUELQUES EXERCICES D’ARITHMETIQUE

12 y x
7 xy
ou
7 y x
12 xy
ou
3 y x
28 xy
ou
28 y x
3 xy
ou
4 y x
21 xy
ou
21 y x
4 xy
ou
1 y x
84 xy
ou
84 y x
1 xy
Les seuls couples (x, y) solutions sont (3, 4) et (4, 3).
Donc les seuls nombres premiers entre eux x et y dont la somme S et le produit P vérifient : SP = 84
sont les entiers 3 et 4.
4. On détermine les entiers naturels a et b tels que :
3
d ab
84 b a
où d = PGCD(a ; b).
Il existe deux entiers naturels x et y premiers entre eux tels que : a = dx et b = dy.
Avec ces notations, le système initial s’écrit :
d xy
84 )y d(x
d xy d
84 y) d(x
32
.
On est ainsi amené à rechercher deux nombres entiers x et y premiers entre eux dont la somme S et
le produit P vérifient : SP = 84.
La question précédente permet de conclure que : (x, y) = (3, 4) ou (x, y) = (4, 3).
On en déduit que : d = 12 et donc que :
a = 36 et b = 48 ou a = 48 et b = 36

Exercice 2
On considère la suite d’entiers (an)n  1 définie par an = 111 … 11 (l’écriture décimale
de an est composée de n chiffres 1).
On se propose de montrer que l’un, au moins, des termes de cette suite est divisible
par 2001.
1. En écrivant an sous la forme d’une somme de puissances de 10, montrer que pour
tout entier naturel non nul, an =
91 - 10n
.
2. On considère la division euclidienne par 2001 : expliquer pourquoi parmi les 2002
premiers termes de la suite, il en existe deux, au moins, ayant le même reste.
Soit an et ap deux termes de la suite admettant le même reste (n < p).
Quel est le reste de la division euclidienne de ap – an par 2001 ?
3. Soit k et m deux entiers strictement positifs vérifiant k < m.
Démontrer l’égalité am – ak = am - k10k.
4. calculer le PGCD de 2001 et de 10.
Montrer que si 2001 divise am – ak, alors 2001 divise am - k.
5. Démontrer alors que l’un, au moins, des termes de la suite est divisible par 2001.
(Amérique du Sud – novembre 2002)
Exercice 2
1. Par définition an =
1 -n
0k
k
10
. Donc an est la somme des n premiers termes de la suite géométrique de
premier terme 1 et de raison 10. On en déduit que : an =
1 - 10 1 - 10
1n
soit :
2. Par définition de la division euclidienne d’un terme an de la suite par 2001, il existe un unique
couple (q, r) d’entiers naturels tel que : an = 2001q + r où 0  r < 2001.
Il n’y a donc que 2001 restes différents possibles.
On en déduit que, parmi les 2002 premiers termes de la suite (an)n  1, il en existe au moins deux qui
ont le même reste dans la division euclidienne par 2001.
Soit an et ap ces deux termes, avec n < p. Donc il existe trois entiers q, q’ et r tels que :
an = 2001q + r et ap = 2001q’ + r où 0  r < 2001.
Il vient alors : ap – an = 2001(q’ – q). Autrement dit,
le reste de la division euclidienne de ap – an par 2001 est égal à zéro.
3. Par hypothèse k et m sont deux entiers positifs tels que k < m. Donc :
am – ak =
1 -k
0i
i
1 - m
0i
i10 - 10
 am – ak =
10
1 - m
ki
i
 am – ak =
1010 1 -k - m
0i
ik 
 am – ak =
1010 1 - m
ki
k - ik 
.
an =
91 - 10n
.

En conclusion,
4. Pour déterminer le PGCD de 2001 et de 10 on utilise le corollaire du théorème de Bézout :
20011 - 10200 = 1.
Ainsi, il existe deux entiers relatifs u et v tels que 2001u + 10v = 1. Par conséquent les entiers 2001
et 10 sont premiers entre eux. Autrement dit :
On en déduit que 2001 et 10k sont premiers entre eux quel que soit l’entier naturel k.
Donc si 2001 divise am – ak alors 2001 divise am - k10k. Et comme 2001 est premier avec 10k, grâce
au théorème de Gauss, on peut conclure que :
5. D’après la question 2. il existe au moins deux termes ap et an (avec n < p) de la suite (an)n  1, ayant
même reste dans la division euclidienne par 2001.
On en a alors déduit que 2001 divise ap – an.
Grâce à la question 4. on peut affirmer que 2001 divise ap - n. Et ap – n est un terme de la suite (an)n  1.
En conséquence,
am – ak = am - k10k.
PGCD(2001 ; 10) = 1.
2001 divise am - k.
l’un, au moins, des termes de la suite (an)n  1 est divisible par 2001.

Exercice 3
Les suites d’entiers naturels (xn) et (yn) sont définies sur IN par :
x0 = 3 et xn + 1 = 2xn – 1,
y0 = 1 et yn + 1 = 2yn + 3.
1. Démontrer par récurrence que pour tout entier naturel n :
xn = 2n + 1 + 1.
2. a . Calculer le PGCD de x8 et x9 d’une part, puis celui de x2002 et x2003 d’autre part.
b. xn et xn + 1 sont-ils premiers entre eux pour tout entier naturel n ?
3. a. Démontrer que pour tout entier naturel n, 2xn – yn = 5.
b. Exprimer yn en fonction de n.
c. En utilisant les congruences modulo 5, étudier suivant les valeurs de l’entier
naturel p, le reste de la division euclidienne de 2p par 5.
d. On note dn le PGCD de xn et yn pour tout entier naturel n.
Démontrer que l’on a dn = 1 ou dn = 5 ; en déduire l’ensemble des entiers naturels n
tels que xn et yn soient premiers entre eux.
(Liban – juin 2003)
Exercice 3
1. Soit Pn la propriété : « xn = 2n + 1 + 1 » où n désigne un entier naturel.
 P0 est vérifiée car, par hypothèse x0 = 3 et 20 + 1 + 1 = 3.
 On suppose la propriété Pn vraie pour un entier naturel n. On démontre alors que Pn + 1 est encore
vraie, c’est-à-dire que : xn + 1 = 2n + 2 + 1.
Par hypothèse xn + 1 = 2xn – 1 donc, en appliquant l’hypothèse de récurrence,
xn + 1 = 2(2n + 1 + 1) – 1  xn + 1 = 2n + 2 + 2 – 1
 xn + 1 = 2n + 2 + 1.
Par conséquent la propriété Pn + 1 est vraie.
 On en déduit, par récurrence, que :
2. a. Par définition de la suite (xn), x8 = 29 + 1 et x9 = 210 + 1. Donc :
x9 = 229 + 1
= 2(29 + 1) – 1
= 2x8 + 1.
Ce que l’on peut encore écrire : x9 - 2x8 = 1.
On montre ainsi qu’il existe deux entiers relatifs u et v tels que : ux9 + vx8 = 1.
Le corollaire du théorème de Bézout permet de conclure que les entiers x8 et x9 sont premiers entre
eux. Autrement dit,
De la même manière, on écrit que : x2003 = 22004 + 1  x2003 = 222003 + 1
xn = 2n + 1 + 1 quel que soit l’entier naturel n.
PGCD(x8 ; x9) = 1.