Académique Documents
Professionnel Documents
Culture Documents
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
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
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
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.
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)
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
400
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
= a a2 bn + a + b2 bn
n
2
X
2 nk k1
=a a b
a
b
+ a + b2 bn .
k=1
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
402
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=
p
P
qk bk avec qp 6= 0.
k=0
Do :
n = bq + n0 =
p+1
X
nk bk
k=0
p
X
k=0
nk b =
p
X
n0k bk
k=0
b n
p
X
k=0
0
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
k=0
p
P
k=0
p
P
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
p
P
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.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
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
Sous-groupes additifs de Z
23.5.1
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
hai = aqn+r
H = {ar | 0 r n 1}
| q Z, 0 r n 1 = H
408
23.5.2
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
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
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
(a b) b si a b
ab=
a (b a) si b > a
En dduire un algorithme simple de calcul de a b.
410
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
23.5.4
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
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
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.
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
Cnk
(1)k
n+k+1
an
2n+1
, o an N .
Lalgorithme dEuclide.
415
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.
416
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 )
..
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
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
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
(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 .
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
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
420
23.8
Equations ax b (n)
(23.6)
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
x a (n)
x b (m)
(23.8)
422
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
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
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
n1
X
(a + 1)k
k=0
(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 :
2. Montrer que :
n N, un+1 = (a 1)
n
Y
uk + 2.
k=0
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.
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.
425
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
p
X
= a1 a2 ap est un entier naturel qui divise tous les ak , il divise donc 1 =
uk ak et
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
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
!
p
p
p
Y
Y
Y
c
ak = c a1
ak = c
ak
k=1
k=2
k=2
p
Y
k=1
ak = c
p
Y
k=2
ak = c
p
Y
ak = = c ap = 1
k=3
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
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 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 )
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
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 :
(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)
p
sn + sn (1)n
p
n
2 1 = (1)n
sn sn (1)n
2+1
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.