Fiche 9

Arithmétique dans Z
1. Généralités
Z = {. . . ; − 3; − 2; − 1; 0; 1; 2; 3; . . .} définit l’ensemble des entiers relatifs, muni des
lois de composition interne addition + et multiplication ×.

Définition 9.1
Si (a;b) ∈ Z × Z, b divise a si et seulement s’il existe q ∈ Z tel que a = bq. Nous
disons que a est un multiple de b ou que b est un diviseur de a. La relation de
divisibilité est une relation d’ordre partiel dans N.

La relation de divisibilité n’est pas une relation d’ordre partiel dans Z car elle n’est pas
antisymétrique puisque 1| − 1 et −1|1 alors que 1  −1.

4131
Définition 9.2

6392
Division euclidienne. Pour tout (a; b) ∈ Z × N∗ , il existe un couple unique (q; r) ∈
Z × N tel que :
a = bq + r avec 0  r < b. 6:16
6.15

q est le quotient et r le reste de la division euclidienne de a par b.

25.8

2. PGCD, PPCM
195. :

Définition 9.3
5319

Soient a et b deux entiers relatifs non nuls. L’ensemble des nombres de N∗ qui
8887

divisent à la fois a et b admet un plus grand élément d. C’est le plus grand commun
diviseur de a et de b. Nous le notons PGCD(a; b) ou a ∧ b.
650:
0549

Théorème 9.1 Algorithme d’Euclide

Soient (a; b) ∈ Z × N∗ et q1 et r1 respectivement le quotient et le reste de la division
I:211

euclidienne de a par b tels que a = bq1 + r1 avec 0  r1 < b. Nous avons :

CES

a ∧ b = b ∧ r1 .
com:

Nous recommençons ce raisonnement avec b et r1 . Le dernier reste non nul de ce

processus est le PGCD de a et de b.
rvox.
la
scho
univ.

34
 Définition 9.4
• Si PGCD(a; b) = 1, nous disons que a et b sont premiers entre eux.
a

Fiche 9
• Soient a et b deux entiers relatifs non nuls et r = un nombre rationnel. Si
b 
d ∈ N désigne le PGCD de a et b, nous avons a = da et b = db , avec a et
∗
a
b premiers entre eux. Nous pouvons alors écrire r =  (avec b  0). C’est la
b
forme irréductible de r.

Définition 9.5
Soient a et b deux entiers relatifs non nuls. L’ensemble des nombres de N∗ qui sont
multiples à la fois de a et de b admet un plus petit élément m. C’est le plus petit
commun multiple de a et de b. Nous le notons PPCM(a; b) ou a ∨ b.

Théorème 9.2

Algèbre
Soient a et b deux entiers relatifs non nuls. Alors, nous avons :
PGCD(a; b) × PPCM(a; b) = |ab|.

4131
Théorème 9.3 Théorème de Bézout

6392
Pour que deux entiers relatifs non nuls a et b soient premiers entre eux il faut et il suffit
qu’il existe u et v dans Z tels que :

Analyse
6:16
au + bv = 1.
6.15

Théorème 9.4 Théorème de Gauss

25.8

Soient a, b, c trois entiers relatifs non nuls tels que a divise bc et a est premier avec b,
195.

alors a divise c.

Probabilités
:
5319

3. Anneau Z/nZ
8887

Définition 9.6
Soient n ∈ N∗ et a et b deux entiers relatifs. L’entier relatif a est congru à b modulo
650:

n que nous notons a ≡ b[n] si et seulement si n divise (b − a).

Nous désignons par Z/nZ l’ensemble des classes ainsi formées par regroupement :
0549

Statistique
ā = {b ∈ Z; a ≡ b[n]} .
© Dunod. Toute reproduction non autorisée est un délit.

I:211

La relation a ≡ b[n] est une relation d’équivalence.

CES
com:

Théorème 9.5
• Pour n  2, l’ensemble Z/nZ muni des deux lois :
Corrigés
rvox.

ā + b̄ = a + b ; ā × b̄ = a × b,
la

est un anneau commutatif.

scho

• Un élément ā de Z/nZ est inversible si et seulement si a et n sont premiers entre eux.

univ.

35
 La vérification du fait que les lois + et × sont bien définies sur Z/nZ n’est pas évidente.

Proposition 9.1
Z/nZ est un corps si et seulement si n est premier.

Application

1. Déterminer, de deux manières possibles, le PGCD de 15 et 12. 2. Soit n ∈ N∗ . Montrer

que la relation définie sur Z par a ≡ b[n] ⇐⇒ b − a ∈ nZ est une relation d’équivalence.

1.
• Méthode 1
Les diviseurs positifs de 15 sont : 1, 3, 5 et 15.
Les diviseurs positifs de 12 sont : 1, 2, 3, 4, 6 et 12.
Les diviseurs positifs communs à 15 et à 12 sont : 1 et 3. Nous en déduisons :
PGCD(15;12) = 3.

4131
Cette méthode n’est cependant pas envisageable lorsque nous cherchons le PGCD de grands

6392
nombres.
• Méthode 2
6:16
En utilisant l’algorithme d’Euclide. Nous avons, en effectuant la division euclidienne de
15 par 12, puis de 12 par 3 :
6.15

15 = 12 × 1 + 3,
25.8

12 = 3 × 4 + 0,
avec 1 et 3 respectivement le quotient et le reste de la première division, 4 et 0 le quotient
195.

et le reste de la deuxième division.

:
5319

L’algorithme précise que nous devons choisir le dernier reste avant 0.

Nous en déduisons que :

8887

PGCD(15; 12) = 3.
650:

2. Tout d’abord, par définition, nous avons a ≡ b[n] si et seulement si a − b est divisible
par n.
0549

Ensuite, nous montrons facilement que la relation est :

• réflexive : pour tout a ∈ Z, n divise a − a = 0, donc a ≡ b[n].
I:211

• symétrique : pour tout a, b ∈ Z tels que a ≡ b[n], n divise a − b donc n divise b − a et

b ≡ a[n].
CES

• transitive : pour tout a, b, c ∈ Z tels que a ≡ b[n] et b ≡ c[n], alors n divise a − b et b − c

donc n divise a − c = (a − b) + (b − c), et finalement a ≡ c[n].
com:

Le relation étant bien réflexive, symétrique et transitive, nous en déduisons que c’est une
relation d’équivalence.
rvox.
la
scho
univ.

36
 Pour s’entraîner (solutions p. 509)
9.1 En utilisant l’algorithme d’Euclide, 9.6 Soient a et b deux entiers relatifs non

Fiche 9
déterminer les PGCD de nuls. Montrer que :

1. 853 et 212, PGCD(a; b) × PPCM(a; b) = |ab|.

2. 385 et 330, 9.7 Soit n un entier naturel non nul.

Montrer que PGCD(n2 + n; 2n + 1) = 1.
3. 1395 et 1054.
9.8 Déterminer tous les couples (u; v)
9.2 Déterminer les triplets (a; b; c) ∈ d’entiers relatifs tels que :
∗ 3
(N ) qui vérifient simultanément 143u + 100v = 1.
1. PPCM(a; b) = 42 9.9 Dans Z/60Z, montrer que 11 et 7
sont inversibles et déterminer leurs inverses.
2. PGCD(a; c) = 3
9.10 Soient a et b deux entiers naturels
3. a + b + c = 29.

Algèbre
non nuls. Notons d leur PGCD et m leur
9.3 Déterminer le PGCD de 12n2 + 16n + PPCM.
5 et 6n + 5. Déterminer tous les couples (a; b) vérifiant le

4131
système :
9.4 Montrer que tout nombre pair vérifie ⎧
⎪
⎪ m = d2
⎪
⎪
⎪
x2 ≡ 0[8] ou x2 ≡ 4[8]. ⎨

6392
⎪
⎪ m + d = 156
⎪
⎪
⎪
9.5 Résoudre dans Z l’équation : 1665x + ⎩ a  b.

Analyse
1035y = 45. 6:16
6.15
25.8
195.

Probabilités
:
5319
8887
650:
0549

Statistique
© Dunod. Toute reproduction non autorisée est un délit.

I:211
CES
com:

Corrigés
rvox.
la
scho
univ.

37