23

Division euclidienne dans Z

23.1

Lanneau Z des entiers relatifs

On dsigne par Z lensemble des entiers relatifs, soit :

Z = { , n, , 2, 1, 0, 1, 2, , n, } .
On note Z lensemble Z priv de 0.
On rappelle que lensemble (Z, +, ) des entiers relatifs est un anneau unitaire, commutatif
et intgre.
En pratique on notera plutt nm pour n m.
Lensemble Z est muni comme lensemble N des entiers naturels dune relation dordre total.
Cest la relation . Cette relation est :
rflexive :
n Z, n n,
antisymtrique :
n Z, m Z, (n m, m n) n = m,
transitive :

n Z, m Z, p Z,

nm
n p.
mp

Deux lments quelconques de Z sont comparables (lordre est total). Cest--dire que
pour n, m dans Z on a soit n m soit m n.
On dit quune partie A non vide de Z est minore sil existe un entier m tel que :
n A, n m.
Si de plus m est dans A on dit alors que cest un plus petit lment. Dans ce cas il est
uniquement dtermin.
On dit quune partie A non vide de Z est majore sil existe un entier M tel que :
n A, n M.
Si de plus M est dans A on dit alors que cest un plus grand lment. Dans ce cas il est
uniquement dtermin.
Lensemble Z est bien ordonn, cest--dire que :
toute partie non vide et minore de Z admet un plus petit lment ;
toute partie non vide et majore de Z admet un plus grand lment.
395

396

23.2

Division euclidienne dans Z

Divisibilit et congruences

Dfinition 23.1 On dit que lentier relatif a est divisible par lentier relatif d, ou que a est un
multiple de d, sil existe un entier relatif q tel que a = qd. On note d/a.
Remarque 23.1 Si d = 0 alors a = 0 et pour d 6= 0 lentier q est uniquement dtermin (une
galit a = dq = dq 0 entrane d (q q 0 ) = 0 et q q 0 = 0 puisque Z est intgre).
On se limitera donc au cas o d Z .
Remarque 23.2 La relation de divisibilit est une relation dordre non totale sur N. Cest
dire quelle est :
rflexive : pour tout a N, a/a ;
antisymtrique : si a/b et b/a dans N alors a = b ;
transitive : si a/b et b/c dans N alors a/c.
Deux lments quelconques de N ne sont pas toujours comparables. Par exemple on na aucune
relation de divisibilit entre 3 et 5 dans N.
Sur Z on a les proprits suivantes :
les seuls diviseurs de 1 sont 1 et 1 ;
si d/a et a 6= 0, alors |d| |a| (si a = 0, on a 0 = 0 d pour tout d Z)
si a/b et b/a dans Z alors |a| = |b| , (si a = 0, alors b = 0), soit a = b (la relation de
divisibilit nest donc pas antisymtrique sur Z, elle est seulement rflexive et transitive
et ce nest pas une relation dordre) ;
si d/a et d/b dans Z alors d/ (a + b) pour tous , dans Z.
Pour tout entier relatif n, on note :
nZ = {n q | q Z}
lensemble de tous les multiples de n et :
Dn = {q Z | q divise n}
lensemble de tous les diviseurs de n.
Exercice 23.1 Montrer que, pour tout entier relatif n, nZ est un sous-groupe additif de Z.
Solution 23.1 On a 0 = n 0 nZ et pour a = pn, b = qn dans nZ, on a, b a = (q p) n
nZ. Donc nZ est un sous-groupe de Z.
En particulier, on a 0Z = {0} , D0 = Z, 1Z = Z, D1 = {1, 1} .
Nous verrons plus loin que les nZ sont les seuls sous-groupes de (Z, +) .
On peut remarquer que pour tout a = qn nZ et tout b Z, on a ab = bqn nZ, ce qui se
traduit en disant que nZ est un idal de Z.
Exercice 23.2 Montrer que pour tous a, b dans Z, on a :
aZ bZ b/a Db Da
et :
aZ = bZ a = b Da = Db .

Divisibilit et congruences

397

Solution 23.2 Si aZ bZ, on a alors a bZ, cest--dire quil existe un entier q tel que
a = bq et b/a.
Si b/a, on a alors a = qb avec q Z et tout diviseur de b va diviser a, ce qui signifie que
Db D a .
Si Db Da , on a alors b Da , cest--dire quil existe un entier q tel que a = bq et pour tout
pa dans aZ, on a pa = pqb bZ, cest--dire que aZ bZ.
On a donc ainsi montr la premire srie dquivalence.
Si aZ = bZ, on a alors aZ bZ et bZ aZ, donc b/a et a/b et a = b.
Si a = b, les entiers a et b ont les mmes diviseurs, ce qui signifie que Da = Db .
Si Da = Db , on a alors Da Db et Db Da , donc b/a et a/b et a = b qui quivaut aZ = bZ.
Exercice 23.3 Dterminer tous les entiers naturels non nuls n tels que n + 1 divise n2 + 1.
Solution 23.3 Pour tout n 1, on a :
n2 + 1 = n (n + 1) (n 1)
et si n + 1 divise n2 + 1, il va aussi diviser n 1, cest--dire quil existe q N tel que
n1 = q (n + 1) . La seule valeur possible pour q est alors q = 0, car q 1 entrane n1 n+1
qui est impossible. On a donc ncessairement n = 1 et rciproquement cette valeur convient bien.
Exercice 23.4 Dterminer tous les entiers relatifs n diffrents de 3 tels que n3 divise n3 3.
Solution 23.4 Pour tout n Z, on a :
n3 3 = (n 3 + 3)3 3 = q (n 3) + 33 3
= q (n 3) + 24
et si n 3 divise n3 3, il divise alors 24, cest--dire que :
n 3 {1, 2, 3, 4, 6, 8, 12, 24}
et :
n {21, 9, 5, 3, 1, 0, 1, 2, 4, 5, 6, 7, 9, 11, 15, 27} .
Rciproquement ces valeurs conviennent bien.
Dfinition 23.2 Soient n un entier naturel et a, b deux entiers relatifs. On dit que a est congru
b modulo n si n divise a b. On note
a b (n)
Dire que a est congru b modulo n quivaut aussi dire que a b nZ.
Pour n = 0, on a 0Z = {0} et a b (0) revient dire que a = b.
Pour n = 1, on a 1Z = Z et la relation a b (1) est toujours vrifie.
On suppose donc, dans ce qui suit que n 2.
On peut facilement vrifier que la relation de congruence est une relation dquivalence.
Cest--dire que :
a a (n) (a a = 0 nZ) ;
a b (n) b a (n) (a b nZ entrane b a nZ puisque nZ est un groupe) ;
(a b (n) , b c (n)) a c (n) (a b nZ et b c nZ entrane a c = (a b)
(c b) nZ puisque nZ est un groupe).

398

Division euclidienne dans Z

Cette relation est compatible avec laddition et la multiplication sur Z. Cest--dire que :
(a b (n) , c d (n)) (a + c b + d (n) , ac bd (n)) .
En effet a b nZ et c d nZ entrane a + c (b + d) = (a b) + (c d) nZ puisque
nZ est un groupe et ac bd = a (c d) + d (a b) nZ puisque nZ est un idal de Z.
Cette compatibilit permet de munir lensemble Zn des classes dquivalence modulo n dune
structure danneau (voir le chapitre 25).
Exercice 23.5 Soient x et y dans Z. Montrer que si 3x + 7y est multiple de 11 alors 4x 9y
est aussi multiple de 11.
Solution 23.5 On a 3x 7y (11) donc 15x 35y (11) avec 15x 4x (11) et 35y
9y (11) .
Exercice 23.6 Soient a et b dans Z. Montrer que si p = a2 + b2 est impair suprieur ou gal
3 alors p 1 est multiple de 4.
Solution 23.6 Tout entier k est congru 0, 1, 2 ou 3 modulo 4, donc k 2 est congru 0 ou 1
modulo 4 et a2 + b2 est congru 0, 1 ou 2 modulo 4. Si p est impair et p = a2 + b2 alors p est
congru 1 modulo 4 et p 1 est multiple de 4.
Exercice 23.7 Soient p, q deux entiers naturels impairs et a = 3p + 2, b = 3q + 2. Dterminer
tous les entiers naturels n tels que an b2n soit divisible par 6.
Solution 23.7 Lentier m = an b2n est pair comme diffrence de nombres impairs. Il est
donc divisible par 6 si, et seulement si, il est divisible par 3. Avec a 2 (3) et b 2 (3) on
dduit que m 2n 22n (3) et m est divisible par 3 si, et seulement si 2n 22n 0 (3) ce qui
quivaut 2n 1 (3) encore quivalent dire que n est pair.

23.3

Le thorme de division euclidienne dans Z

Thorme 23.1 Soit (a, b) Z Z . Il existe un unique couple (q, r) Z N tel que :

a = bq + r,
(23.1)
0 r < |b| .
Dmonstration. On suppose que b > 0 et on pose :
A = {k Z | bk a} .
Cet ensemble est non vide (pour a 0, 0 est dans A et pour a < 0, a est dans A) et major
(pour a 0, a majore A et pour a < 0, 0 majore A). Il admet donc un plus grand lment q
qui vrifie :
qb a < (q + 1) b.
Il suffit alors de poser r = a bq.
Pour b < 0 on travaille avec b et on a lexistence de (q 0 , r0 ) vrifiant :

a = bq 0 + r0 ,
0 r0 < b.

Le thorme de division euclidienne dans Z

399

Et il suffit de poser q = q 0 , r = r0 .
Supposons quil existe deux couples dentiers (q, r) et (q 0 , r0 ) vrifiant (23.1) avec q 6= q 0 . On
a alors :
|r r0 | = |b (q q 0 )| |b|
avec r et r0 dans ] |b| , |b|[ ce qui est impossible. On a donc q = q 0 et r = r0 . Le couple (q, r)
vrifiant (23.1) est donc unique.
Dfinition 23.3 Avec les notations du thorme 23.1 on dit que a est le dividende, b le diviseur,
q le quotient et r le reste dans la division euclidienne de a par b.
Lanneau Z est un cas particulier danneau euclidien et lapplication n Z 7 |n| est un
stathme euclidien.
Dire que le reste dans la division euclidienne de a par b est nul revient aussi dire que b
divise a.
En utilisant la division euclidienne par un entier naturel non nul n, a = qn + r avec q Z
et r {0, 1, , n 1} , on voit que a est congru modulo n au reste r. Rciproquement, si a
est congru un entier r {0, 1, , n 1} , alors r est le reste dans la division euclidienne de
a par n. Cest--dire que le reste dans la division euclidienne de a par n est lunique entier r
vrifiant :
a r (n) ,
0 r < n.
Remarque 23.3 On peut montrer un rsultat analogue au thorme 23.1 avec la condition
|r| < b (en supposant b > 0), mais dans ce cas le couple (q, r) nest pas unique. Par exemple on
a:
12 = 3 5 3 = 2 5 + 2.
On peut galement formuler le thorme de division euclidienne comme suit.
Thorme 23.2 Soit (a, b) Z Z . Il existe un unique entier q Z tel que :
0 a bq < |b| .

(23.2)

Pour b Z , lencadrement (23.2) peut aussi scrire :

b
a
b
q
< q+1
|b|
|b|
|b|
ce qui donne

a
<b+1
b
hai
a
(partie entire de ).
pour b > 0 et signifie que q =
b
b
hai
a
a
si le reste r = a bq
Pour b < 0, on a q < q + 1, soit q 1 < q et q 1 =
b
b
b
a hai
est non nul et q = =
si le reste est nul.
b
b
q

Remarque 23.4 La dmonstration prcdente du thorme de division euclidienne nest pas

constructive. Un algorithme de dtermination du quotient et du reste est donn par la mthode
de descente infinie de Fermat qui revient faire une dmonstration par rcurrence du thorme
23.1.

400

Division euclidienne dans Z

Le principe est le suivant en supposant a et b strictement positifs.

Si a < b, on prend alors (q, r) = (0, a) .
Si b a, il existe alors un entier q1 1 tel que q1 b a et on pose r1 = a bq1 .
Si r1 < b on prend alors (q, r) = (q1 , r1 ) .
Si b r1 , il existe alors un entier q2 1 tel que q2 b r1 et on pose r2 = r1 bq2 .
En continuant ainsi de suite on construit deux suites dentiers (qn ) et (rn ) par la relation de
rcurrence :
si rn < b alors (qn+1 , rn+1 ) = (qn , rn ) ;
si b rn alors qn+1 est choisi tel que qn+1 b rn et on pose rn+1 = rn bqn+1 .
La suite (rn ) est une suite strictement dcroissante dentiers naturels. Le procd sarrtera
donc au bout dun nombre fini dtapes, cest--dire quil existe un entier p tel que rp < b et
dans ce cas le couple :
(q, r) = (q1 + + qp , rp )
est la solution cherche. En effet on a :
0 rp = rp1 qp b = a (q1 + + qp ) b < b.
Exercice 23.8 Calculer, pour tout entier naturel n, le reste dans la division euclidienne par
13 de lentier xn = 42n+1 + 3n+2 .
Solution 23.8 On a :
xn = 4 42n + 9 3n = 4 16n + 9 3n
= 4 (16n 3n ) + (4 + 9) 3n
n
X
16nk 3k1 + 13 3n = 13yn .
= 4 (16 3)
k=1

Le reste dans la division euclidienne par 13 de xn est donc nul, le quotient tant donn par :
qn = 4

n
X

16nk 3k1 + 3n

k=1

Ce exercice peut en fait se gnraliser comme suit.

Exercice 23.9 Soient a et b deux entiers naturels non nuls tels que a > b. Donner une condition suffisante sur les entiers a et b pour que tous les entiers xn = a2n+1 + bn+2 , o n est un
entier naturel, soient divisibles par a + b2 .
Solution 23.9 On a :
n
xn = a a2n + b2 bn = a a2 + b2 bn
n

= a a2 bn + a + b2 bn
n
2
X
2 nk k1

=a a b
a
b
+ a + b2 bn .
k=1

Si a = b + 1 (i. e. b et a sont deux entiers conscutifs), alors a2 b = b2 + b + 1 = a + b2 et xn

est divisible par a + b2 pour tout n (la condition a2 = b nest pas possible puisquon suppose que
b < a).
Pour (a, b) = (4, 3) on retrouve lexercice prcdent).

Les systmes de numration

401

Exercice 23.10 Soient a, b deux entiers relatifs. Montrer que si a2 + b2 est divisible par 7,
alors a et b sont divisibles par 7.
Solution 23.10 On a a = q1 7 + r1 et b = q2 7 + r2 avec 0 r1 , r2 6 et :
a2 + b2 = (q1 7 + r1 )2 + (q2 7 + r2 )2 = q3 7 + r12 + r22 .
Pour 0 r1 , r2 6 et (r1 , r2 ) 6= (0, 0) , r12 + r22 nest jamais divisible par 7 et donc a2 + b2 nest
pas divisible par 7. En conclusion, si a2 + b2 est divisible par 7, alors a et b sont divisibles par
7.
Exercice 23.11 Calculer le reste dans la division euclidienne de 1955 par 7.
Solution 23.11 En utilisant la compatibilit de la congruence avec la multiplication on a :
19 = 2 7 + 5 5 (7)
1955 555 (7)
5 2 (7) , 52 4 (7) , 54 42 2 (7) , 55 10 3 (7)
11
555 = 55
311 (7)
33 = 27 1 (7)
311 = 333+2 5 (7)
1955 5 (7) .
Exercice 23.12 Calculer le reste dans la division euclidienne de 1751 par 7.
Solution 23.12 Laisse au lecteur.
Les paragraphes qui suivent sont consacrs quelques applications du thorme de division
euclidienne.

23.4

Les systmes de numration

Une premire application importante du thorme de division euclidienne est le thorme de

numration dans une base.
Thorme 23.3 Soit b un entier suprieure ou gal 2. Pour tout entier n > 0 il existe un
unique entier p et un unique (p + 1)-uplet (n0 , n1 , , np ) Np+1 tels que np 6= 0, 0 nk b1
pour tout k {0, 1, , p} et :
p
X
n=
nk bk .
(23.3)
k=0

402

Division euclidienne dans Z

Dmonstration. En remarquant que :

N =

+
[

bj , bj+1

j=0

il suffit de montrer le rsultat pour tout entier n dans [bj , bj+1 [ o j dcrit N. Pour ce faire on
procde par rcurrence sur j 0.
Pour j = 0 tout n [1, b[ scrit sous la forme (23.3) avec p = 0 et n0 = n.
Supposons le rsultat acquis pour j 0 et soit n [bj+1 , bj+2 [ . En utilisant le thorme de
division euclidienne on peut crire n = bq + n0 avec 0 n0 b 1. On a alors :

bq = n n0 > bj+1 b = b bj 1
et donc q > bj 1, soit q bj . On a galement
n n0
n0
< bj+1
bj+1 .
b
b

q=

En dfinitive q [bj , bj+1 [ et avec lhypothse de rcurrence il scrit q =

p
P

qk bk avec qp 6= 0.

k=0

Do :
n = bq + n0 =

p+1
X

nk bk

k=0

avec nk = qk1 pour tout k {1, 2, , p + 1} . En particulier np+1 = qp 6= 0.

Supposons que lon ait deux critures :
n=

p
X
k=0

nk b =

p
X

n0k bk

k=0

avec p0 p, 0 nk b 1, 0 n0k b 1, np 6= 0 et n0p0 6= 0. On a alors :

p

b n

p
X

(b 1) bk = bp+1 1 < bp+1 .

k=0
0

De mme bp n < bp +1 . Donc bp < bp+1 soit bp p < b et ncessairement p = p0 . En

remarquant que n0 est le reste dans la division euclidienne de n par b, on dduit que n0 = n00
puis par rcurrence que nk = n0k pour tout k {1, , p} . Do lunicit de la dcomposition.
Remarque 23.5 Dans la dcomposition (23.3) on a bp n < bp+1 , cest--dire que p est le
plus grand entier vrifiant bp n.
Dfinition 23.4 Avec les notations du thorme 23.3 on dit que (23.3) est la reprsentation
en base b de lentier n. On note :
n = np n1 n0 b
et on dit que les nk sont les chiffres dans lcriture en base b de n.

Les systmes de numration

403

Pour les valeurs successives b = 2, 8, 10 et 16, les critures en base b correspondantes sont
les systmes de numration binaire (chiffres 0, 1), octal (chiffres 0, 1, , 7), dcimal (chiffres
0, 1, , 9) et hexadcimal (chiffres 0, 1, , 9, A, B, , F ).
Pour b = 10, on crit plus simplement n = np n1 n0 la reprsentation dcimale de lentier
n.
Si n = np n1 n0 b , alors n0 est le reste dans la division euclidienne de n par b et np n1 b
est le quotient. Cette remarque nous permet de donner un algorithme de calcul des chiffres dans
lcriture en base b de n : on divise n par b, puis le quotient par b et ainsi de suite, un quotient
nul indique la fin du processus et les restes successifs donnent, de droite gauche, lcriture en
base b de n. Par exemple, lcriture en base b = 2 de n = 120 sobtient comme suit :
n 120 60 30 15 7 3 1
q 60 30 15 7 3 1 0
r 0
0 0 1 1 1 1
2

ce qui donne 120 = 1111000 .

b
On peut remarquer que lcriture en base b de lentier b est b = 10 et plus gnralement,
b
pour tout entier p 1, lcriture de lentier bp en base b est b = 10 0 (1 suivi de p zros).
On peut galement remarquer que si n = np n1 n0 b , alors pour tout entier k compris entre
1 et p, nk1 n1 n0 b est le reste dans la division euclidienne de n par bk et np nk b est le
quotient.
Lcriture en base b peut tre utilise pour comparer deux entiers naturels non nuls, en faire
la somme ou le produit (voir [?], chapitre 1, paragraphe 2).
Lcriture en base b = 10 permet dobtenir les critres classiques de divisibilit rsums avec
lexercice qui suit.
Exercice 23.13 Soit n un entier naturel et n = np n1 n0 son criture dcimale. Montrer
que :
n est divisible par 2 si, et seulement si, son chiffre des units n0 est pair ;
n est divisible par 5 si, et seulement si, son chiffre des units n0 est gal 0 ou 5 ;
p
P
n est divisible par 3 si, et seulement si, la somme
nk de ses chiffres est divisible par 3 ;
n est divisible par 9 si, et seulement si, la somme

k=0
p
P

nk de ses chiffres est divisible par 9 ;

k=0

n est divisible par 11 si, et seulement si, la somme alterne

p
P

(1)k nk de ses chiffres est

k=0

divisible par 11.

Solution 23.13 Ces critres de divisibilit se dduisent de la connaissance du reste dans la

division euclidienne de 10 par 2, 3, 5, 9 et 11 respectivement.
Comme 10 est congru 0 modulo 2 et modulo 5, on dduit que n est congru n0 modulo 2 et
modulo 5 et donc n est divisible par 2 (resp. par 5) si, et seulement si, son chiffre des units
n0 est pair, cest--dire gal 0, 2, 4, 6 ou 8 (resp. multiple de 5, cest--dire gal 0 o 5).
Du fait que 10 est congru 1 modulo 3 et modulo 9, on dduit que 10k est congru 1 modulo
p
P
3 et modulo 9 pour tout entier k et n est congru
nk modulo 3 et modulo 9. Donc n est
k=0

divisible par 3 (resp. par 9) si et seulement si la somme de ses chiffres est divisible par 3 (resp.
par 9).
Enfin du fait que 10 est congru 1 modulo 11 on dduit que 10k est congru (1)k modulo

404

Division euclidienne dans Z

11 pour tout entier k et n est congru

p
P

(1)k nk modulo 11. Donc n est divisible par 11 si

k=0

et seulement si la somme alterne de ses chiffres est divisible par 11.

De manire un peu plus gnrale, on a les rsultats suivants.
Exercice 23.14 Soit n un entier naturel et n = np n1 n0 b son criture dans une base b 2.
Montrer que :
si d est un diviseur premier de b 2 (les nombres premiers sont dfinis au chapitre 24),
alors n est divisible par d si, et seulement si, n0 est divisible par d ;
si b 3 et d est un diviseur premier de b 1, alors n est divisible par d si, et seulement
p
P
si,
nk est divisible par d ;
k=0

si d est un diviseur premier de b + 1, alors n est divisible par d si, et seulement si,
p
P
(1)k nk est divisible par d.
k=0

Solution 23.14 Laisse au lecteur.

Exercice 23.15 Dterminer le reste dans la division euclidienne de k 100 par 10 pour tout k
10
P
compris entre 1 et 10. En dduire le dernier chiffre dans lcriture en base 10 de
k 100 .
k=1

Solution 23.15 On a :
20
4
2100 = 25
= (30 + 2)20 220 = 25 24 = 16 6 (10)
25
3100 = 34
125 1 (10)

2
4100 = 2100 36 6 (10)
5100 5 (10)
6100 (4)100 6 (10)
7100 (3)100 1 (10)
8100 (2)100 6 (10)
9100 (1)100 1 (10)
et donc S 3 (10) .
Exercice 23.16 Pour tout entier naturel n, on dsigne par an et bn les entiers dfinis par
a0 = 16, b0 = 4 et pour n 1, an = 11 1155 56, o le chiffre 1 est rpt n + 1 fois et le
chiffre 5 rpt n fois et bn = 33 34 o le chiffre 3 est rpt n fois.
Montrer que an = b2n pour tout n. Gnraliser.
Solution 23.16 Pour les premires valeurs de n, on peut constater que a0 = 16 = 42 = b20 ,
a1 = 1156 = 342 = b21 , a2 = 111556 = 3342 = b22 .
De manire plus gnrale, pour n 1, on a :
bn = 4 + 3 10 + + 3 10n
10n 1
10
= 4 + 3 10
=4+
(10n 1)
10 1
3
2 1
= + 10n+1
3 3

Les systmes de numration

405

et :
an = 6 + 5 10 + + 5 10n + 10n+1 + + 102n+1
10n 1
10n+1 1
= 6 + 5 10
+ 10n+1
10 1
10 1
n+1

5 10
10
=6+
(10n 1) +
10n+1 1
9
9

2
2 1 n+1
4 4 n+1 1 2n+2
= + 10
+ 10
=
+ 10
= b2n .
9 9
9
3 3
On peut remarquer que :
(2bn )2 = 66 682 = 4an = 44 4622 24.
On peut aussi montrer ce rsultat par rcurrence sur n 0.
On peut essayer de gnraliser. Soit bn = bb bc o le chiffre b compris entre 1 et 9 est rpt
n fois et c est compris entre 0 et 9. On a :
bn = c + b 10 + + b 10n
10n 1
10b
= c + b 10
=c+
(10n 1)
10 1
9
10b b n+1
=c
+ 10
9
9
et :

10b
2b
10b
b2
= c
+
c
10n+1 + 2 102n+2
9
9
9
9

2
n+1
10b
2b
10b
b
10
1 b2 n+1
= c
+
c
10n+1 + 10n+1
+ 2 10
9
9
9
9
9
9

n+1
10b
19
10
b2
10n+1 1
= c
+ b 2c b
+ 10n+1
9
9
9
9
9

n
10b
19
10 1 10b
19
= c
+ b 2c b 10
+
2c b
9
9
9
9
9
2
n+1
b
10
1
+ 10n+1
9
9

19
b
10
10n+1 + + 102n+1
= c2 b2 + b 2c b (10 + + 10n ) +
9
9
9

10 2
19
2
Il sagit alors de choisir b et c tels que = c b et = b 2c b soient entiers
9
9
2
b
b2
compris entre 0 et 9 et =
est entier compris entre 1 et 9. Si b {1, 2, 4, 5, 7, 8} , alors
9
9
nest pas entier.
Pour b = 3, on a = 1, = c2 10 et = 6c 19, ce qui impose c = 4 (c 3 donne < 0
et c 5 donne > 9), cest lnonc initiale avec = 6, = 5 et = 1.
Pour b = 6, on a = 4, = c2 40 et = 12c 76, ce qui impose c = 7. On a alors = 9,
= 8 et = 4, soit b2n = an avec an = 44 4488 89 et bn = 66 67.
Pour b = 9 on a = 9, = c2 90 qui est toujours ngatif, ce cas est donc exclu.
b2n

406

23.5

Division euclidienne dans Z

Sous-groupes additifs de Z

Le thorme de division euclidienne permet de caractriser les sous-groupes additifs de Z.

On a dj vu que pour tout entier naturel n, lensemble nZ des multiples de n est un sousgroupe additif de Z. En ralit ce sont les seuls.
Thorme 23.4 Si G est un sous-groupe de (Z, +) , il existe alors un unique entier naturel n
tel que G = nZ.
Dmonstration. Si G = {0} , on a G = 0Z.
Si G 6= {0} , il existe dans G un entier a non nul et lun des entiers a ou a est dans
+
G = G N . Lensemble G+ est donc une partie non vide de N et en consquence admet un
plus petit lment n 1. Comme n G et G est un groupe additif, on a nZ G. Dautre
part, pour tout x G, la division euclidienne par n donne x = qn + r avec r = x nq G+ et
r n 1, ce qui impose r = 0 par dfinition de n. On a donc G nZ et G = nZ.
Lunicit provient du fait que nZ = mZ si, et seulement si, n = m et pour n, m positifs,
on a ncessairement n = m.
Le rsultat prcdent peut se traduire en disant que lanneau Z est principal et a de nombreuses applications.

23.5.1

Ordre dun lment dans un groupe

Comme premire application, nous allons voir que cette caractrisation des sous-groupes de
(Z, +) peut tre utilise pour dfinir lordre dun lment dans un groupe.
tant donn un groupe multiplicatif G et un lment a de G, lapplication :
a : Z G
k 7 ak
est un morphisme de groupes et son noyau est un sous-groupe de Z. En effet, pour j, k dans
Z, on a a (j + k) = aj+k = aj ak = a (j) a (k) , donc a est un morphisme de groupes et le
thorme 20.7 nous dit que ker (a ) est un sous-groupe de Z. Il existe donc un unique entier
n 0 tel que ker (a ) = nZ.
Le thorme 20.7 nous dit aussi que Im (a ) est un sous-groupe de G, il est dfini par :

Im (a ) = ak | k Z
et est not hai . On dit que cest le sous-groupe de G engendr par a.
On aura n = 0 si, et seulement si, a est injective, ce qui revient dire que a (k) = ak 6= 1
pour tout k Z ou encore que a (k) = ak 6= a (j) = aj pour tous j 6= k dans Z encore
quivalent dire que le sous-groupe hai = Im (a ) de G est infini.
On dira alors, dans le cas o n = 0, que a est un lment dordre infini dans G.
Si n 1, en effectuant, pour k Z, la division euclidienne de k par n, on a k = qn + r avec
0 r n 1 et ak = (an )q ar = ar . On a donc :
hai = Im (a ) = {ar | 0 r n 1}
De plus pour 1 r n 1, on a ar 6= 1 puisque ar = 1 entrane r ker (a ) = nZ, soit r = qn,
ce qui est impossible avec 0 < r < n. Il en rsulte que si r et s sont deux entiers distincts
compris entre 0 et n 1, on a alors ar 6= as . En effet, en supposant que r s, lgalit ar = as
quivaut asr = 1 avec s r compris entre 0 et n 1, ce qui quivaut r = s. Le groupe hai
a donc exactement n lments. On dit alors que a est dordre n dans G.
En dfinitive, on donne les dfinitions suivantes.

Sous-groupes additifs de Z

407

Dfinition 23.5 Soient G un groupe multiplicatif et a un lment de G. Lordre de a est

llment (a) N {+} dfini par :
(a) = card (hai) .
Si (a) est dans N , on dit alors que a est dordre fini, sinon on dit quil est dordre infini.
Remarque 23.6 Seul lunit 1 est dordre 1 dans G. En effet, si a = 1, alors hai = {1} et si
a 6= 1, alors a0 6= a1 et hai a au moins deux lments.
Ltude prliminaire que nous avons faite se traduit par le rsultat suivant.
Thorme 23.5 Soient G un groupe multiplicatif et a un lment de G. Dire que a G est
dordre fini n 1 quivaut dire que an = 1 et ak 6= 1 si k est compris entre 1 et n 1 (n est
le plus petit entier naturel non nul tel que an = 1).
Dmonstration. Supposons que a soit dordre n 1. Si ak 6= 1 pour tout k N , on a alors
a 6= aj pour tous j 6= k dans Z et hai est infini, ce qui est contraire lhypothse. Il existe donc
des entiers k 1 tels que ak = 1 et peut dfinir le plus petit de ces entiers, notons le m. On a
donc am = 1, ak 6= 1 si k est compris entre 1 et m 1 et lensemble H = {ar | 0 r m 1}
est de cardinal m contenu dans hai qui est de cardinal n, donc m n. Par division euclidienne
tout entier relatif k scrit k = qm + r avec 0 r m 1 et ak = (am )q ar = ar H, donc
hai est contenu dans H et n m. On a donc n = m et H = hai . Lentier n vrifie donc bien
la proprit annonce.
Rciproquement supposons quil existe un entier n 1 tel que an = 1 et ak 6= 1 si k est
compris entre 1 et n 1. Les mmes arguments nous donnent :
j

hai = aqn+r

H = {ar | 0 r n 1}

| q Z, 0 r n 1 = H

et hai = H est de cardinal n, ce qui signifie que a est dordre n.

Corollaire 23.1 Soient G un groupe multiplicatif et a un lment de G. Dire que a G est
dordre fini n 1 quivaut dire que, pour k Z, on a ak = 1 si, et seulement si, k est multiple
de n.
Dmonstration. Si a est dordre n, alors an = 1 et pour k = qn + r Z avec q Z et
0 r n 1 (division euclidienne), on a ak = ar = 1 si, et seulement si r = 0.
Rciproquement supposons que ak = 1 si, et seulement si, k est multiple de n. On a alors
an = 1 et ak 6= 1 si k est compris entre 1 et n 1, ce qui signifie que a est dordre n.
Remarque 23.7 Dans le cas o le groupe G est additif, lordre de a G est dfini comme le
plus petit entier n 1 tel que na = 0, quand cet ordre est fini. Lgalit ma = 0 quivaut alors
dire que m est multiple de n. Le groupe engendr par a est alors :
hai = {ka | k Z} = {ra | 0 r n 1} .
Dans le cas o le groupe G est fini, le thorme de Lagrange (thorme 20.9) nous dit que,
pour tout a G, lordre de a divise lordre de G.

408

23.5.2

Division euclidienne dans Z

Caractristique dun anneau ou dun corps commutatif

Comme deuxime application, nous allons voir que cette la caractrisation des sous-groupes
de (Z, +) peut tre utilise pour dfinir la caractristique dun anneau ou dun corps commutatif.
Si (A, +, ) est un anneau commutatif unitaire, alors lapplication : n 7 n 1 est un
morphisme danneaux de Z dans A et son noyau ker () est un sous-groupe de Z (cest mme
un sous-anneau), il existe donc un unique entier naturel p tel que :
ker () = {n Z | n 1 = 0} = pZ
et on peut alors donner la dfinition suivante.
Dfinition 23.6 Si (A, +, ) est un anneau commutatif unitaire, la caractristique de A est
lentier naturel p qui vrifie ker () = pZ, o est le morphisme danneaux de Z dans A dfini
par (n) = n 1 pour tout n Z.
Dire que la caractristique dun anneau commutatif unitaire A est nulle quivaut dire que
lapplication est injective et dans ce cas (Z) est un sous-anneau de A isomorphe Z, il est
donc en particulier infini. On identifie ce sous-anneau (Z) Z.
Un anneau de caractristique nul est donc infini et contient Z comme sous-anneau.
Dans le cas o A = K est un corps commutatif, si sa caractristique est nulle, il contient
non seulement Z, mais aussi le corps Q des rationnels, puisque pour tout entier non nul n, on
1
1
a (n 1)1 = K et en consquence tout r = p (o (p, q) Z N ) est aussi dans K.
n
q
Nous verrons plus loin que la caractristique dun anneau commutatif unitaire et intgre est
soit nulle soit un nombre premier. Cest le cas en particulier pour un corps commutatif.
Le thorme 23.4 combin avec le fait que la somme et lintersection de deux sous groupes de
(Z, +) est un sous-groupe de (Z, +) (voir lexercice 20.22 pour la somme de deux sous-groupes)
nous permet de donner une dfinition du pgcd et du ppcm de deux entiers relatifs.

23.5.3

Plus grand commun diviseur

La caractrisation des sous-groupes de (Z, +) peut tre utilise pour dfinir le pgcd de deux
ou plusieurs entiers relatifs, non tous nuls.
Thorme 23.6 Soient a, b deux entiers relatifs non tous deux nuls. Il existe un unique entier
naturel tel que :
aZ + bZ = Z.
Cet entier scrit = au + bv avec (u, v) Z2 et cest le plus grand entier naturel qui divise a
et b.
Dmonstration. aZ + bZ tant un sous groupe de (Z, +) , le thorme 23.4 nous dit quil
existe un unique entier naturel tel que aZ + bZ = Z.
Comme Z = aZ + bZ, il existe (u, v) Z2 tel que = au + bv.
De aZ Z et bZ Z, on dduit que un diviseur commun a et b. Si d N est un
diviseur commun a et b, il divise aussi = au + bv et d (a et b ntant pas tous les deux
nuls, on a 6= 0). Donc est bien le plus grand entier naturel qui divise a et b.
On peut donc donner la dfinition suivante.
Dfinition 23.7 Soient a, b deux entiers relatifs non tous deux nuls. On appelle plus grand
commun diviseur de a et b le plus grand entier naturel qui divise a et b. On le note pgcd (a, b)
ou a b.

Sous-groupes additifs de Z

409

La relation a b = au + bv avec (u, v) Z2 est lidentit de Bzout.

Exercice 23.17 Soient a, b deux entiers relatifs non tous deux nuls et Da,b lensemble des
diviseurs communs a et b dans N , cest--dire :
Da,b = {d N | d/a et d/b} .
Montrer que a b est le plus grand lment pour lordre de la division dans N de Da,b et que
Da,b = Dab (ensemble des diviseurs strictement positifs de a b).
Solution 23.17 On sait dj que = a b divise a et b, donc Da,b et tout entier d Da,b
divisant a et b va diviser = au + bv.
Comme tout d Da,b divise , on a Da,b D et comme tout d D divise qui divise lui
mme a et b, d va diviser a et b, soit d Da,b . On a donc Da,b = Dab .
On peut aussi donner une dfinition de pgcd (a, b) sans rfrence directe aux sous-groupes
de Z comme indiqu dans lexercice suivant.
Exercice 23.18 Montrer, sans rfrence directe aux sous-groupes de Z, que lensemble Da,b
dfini lexercice prcdent admet donc un plus grand lment ( est alors le plus grand
diviseur communs a et b).
Solution 23.18 Lensemble Da,b est non vide car il contient 1. Comme a et b ne sont pas
tous deux nuls, cet ensemble est fini puisquun entier relatif non nul na quun nombre fini de
diviseurs dans N . Lensemble Da,b est donc non vide et major dans N , il admet donc un plus
grand lment N qui est bien le plus diviseur communs a et b.
Exercice 23.19 Vrifier les proprits suivantes du pgcd :
(a, b) Z2 {(0, 0)} , a b N ;
a Z , a 0 = a a = |a| ;
a Z, a 1 = 1 ;
(a, b) Z2 {(0, 0)} , a b = |a| |b| = |a| b = a |b| ;
(a, b) Z2 {(0, 0)} , a b = b a (commutativit du pgcd) ;
pour b Z et a Z, on a a b = |b| si, et seulement si, b divise a ;
(a, b) Z2 {(0, 0)} , c Z , (ac) (bc) = |c| (b a) ;

a b
ab
=
;
d d
|d|
pour a, b, c non tous nuls dans Z, on a a (b c) = (a b) c (associativit du pgcd).
si d Z est un diviseur commun de a et b non tous deux nuls, alors

Solution 23.19 Laisse au lecteur.

Exercice 23.20 Soient a, b deux entiers naturels non nuls. Montrer que :

(a b) b si a b
ab=
a (b a) si b > a
En dduire un algorithme simple de calcul de a b.

410

Division euclidienne dans Z

Solution 23.20 Si a = b, alors a b = a a = a = 0 a. Si a > b, on note = a b et

0 = (a b) b. Comme divise a et b, il divise a b et b, donc il divise leur pgcd 0 . De mme
0 qui divise a b et b va diviser a = (a b) + b et b, il divise donc et = 0 . Pour a < b, on
a a b = b a = a (b a) .
Un algorithme simple de calcul de a b, pour a, b entiers relatifs est donc le suivant :
Dbut
Lecture de a et b ;
a = |a| ; b = |b| ;
Tant que a 6= b Faire
Dbut
Si a > b Alors
remplacer a par a b ;
Sinon
remplacer b par b a ;
Fin si ;
Fin ;
pgcd = a ;
Fin.
Par exemple, pour (a, b) = (128, 28) , on a :
a b = 100 28 = 72 28 = 44 28
= 16 28 = 16 12 = 4 12 = 4 8
= 4 4 = 4.
Cet algorithme nest videmment pas trs performant, il sera amlior par lalgorithme dEuclide.
Exercice 23.21 Soient a et b deux entiers relatifs non tous deux nuls. Montrer que :
a b = a (a + b) = b (a + b) .
Solution 23.21 On remarque que si (a, b) 6= (0, 0) , alors (a, a + b) 6= (0, 0) et (b, a + b) 6=
(0, 0) .
En notant = a b et 0 = a (a + b) , on a :
= au + bv = a (u v) + (a + b) v
aZ + (a + b) Z = 0 Z
donc Z 0 Z et :
0 = au0 + (a + b) v 0 = a (u0 + v 0 ) + bv 0
aZ + bZ = Z
donc 0 Z Z et donc Z = 0 Z, ce qui quivaut = 0 .
On peut aussi dire que comme divise a et b, il divise a et a + b, donc il divise leur pgcd 0 .
De mme 0 qui divise a et a + b va diviser a et b = (a + b) a, il divise donc et = 0 .
On a donc, en permutant les rles de a et b :
a b = a (a + b) = b (a + b) .

Sous-groupes additifs de Z

411

Exercice 23.22 Soient a, b deux entiers naturels non nuls. Calculer (5a + 3b) (7a + 4b) en
fonction de a b.
Solution 23.22 En utilisant la relation a b = (a b) b pour a b, on a :
(5a + 3b) (7a + 4b) = (5a + 3b) (2a + b)
= (3a + 2b) (2a + b)
= (a + b) (2a + b)
= (a + b) a
= a b.
On dfinit de manire analogue le pgcd dune famille a1 , , ap forme de p entiers non tous
nuls comme le plus grand des diviseurs communs a1 , , ap . On le note pgcd (a1 , , ap ) ou
a1 a2 ap et cest un entier suprieur ou gal 1. Cette dfinition est justifie par le
thorme suivant.
Thorme 23.7 Soient a1 , , ap des entiers relatifs non tous nuls. Il existe un unique entier
naturel tel que :
a1 Z + + ap Z = Z.
p
X
uk ak avec (u1 , , up ) Zp et cest le plus grand entier naturel qui
Cet entier scrit =
divise a1 , , ap .

k=1

Dmonstration. Analogue au cas o p = 2.

Comme dans le cas o p = 2, on vrifie que a1 ap est aussi le plus grand lment pour
lordre de la division dans N de lensemble des diviseurs positifs communs a1 , , ap .
p
X
uk ak est lidentit de Bzout.
Lgalit =
k=1

La notation a1 a2 ap ne pose pas de problme du fait de la commutativit et

lassociativit du pgcd (elle est indpendante de lordre des ak ).

23.5.4

Plus petit commun multiple

La caractrisation des sous-groupes de (Z, +) peut tre utilise pour dfinir le ppcm de deux
ou plusieurs entiers relatifs, non tous nuls.
Thorme 23.8 Soient a, b sont deux entiers relatifs. Il existe un unique entier naturel tel
que :
aZ bZ = Z.
Si a = 0 ou b = 0, alors = 0. Si a 6= 0 et b 6= 0, alors est le plus petit entier naturel non
nul multiple de a et de b.
Dmonstration. aZ bZ tant un sous groupe de (Z, +) , lexistence et lunicit de se
dduit du thorme 23.4.
Si a = 0 ou b = 0, on a Z 0Z = {0} et = 0.
Si a 6= 0 et b 6= 0, de Z aZ et Z bZ, on dduit que est multiple de a et b. Si m N
est un multiple commun a et b, il est dans aZ bZ = Z et cest donc un multiple de , ce
qui implique m . Donc, est bien le plus petit entier naturel non nul multiple de a et de b.
On peut donc donner la dfinition qui suit.

412

Division euclidienne dans Z

Dfinition 23.8 Soient a, b deux entiers relatifs. On appelle plus petit commun multiple de a
et b le plus petit entier naturel multiple de a et b. On le note ppcm (a, b) ou a b.
Remarque 23.8 La dfinition de ppcm (a, b) peut aussi se justifier directement sans rfrence
directe aux sous-groupes de Z. Pour ce faire, on dsigne par Ma,b lensemble des multiples
communs a et b. Si a 6= 0 et b 6= 0, alors lensemble Ma,b N des multiples communs a et b
qui sont strictement positifs est non vide car il contient |ab| , il admet donc un plus petit lment
qui est bien plus petit commun multiple de a et b. Pour a = 0 ou b = 0, on a Ma,b = {0} et
= 0.
Remarque 23.9 Le ppcm de a et b est aussi le plus petit lment pour lordre de la division
dans Z de lensemble Ma,b des multiples communs a et b. En effet, a b est un multiple de
a et b et tout multiple commun m a et b qui est dans aZ bZ = Z est un multiple de a b.
On vrifie facilement les proprits suivantes.
Exercice 23.23 Vrifier les proprits suivantes du ppcm :
(a, b) (Z )2 , a b N ;
a Z , a 1 = a a = |a| ;
(a, b) Z2 , a b = |a| |b| = |a| b = a |b| ;
(a, b) Z2 , a b = b a (commutativit du ppcm) ;
pour b Z et a Z, on a a b = |b| si, et seulement si, b est multiple de a ;
(a, b, c) Z3 , (ac) (bc) = |c| (b a) ;
a b
ab
si d Z est un diviseur commun de a et b, alors =
;
d d
|d|
pour a, b, c non tous nuls dans Z, on a a (b c) = (a b) c (associativit du ppcm).
Solution 23.23 Laisse au lecteur.
Lemme 23.1 Soient a, b deux entiers relatifs premiers entre eux. On a alors :
a b = |ab| .
Dmonstration. Du fait que |ab| est un multiple de a et b on dduit que = a b divise
ab.
Dautre part il existe deux entiers k, k 0 tels que = ka = k 0 b et comme a est premier avec
b et divise k 0 b, il divise k 0 (thorme de Gauss). Ce qui donne = k 00 ab et ab divise . Do
lgalit = ab.
Nous verrons que la rciproque du rsultat prcdent est vraie.
Thorme 23.9 Soient a, b deux entiers relatifs. On a alors :
(a b) (a b) = |ab| .
Dmonstration. On note = a b et on a |a| = a0 , |b| = b0 avec a0 et b0 premiers entre
eux. Ce qui donne :
= a b = (a0 ) (b0 ) = (a0 b0 ) = a0 b0
et = a0 b0 = |ab| .
Du lemme et du thorme prcdent, on dduit que :
a b = 1 a b = |ab| .

Sous-groupes additifs de Z

413

|ab|
On a donc pour a, b dans Z a b =
.
ab
On peut donc dfinir de manire naturelle le ppcm de deux entiers relatifs non tous deux
nuls par :
|ab|
ab=
.
ab
On peut aussi utiliser cette relation pour calculer le ppcm de deux entiers. On calcule dabord
le pgcd en utilisant lalgorithme dEuclide (paragraphe 23.6), puis on divise |ab| par ce pgcd .
On dfinit de manire analogue le ppcm dune famille a1 , , ap forme de p entiers non tous
nuls comme le plus petit des multiples communs a1 , , ap . On le note ppcm (a1 , , ap ) ou
a1 a2 ap et cest un entier suprieur ou gal 1. Cette dfinition est justifie par le
thorme suivant.
Thorme 23.10 Soient a1 , , ap des entiers relatifs non tous nuls. Il existe un unique entier
naturel tel que :
a1 Z ap Z = Z.
est le plus petit entier naturel divisible par a1 , a2 , et ap .
Dmonstration. Analogue au cas o p = 2.
La notation a1 a2 ap ne pose pas de problme du fait de la commutativit et
lassociativit du ppcm (elle est indpendante de lordre des ak ).
Comme dans le cas o p = 2, on vrifie que a1 ap est aussi le plus petit lment pour
lordre de la division dans N de lensemble des multiples positifs communs a1 , , ap .
Exercice 23.24 Montrer que si a1 , , ap sont des entiers relatifs non nuls deux deux premiers entre eux alors a1 ap = |a1 ap | . Ce rsultat est-il encore valable si on suppose
que a1 , , ap sont premiers entre eux dans leur ensemble.
Solution 23.24 On sait dj que si a1 et a2 sont premiers entre eux alors a1 a2 = |a1 a2 | .
Supposons le rsultat acquis pour p 1 2 et soient a1 , , ap deux deux premiers entre
eux. Les entiers a1 ap1 et ap sont alors premiers entre eux (corollaire 23.3) et en utilisant
lassociativit du ppcm, on a :
a1 ap = (a1 ap1 ) ap
= |a1 ap1 | ap = |a1 ap | .
Ce rsultat nest plus valable si on suppose seulement que les ak sont premiers entre eux dans
leur ensemble comme le montre lexemple suivant :
2 3 4 = 12 6= 2 3 4 = 24
Exercice 23.25 A-t-on (a1 ap ) (a1 ap ) = |a1 ap | dans Z ?
Solution 23.25 La rponse est non pour n 3 comme le montre lexercice prcdent.
Exercice 23.26 Peut-on trouver des entiers a, b tels que a b = 7 et a b = 36.
Solution 23.26 Comme a b = 7 divise a et b, il divise a b et a b = 36 est alors impossible.
Exercice 23.27 Dterminer tous les couples (a, b) dentiers naturels non nuls tels que ab = 3
et a b = 12.

414

Division euclidienne dans Z

Solution 23.27 De ab = 12 on dduit que a, b sont des diviseurs de 12 donc dans {1, 2, 3, 4, 6, 12} .
de a b = 3, on dduit que a et b sont multiples de 3, donc dans {3, 6, 12} . De ab =
(a b) (a b) = 36, on dduit que :
a = 3 [resp. b = 3] donne b = 12 [resp. a = 12] et (3, 12) , (12, 3) sont deux solutions
possibles ;
a = 6 [resp. b = 6] donne b = 6 [resp. a = 6] et a b = 6 6= 3.
En dfinitive, (a, b) {(3, 12) , (12, 3)} .
Exercice 23.28 On se propose de montrer que pour tout entier naturel n > 2, on a :
n = ppcm (1, 2, , n) 2n2 .
1. Montrer le rsultat pour n = 2 et n = 3.
2. Pour tout entier naturel n, on, note :
Z

In =

xn (1 x)n dx.

(a) Montrer que :

1
.
4n

n N, 0 < In

(b) Montrer que, pour tout n N , il existe un entier naturel non nul an tel que In =
an
.
2n+1
(c) En dduire que :
n N , 2n+1 22n .
(d) En dduire le rsultat annonc.
Solution 23.28
1. On a :
2 = ppcm (1, 2) = 2 1 et 3 = ppcm (1, 2, 3) = 6 2.
2.
1
(a) Pour 0 < x < 1, on a 0 < x (x 1) sup x (1 x) = , ce qui donne le rsultat.
4
[0,1]
(b) On a :
Z

In =

xn

n
X

!
k

Cnk (1) xk

k=0
n
X

Cnk

Z
(1)

xn+k dx

k=0

dx

n
X
k=0

et en rduisant au mme dnominateur In =

Cnk

(1)k
n+k+1

an
2n+1

, o an N .

Lalgorithme dEuclide.

415

(c) On a alors 2n+1 In = an 1 et :

2n+1

1
4n = 22n .
In

(d) Pour n N , on a :
2n+2 = 2n+1 (2n + 2) 22n .
On a donc montr que n 2n2 pour tout n 4.
On peut en fait montrer que n 2n pour tout n 7.

23.6

Lalgorithme dEuclide.

Le lemme qui suit permet de dduire du thorme de division euclidienne un algorithme de

calcul du pgcd de deux entiers positifs. Cest lalgorithme dEuclide.
Cet algorithme permet galement de dterminer des entiers u et v tels que au + bv = a b.
Thorme 23.11 Soient a, b deux entiers naturels non nuls et r le reste dans la division euclidienne de a par b. On a alors a b = b r.
Dmonstration. Par division euclidienne, on a a = bq + r avec 0 r < b. Lentier naturel
= a b qui est un diviseur commun a et b va diviser r = a bq, cest donc un diviseur
commun b et r et 0 = b r.
Lentier naturel 0 = b r qui est un diviseur commun b et r va diviser a = bq + r, cest
donc un diviseur commun a et b et 0 . On a donc bien = 0 .
Le principe de lalgorithme dEuclide est le suivant pour a > b dans N (par symtrie, on
peut supposer que a b et pour a = b, on a a a = a).
On note r0 = b et on dsigne par r1 le reste dans la division euclidienne de a par b.
On a alors 0 r1 < r0 et daprs le lemme prcdent :
a b = r0 r1 .
Si r1 = 0 alors r0 r1 = r0 = b et cest termin.
Si r1 6= 0 on dsigne alors par r2 le reste dans la division euclidienne de r0 par r1 et on a
0 r2 < r1 et :
a b = r0 r1 = r1 r2 .
Si r2 = 0 alors r1 r2 = r1 et cest termin. Sinon on continu.
On dfinit donc ainsi une suite dentiers (rn )n0 par :
r0 = b ;
r1 est le reste dans la division euclidienne de a par b ; on a donc 0 r1 < b ;
pour n 2, si rn1 = 0 alors rn = 0 et sinon rn est le reste dans la division euclidienne de
rn2 par rn1 et on a 0 rn < rn1 . Dans tous les cas on rn rn1 lgalit tant ralise
si et seulement si les deux termes sont nuls.
La suite (rn )n1 ainsi construite est donc une suite dcroissante dentiers positifs, elle est
donc stationnaire partir dun certain rang. Prcisment il existe un entier p 1 tel que
rp = 0 < rp1 < < r1 < r0 et :
a b = r0 r1 = = rp1 rp = rp1 .
Cest dire que a b est le dernier reste non nul dans cette suite de divisions euclidiennes.

416

Division euclidienne dans Z

Par exemple pour calculer le pgcd de a = 128 et b = 28, on procde comme suit :

a = 128 = 4 28 + 16 = q1 r0 + r1

r0 = 28 = 1 16 + 12 = q2 r1 + r2
r1 = 16 = 1 12 + 4 = q3 r2 + r3

r2 = 12 = 3 4 + 0 = q4 r3 + r4

r4 = 0, r3 = 4 = 128 28

(23.4)

On peut utiliser un tableau pour effectuer la suite des calculs. Sur la deuxime ligne, on
place dabord a et b, puis sur la premire ligne on place au dessus de b le quotient q1 et sur
la troisime ligne, on place au dessous de a le reste r1 , ce mme reste r1 tant aussi plac
en deuxime ligne aprs b. On recommence alors avec le couple (b, r1 ) . Sur la premire ligne
apparaissent les quotients successifs sur la troisime les restes successifs. Le dernier reste non
nul, qui apparat en fin de deuxime ligne, donne alors le pgcd .
q1 q2
q3
q4
a b r1
r2
r3
r1 r2 r3 r4 = 0

4 1
1
3
128 28 16
12
4
16 12 4 r4 = 0

On a donc construit, avec lalgorithme dEuclide, deux suites dentiers (rn )0np et (qn )1np
de la manire suivante :

a = q1 r0 + r1 (0 < r1 < r0 = b)

r = q2 r1 + r2 (0 < r2 < r1 )

r1 = q3 r2 + r3 (0 < r3 < r2 )
..

rp3 = qp1 rp2 + rp1 (0 < rp1 < rp2 )

r
p2 = qp rp1 + rp (rp = 0)
On vrifie alors, par rcurrence finie sur n {0, 1, , p 1} , quil existe des entiers un et
vn tels que rn = aun + bvn .
Pour n = 0 et n = 1 on a :
r0 = b = a 0 + b 1,
r1 = a 1 + b (q1 ) .
En supposant le rsultat acquis jusqu lordre n 1 pour 0 n 1 p 2 on a :
rn = qn rn1 + rn2
= qn (aun1 + bvn1 ) + aun2 + bvn2
= a (un2 qn un1 ) + b (vn2 qn vn1 ) = aun + bvn .
En particulier pour n = p 1 on a a b = rp1 = aup1 + bvp1 = au + bv.
Un tel couple dentiers (u, v) nest pas unique puisque si (u, v) est une solution, pour tout
entier , le couple (u0 , v 0 ) = (u + v, v a) est aussi solution. On a en effet :
a (u + b) + b (v a) = au + bv = a b.
Une quation dans Z de la forme au + bv = , o a, b, sont donns et u, v sont les inconnues
est une quation diophantienne. Ce type dquation est tudi plus en dtails au paragraphe
suivant.

Lalgorithme dEuclide.

417

Les suites (rn )0np1 (un )0np1 et (vn )0np1 vrifient la mme relation de rcurrence :
xn = xn2 qn xn1 (2 n p 1)
avec les conditions initiales :
(r0 , r1 ) = (b, 1) , (u0 , u1 ) = (0, 1) , (v0 , v1 ) = (1, q1 )
o q1 , r1 sont, respectivement, le quotient et le reste dans la division euclidienne de a par b.
On peut donner une interprtation matricielle de ces calculs comme suit. On a :

xn
qn 1
xn1
=
(2 n p 1)
xn1
1 0
xn2
et :

xp1
xp2

qp1 1
qp2 1
q2 1
x1
=

1
0
1
0
1 0
x0

x1
= Ap1
.
x0

Pour lexemple prcdent, la suite de calculs (23.4) donne :

p 1 = 3, (q1 , q2 , q3 ) = (4, 1, 1)
et :

A3 =

q3 1
1 0

2 1
1 1

q2 1
1 0

1 1
1 0

1 1
1 0

do :

2
2 1
1
,
=
= A3
=
1
0
1 1

v3
2 1
q1
2 1
4
9
=
=
=
v2
1 1
1
1 1
1
5

u3
u2

u1
u0

soit (u, v) = (u3 , v3 ) = (2, 9) .

Si on veut se passer du calcul matriciel, on peut procder comme suit. Les divisions successives :

a = q1 r0 + r1

r0 = q2 r1 + r2
r1 = q3 r2 + r3

r2 = q4 r3
donne :
a b = r3 = r1 q3 r2 = r1 q3 (r0 q2 r1 )
= r1 (1 + q3 q2 ) q3 r0 = (a q1 r0 ) (1 + q3 q2 ) q3 r0
= (a q1 b) (1 + q3 q2 ) q3 b = au + bv

418

Division euclidienne dans Z

(on commence par la fin), soit pour les valeurs particulires 128 et 28 :

128 = 4 28 + 16

28 = 1 16 + 12
16 = 1 12 + 4

12 = 3 4
qui donne :
128 28 = 4 = 16 12 = 16 (28 16) = 2 16 28
= 2 (128 4 28) 28
= 2 128 9 28 = ua + vb

23.7

Equations diophantiennes ax + by = c

Soient a, b, c trois entiers relatifs, avec a et b non nuls. On sintresse ici lquation diophantienne dans Z2 :
ax + by = c.
(23.5)
En notant le pgcd de a et b, on a a = a0 , b = b0 avec a0 et b0 premiers entre eux.
Lemme 23.2 Lquation diophantienne (23.5) a des solutions entires si, et seulement si,
divise c.
Dmonstration. Si c nest pas un multiple de , comme divise ax + by pour tous entiers
x, y, lquation (23.5) na pas de solutions.
Si c = c0 est un multiple de , en crivant que = au0 + bv0 avec u0 , v0 dans Z (thorme
de Bzout) on dduit que (x0 , y0 ) = (u0 c0 , v0 c0 ) est une solution de (23.5) .
Thorme 23.12 Si c est multiple de , alors lensemble des solutions de (23.5) est :
S = {(x0 kb0 , y0 + ka0 ) | k Z}
o (x0 , y0 ) est une solution particulire.
Dmonstration. Si (x, y) est une solution de (23.5) , on a alors :

ax0 + by0 = c,
ax + by = c,
ce qui donne par soustraction :
a (x0 x) = b (y y0 )
et divisant par , on obtient :
a0 (x0 x) = b0 (y y0 ) .
Avec le thorme de Gauss on en dduit alors que a0 divise y y0 . On a donc y y0 = ka0 avec
k Z, ce qui entrane a0 (x0 x) = b0 ka0 et x0 x = kb0 . En dfinitive on a :
(x, y) = (x0 kb0 , y0 + ka0 )

Equations diophantiennes ax + by = c

419

avec k Z. Rciproquement on vrifie que pour tout k Z, (x0 kb0 , y0 + ka0 ) est bien solution
de (23.5) . En effet on a :
ax + by = ax0 + by0 + k (a0 b ab0 ) = c + k (a0 b0 a0 b0 ) = c.
Lalgorithme dEuclide
au paragraphe prcdent nous permet dobtenir une solution par c vu
c
ticulire (x0 , y0 ) = u0 , v0 .

Exemple 23.1 Soit rsoudre lquation :

370x + 45y = 15.
Le pgcd de 370 et 45 est gal 5 qui divise 15.
On cherche tout dabord une solution particulire de 74x + 9y = 1. En utilisant lalgorithme
dEuclide, on a :
74 = 8 9 + 2
9=42+1
et donc :
1 = 9 4 2 = 9 4 (74 8 9)
= 74 (4) + 9 33
Le couple (12, 99) est solution de 74x + 9y = 3 et de 370x + 45y = 15.
Dun point de vue gomtrique lensemble des solutions de (23.5) est form de la suite de
points de Z2 dfinie par :

x0

,
M0 =
x0

0
b

, k Z.
Mk = M0 + k
a0

0
b0
Les points Mk sont sur la droite passant par M0 et dirige par le vecteur v =
a0

ou encore par le vecteur colinaire

v =
. Ces vecteurs sont orthogonaux au vecteur
a

a

u =
.
b
Exercice 23.29 Rsoudre dans Z2 lquation diophantienne :
128x + 28y = 8.
Solution 23.29 En notant (a, b) = (128, 28) , c = 8 et = a b, on a vu au paragraphe
prcdent que :
= 4 = 2 128 9 28 = au0 + bv0
c
c
et (x0 , y0 ) = u0 , v0
= (4, 18) est une solution particulire de notre quations. Toutes les

solutions tant donnes par :

(x, y) = (x0 kb0 , y0 + ka0 ) = (4 7k, 18 + 32k)
o`
u k dcrit Z.

420

23.8

Division euclidienne dans Z

Equations ax b (n)

Soient n un entier suprieur ou gal 2, a un entier suprieur ou gal 1 et b un entier

relatif. On veut rsoudre dans Z lquation diophantienne :
ax b (n)

(23.6)

On sintresse tout dabord au cas o b = 1.

Lemme 23.3 Soient n un entier suprieur ou gal 2, a un entier suprieur ou gal 1.
Lquation
ax 1 (n)
(23.7)
a des solutions dans Z si et seulement si a est premier avec n.
Dmonstration. Le thorme de Bzout nous dit que a est premier avec n si, et seulement
si, il existe des entiers relatifs x et k tels que ax kn = 1, ce qui quivaut dire que x Z est
solution de (23.7) .
Si a et n sont premiers entre eux alors lalgorithme dEuclide nous permet de trouver une
solution x0 Z de (23.7) . Et pour tout autre solution x Z lentier a (x x0 ) est divisible
par n. Comme n est premier avec a, le thorme de Gauss nous dit que ncessairement n divise
x x0 . Il est clair que rciproquement pour tout k Z, x0 + kn est solution de (23.7) . En
dfinitive, lensemble des solutions de (23.7) est :
S = {x0 + kn | k Z}
o x0 est une solution particulire de (23.7) .
Remarque 23.10 Si a et n sont premiers entre eux alors il existe une unique solution de
(23.7) dans {1, , n 1} . En effet, si S est lensemble des solutions de (23.7) alors S N
est non vide et donc admet un plus petit lment x > 0. Si x n on a alors x = qn + r avec
q 1 et 0 r < n. Comme ar ax 1 modulo n, on a r S N et ncessairement r = 0.
Mais x = qn entrane ax 0 modulo n en contradiction avec x S. On a donc x < n.
On sintresse maintenant au cas o les entiers a et n sont premiers entre eux et b est un
entier relatif. Dans ce cas on peut trouver une solution x0 de lquation (23.7) et pour tout
entier relatif k, x = bx0 + kn est solution de (23.6) . Rciproquement si x est solution de (23.6)
alors a (x bx0 ) est divisible par n avec n premier avec a. Le thorme de Gauss nous dit alors
que x bx0 est divisible par n. En dfinitive, pour a et n premiers entre eux, lensemble des
solutions de (23.6) est :
S = {bx0 + kn | k Z}
o x0 est une solution particulire de (23.7) .
Considrons maintenant le cas o = a n nest pas ncessairement gal 1 et b est un
entier relatif.
On a alors a = a0 , n = n0 et si lquation (23.6) admet une solution x Z alors n0 divise
0
a b, donc divise a0 b et divise b. En conclusion si b nest pas un multiple de alors
lquation (23.6) na pas de solution dans Z.
On suppose donc que b est un multiple de , soit b = b0 . Si x Z est solution de (23.6)
alors x est solution de :
a0 x b0 (n0 )

Le thorme Chinois

421

avec a0 et n0 premiers entre eux. On sait alors que x est de la forme x = b0 x00 + kn0 o x00 est
une solution de a0 x 1 modulo n0 et k est un entier relatif. Rciproquement on peut vrifier
que pour tout entier k Z, x = b0 x00 + kn0 est solution de (23.6) . En effet on a :
ax = a0 x00 b0 + a0 kn0 = (1 + k 0 n0 ) b0 + a0 kn
= b + n (k 0 b0 + ka0 ) b (n) .
En dfinitive, si b = b0 o = a n, alors lensemble des solutions de (23.6) est :
S = {b0 x00 + kn0 | k Z}
o x00 est une solution particulire de a0 x 1 modulo n0 , o a = a0 , n = n0 .

23.9

Le thorme Chinois

On sintresse ici aux systme dquations diophantiennes :

x a (n)
x b (m)

(23.8)

o n, m sont deux entiers naturels suprieur ou gal 2.

Thorme 23.13 (chinois) Soient n, m deux entier suprieur ou gal 2 premiers entre eux.
Quels que soient les entiers relatifs a et b le systme (23.8) a une infinit de solutions dans Z.
Dmonstration. Comme n et m sont premiers entre eux on peut trouver une infinit de
couples dentiers relatifs (u, v) tels que :
nu + mv = 1.
En posant x = bnu + amv on obtient une infinit de solutions de (23.8) .
Dans le cas o n et m sont premiers entre eux on vient de voir que si (u0 , v0 ) est solution de
nu + mv = 1 (un tel couple peut tre obtenu par lalgorithme dEuclide) alors x0 = bnu0 + amv0
est une solution particulire de (23.8) .
Si x Z est solution de (23.8) alors x est congru x0 modulo n et modulo m, soit :
x x0 = pn = qm.
Mais m est premier avec n, le thorme de Gauss nous dit alors que m divise p. On a donc
x = x0 + knm avec k Z. Et rciproquement on vrifie que pour tout entier relatif k, x0 + knm
est solution de (23.8) . En dfinitive, si n et m sont premiers entre eux, alors lensemble des
solutions de (23.8) est :
S = {x0 + knm | k Z}
o x0 est une solution particulire de (23.8) .
Dans le cas gnral o m et n ne sont pas ncessairement premiers entre eux on note = mn,
n = n0 , m = m0 avec n0 , m0 premiers entre eux et = m n.
Si x Z est une solution de (23.8) alors qui divise n et m va diviser x a et x b, il divise
donc a b. Donc si a b nest pas un multiple de = m n le systme dquations (23.8) na
pas de solutions.

422

Division euclidienne dans Z

On suppose donc que a b est multiple de , cest--dire que b a = c0 . Les entiers n0 et m0

tant premiers entre eux, le thorme de Bzout nous dit quil existe des entiers u0 et v0 tels
que n0 u0 + m0 v0 = 1. En posant :
x0 = bn0 u0 + am0 v0
on a :
x0 = b (1 m0 v0 ) + am0 v0 = b m0 v0 (b a)
= b m0 v0 c0 = b mv0 c0 b (m) .
Et de manire analogue on voit que x0 est congru a modulo n. Lentier x0 est donc solution
de (23.8) .
Si x Z est solution de (23.8) alors x est congru x0 modulo n et modulo m, soit :
x x0 = pn = qm = pn0 = qm0 .
On dduit donc que

x x0
est un entier et :

x x0
= pn0 = qm0 .

Mais m0 est premier avec n0 , le thorme de Gauss nous dit alors que m0 divise p. On a donc :
x x0
= kn0 m0

avec k Z. Ce qui peut aussi scrire :

x x0 = knm0 = k

nm
= k

avec k Z.
Et rciproquement on vrifie facilement que pour tout entier relatif k, x0 + k est solution
de (23.8) . En dfinitive, lensemble des solutions de (23.8) est :
S = {x0 + k (m n) | k Z}
o x0 est une solution particulire de (23.8) .

23.10

Nombres premiers entre eux. Les thormes de Bzout et de Gauss

On a vu que, par dfinition du pgcd, on a a b = au + bv avec u, v entiers relatifs, mais

en gnral la rciproque est fausse, cest--dire que si est entier naturel tel que = au + bv
avec u, v entiers relatifs, il ny a aucune raison pour que soit le pgcd de a et b. Par exemple
2 = 3 2 + 2 (2) et 3 2 = 1. Mais pour = 1, cette rciproque est vrai et ce rsultat est
trs souvent utilis.
Dfinition 23.9 Soient (a, b) Z2 {(0, 0)} . On dit que a et b sont premiers entre eux (ou
trangers) si leur pgcd est gal 1.

Nombres premiers entre eux. Les thormes de Bzout et de Gauss

423

De manire quivalente, on peut dire que a et b sont premiers entre eux si, et seulement si, 1
et 1 sont leurs seuls diviseurs communs, ce qui est encore quivalent dire que Da Db = {1, 1}
ou encore que le dernier reste non nul dans lalgorithme dEuclide vaut 1.
Exercice 23.30 Soient (ak )1kp et (bk )1kq deux suites finies dentiers relatifs non nuls.
p
q
Q
Q
Montrer que si n =
ak et m =
bk sont premiers entre eux, alors chaque ak , pour k
k=1

k=1

compris entre 1 et p, est premier avec chacun des bj , pour j compris entre 1 et q.
Solution 23.30 Soit = ak bj o 1 k p et 1 j q. Comme est un entier naturel
non nul qui divise ak et bj , il divise n et m et vaut ncessairement 1.
De manire plus gnrale, on peut donner la dfinition suivante.
Dfinition 23.10 Soient a1 , , ap des entiers relatifs non tous nuls. On dit que a1 , , ap
sont premiers entre eux dans leur ensemble si leur pgcd est gal 1.
Exercice 23.31 Est-il quivalent de dire a1 , , ap sont premiers entre eux dans leur ensemble
et a1 , , ap sont deux deux premiers entre eux ?
Solution 23.31 On vrifie immdiatement que la rponse est ngative en considrant le triplet
(2, 3, 8) .
Thorme 23.14 Soient (a, b) Z2 {(0, 0)} et = ab. Il existe deux entiers p et q premiers
entre eux tels que a = p et b = q.
Dmonstration. Comme divise a et b il existe deux entiers p et q tels que a = p et
b = q. Le pgcd 0 = p q est un diviseur de p et q, donc lentier naturel 0 divise a = p et
b = q et ncessairement 0 , soit (1 0 ) 0 avec > 0. On a donc 0 1. Mais 0 est
suprieur ou gal 1 comme tout pgcd qui se respecte. En dfinitive, on a 0 = 1, cest--dire
que p et q sont premiers entre eux.
De manire plus gnrale, on a le rsultat suivant.
Thorme 23.15 Soient a1 , , ap des entiers relatifs non tous nuls. et = a1 a2 ap .
Il existe des entiers a01 , , a0p premiers entre eux dans leur ensemble tels que ak = a0k pour
tout k compris entre 1 et p.
Dmonstration. Analogue au cas o p = 2.
Exercice 23.32 Dterminer tous les couples (a, b) dentiers naturels non nuls tels que ab = 3
et a + b = 12.
Solution 23.32 On a a = 3p, et b = 3q o p, q sont des entiers naturels non nuls premiers
entre eux et a + b = 12 quivaut p + q = 4.
Rciproquement si a = 3p, b = 3q o p, q sont des entiers naturels non nuls premiers entre eux
tels que p + q = 4, alors a b = 3 et a + b = 12.
Les seuls couples (p, q) possibles sont (1, 3) et (3, 1) . Donc (a, b) = (3, 9) ou (a, b) = (9, 3) .
Exercice 23.33 Soient a, n deux entiers naturels non nuls. Montrer que :
(a + 1)n 1
a = a n.
a

424

Division euclidienne dans Z

Solution 23.33 On remarque dabord que :

(a + 1)n 1 = a

n1
X

(a + 1)k

k=0

est divisible par a, donc

(a + 1)n 1
est un entier.
a

(a + 1)n 1
Soit =
a. Pour tout k 0, on a :
a

(a + 1)k 1 (mod a)
(pour k = 0, cest clair et pour k 1, on utilise la formule du binme) et donc :
n1

(a + 1)n 1 X
b=
=
(a + 1)k n (mod a)
a
k=0
de sorte que qui divise a et b divise aussi n = b pa (p Z). Il en rsulte que divise
0 = a n. Comme 0 divise a et n, il divise aussi b = n + pa et en consquence 0 divise . On
a donc bien = 0 .
Exercice 23.34 On se donne un entier naturel a 2 et on dfinit la suite (un )nN par :
n

n N, un = a2 + 1.
1. Montrer que :

n N, un+1 = (un 1)2 + 1.

2. Montrer que :
n N, un+1 = (a 1)

n
Y

uk + 2.

k=0

3. Montrer que, pour n 6= m dans N, on a :

1 si a est pair
un um =
2 si a est impair
4. Calculer upn upm pour n 6= m dans N et p dans N .
Solution 23.34
1. On a :

n+1

un+1 = a2

2
+ 1 = a2n + 1 = (un 1)2 + 1.

2. On procde par rcurrence sur n 0.

Pour n = 0, on a :

u1 = a2 + 1 = a2 1 + 2
= (a 1) u0 + 2.
En supposant le rsultat acquis pour n 1 0, on a :
un+1 = un (un 2) + 2 = un (a 1)

n1
Y

n
Y

k=0

k=0

uk + 2 = (a 1)

uk + 2.

Nombres premiers entre eux. Les thormes de Bzout et de Gauss

425

3. Supposons que m > n.

On a :
um = (a 1)

m1
Y

m1
Y

k=0

k=0
k6=n

uk + 2 = (a 1) un

uk + 2

= qun + 2
Le pgcd de un et um divise alors 2 et il vaut 2 ou 1.
Si a est pair, alors un est impair et = 1 puisquil divise un , ce qui signifie que un et un
sont premiers entre eux (pour a = 2, cest le cas des nombres de Fermat).
Si a est impair, alors tous les un sont pairs et vaut 2.
4. En utilisant le rsultat de lexercice 24.6, on a :

1 si a est pair
p
p
p
un um = (un um ) =
2p si a est impair
Thorme 23.16 (Bzout) Deux entiers relatifs a et b non tous deux nuls sont premiers
entre eux si et seulement si il existe deux entiers relatifs u et v tels que au + bv = 1.
Dmonstration. On sait dj, par dfinition, que la condition est ncessaire.
Rciproquement sil existe deux entiers relatifs u et v tels que au + bv = 1 alors = a b
est un entier naturel qui divise a et b, il divise donc 1 = au + bv et = 1, cest--dire que a et
b sont premiers entre eux.
Remarque 23.11 La relation de Bzout au + bv = 1 implique que u et v sont aussi premiers
entre eux. On a aussi |a| |b| = |a| b = a |b| = a b = 1.
Ce thorme peut se gnraliser comme suit.
Thorme 23.17 (Bzout) Des entiers relatifs a1 , a2 , , ap non tous nuls sont premiers
entre eux dans leur ensemble si et seulement si il existe deux entiers relatifs u1 , u2 , , up tels
p
X
que
uk ak = 1.
k=1

Dmonstration. On sait dj, par dfinition, que la condition est ncessaire.

p
X
Rciproquement sil existe deux entiers relatifs u1 , u2 , , up tels que
uk ak = 1 alors
k=1

p
X
= a1 a2 ap est un entier naturel qui divise tous les ak , il divise donc 1 =
uk ak et

= 1, cest--dire que a1 , a2 , , ap sont premiers entre eux dans leur ensemble.

k=1

Corollaire 23.2 Soient a, b, c des entiers relatifs non nuls. Si c est premier avec a alors ab =
a (bc) (le pgcd de deux entiers est inchang si on multiplie lun deux par un nombre premier
avec lautre).
Dmonstration. Soient = a b et 0 = a (bc) . Comme divise a et b, il divise a et bc
ainsi que leur pgcd 0 . De au + cv = 1, on dduit que abu + bcv = b et 0 qui divise a et bc va
diviser a et b ainsi que leur pgcd . On a donc = 0 .

426

Division euclidienne dans Z

Corollaire 23.3 Soient a1 , a2 , , ap et c des entiers relatifs non nuls. Si c est premier avec
p
Q
chacun des ak , pour k compris entre 1 et p, il est alors premier avec leur produit
ak .
k=1

Dmonstration. En utilisant le corollaire prcdent, on a :

!
p
p
p
Y
Y
Y
c
ak = c a1
ak = c
ak
k=1

k=2

k=2

puisque a1 est premier avec c et par rcurrence finie, on dduit que :

c

p
Y
k=1

ak = c

p
Y
k=2

ak = c

p
Y

ak = = c ap = 1

k=3

puisque chaque ak , pour k compris entre 1 et p, est premier avec c.

Une consquence importante du thorme de Bzout est le rsultat suivant.
Thorme 23.18 (Gauss) Soient a, b, c des entiers relatifs non nuls. Si a divise bc et a est
premier avec b alors a divise c.
Dmonstration. Comme a et b sont premiers entre eux, il existe deux entiers u, v tels que
au + bv = 1 et pour tout entier c, on a acu + bcv = c, de sorte que si a divise bc, il va diviser
c = acu + bcv.
Ce rsultat peut tre utilis pour donner une unique reprsentation des nombres rationnels
non nuls.
p
Corollaire 23.4 Tout nombre rationnel non nul r scrit de manire unique r = avec p Z
q
et q N premiers entre eux.
a
avec (a, b) dans Z N . En
b
p
p0
p
notant = a b on a a = p, b = q et r = avec p et q premiers entre eux. Si r = = 0
q
q
q
avec (p, q) , (p0 , q 0 ) dans Z N tels que p q = p0 q 0 = 1, on a alors pq 0 = p0 q avec q premier
avec p et q qui divise pq 0 , donc q divise q 0 daprs le thorme de Gauss. De manire analogue,
on voit que q 0 divise q. On a donc q = q 0 (q, q 0 sont des entiers naturels non nuls) et p = p0 .
Lcriture est donc unique.
Dmonstration. Un nombre rationnel non nul r scrit r =

Corollaire 23.5 Si un entier relatif non nul n est divisible par des entiers a1 , a2 , , ap deux
deux premiers entre eux, il est alors divisible par leur produit.
Dmonstration. On procde par rcurrence sur p 2.
Supposons que n soit divisible par a1 et a2 premiers entre eux. On a alors n = a1 q1 et a2
divise n en tant premier avec a2 , il va donc diviser q1 (thorme de Gauss), cest--dire que
q1 = q2 a2 et n = a1 a2 q2 est divisible par a1 a2 .
En supposons le rsultat acquis au rang p 1 2, soient a1 , a2 , , ap deux deux premiers
p1
Q
entre eux qui divisent n. Lhypothse de rcurrence nous dit que n est divisible par a =
ak .
k=1

Comme ap est premier avec chacun des ak , pour k compris entre 1 et p 1, il est premier avec
leur produit a (corollaire 23.3) et n qui est divisible par a et ap est aussi divisible par leur
p
Q
produit
ak .
k=1

Nombres premiers entre eux. Les thormes de Bzout et de Gauss

427

Exercice 23.35
1. Montrer que pour tout entier naturel n, il existe deux entiers pn et qn premiers entre eux
tels que :

2 + 1 = pn + qn 2.

2. En utilisant lapplication dfinie sur lanneau Z 2 par a + b 2 = a b 2 pour

tout (a, b) Z2 , montrer que, pour tout n N, on a :
n

2 1 = (1)n pn qn 2 .
3. En dduire que, pour tout n N, il existe un entier naturel rn tel que :
n

2
+
1
=
r
+
r 1
n

n
n
.
2 1 = rn rn 1
Solution 23.35

1. Le rel = 2 + 1 est dans lanneau Z 2 , il en est donc de mme de n pour tout
n N, ce qui prouve lexistence des suites dentiers (pn )nN et (qn )nN .
On peut aussi retrouver ce rsultat par rcurrence en crivant que pour tout n N, on a :

n+1
2 + 1 pn + qn 2 = (pn + 2qn ) + (pn + qn ) 2

=
ce qui donne :

pn+1 = pn + 2qn
qn+1 = pn + qn

et montre en outre que les pn et qn sont des entiers naturels non nuls sauf q0 = 0.
On a alors :
pn+1 qn+1 = (pn + 2qn ) (pn + qn ) .
En utilisant la relation a b = a (a + b) = b (a + b) (exercice 23.21), on a :
pn qn = qn (pn + qn ) = (qn + pn ) qn
= (qn + pn ) (pn + qn + qn ) = pn+1 qn+1 .
On a donc, pour tout n N :
pn qn = p0 q0 = 1 0 = 1.

2. Lapplication ralise un automorphisme de lanneau A = Z 2 . En effet, pour tous

x = a + b 2 et x0 = a0 + b0 2 dans A, on a :

(x + x0 ) = (a + a0 ) (b + b0 ) 2 =
(x) + (x0 )

(xx0 ) = (aa0 + 2bb0 ) (ab0 + a0 b) 2 = (x) (x0 )

et x = a + b 2 a pour unique antcdent a b 2 par .

On a donc, pour tout n N :

n
n
2 1 = (1)n 1 2 = (1)n
2+1

n
n
= (1)
2+1
= (1) pn + qn 2

= (1)n pn qn 2

428

Division euclidienne dans Z

3. Pour tout n N, on a

n
2 1 = 1, soit :

(1)n pn + qn 2 pn qn 2 = 1
2+1

ou encore :

p2n 2qn2 = (1)n

(cest une relation de Bzout pour pn et qn qui sont premiers entre eux) et :
p
(

n
n
2 + 1 = pn + qn 2 = pn + p2n (1)

2 1 = (1)n pn qn 2 = (1)n pn p2n (1)n

En posant sn = p2n , on a :
(

p
sn + sn (1)n

p
n

2 1 = (1)n
sn sn (1)n
2+1

Pour n pair, cela scrit :

n

2 + 1n = sn + sn 1 = rn + rn 1
2 1 = sn sn 1 = rn rn 1
avec rn = sn et pour n impair :
n

2
+
1
=
s
+
1
+
s
=
r
+
r 1
n
n
n

n
n

2 1 = sn + 1 sn = rn rn 1
avec rn = sn 1.