12 I.

Arithmétique

Il existe un entier k tel que a = kb ; donc : |a| = |k| |b|.

De plus : a , 0 ; donc : |k| , 0 ; d’où : |k| Ê 1.
En multipliant cette dernière inégalité membre à membre par |b|, il vient : |a| Ê |b|. ä
T HÉORÈME I.2.3
Soit a, b et c trois entiers relatifs.
(1) a est multiple de a.
(2) Si a est multiple de b et b est multiple de a, alors a = b ou a = −b.
(3) Si a est multiple de b et b est multiple de c, alors a est multiple de c.

Démonstration
(1) a = 1 × a donc a est multiple de a.
(2) Si a est multiple de b et b est multiple de a, alors d’après le théorème I.2.2 : |a| Ê |b| et |a| É |b| ; d’où : |a| = |b| ;
c’est-à-dire : a = b ou a = −b.
(3) Si a est multiple de b et b est multiple de c, alors : a = kb (k ∈ Z) et b = k ′ c (k ′ ∈ Z) ; donc : a = (kk ′ )c (kk ′ ∈ Z).
Ce qui signifie que a est multiple de c. ä

Remarque Dans N, la relation « est multiple de » est une relation d’ordre partiel.

T HÉORÈME I.2.4
Soit a, b et n trois entiers relatifs.
Si a et b sont multiples de n alors, pour tous entiers u et v , au + bv est multiple de n.

Démonstration On a : a = a ′ n et b = b ′ n (avec a ′ ∈ Z et b ′ ∈ Z) ; donc : au + bv = (a ′

+ b ′ v} )n. ä
| u{z
∈Z
Exemples
1. L’opposé d’un entier relatif pair est un entier relatif pair.
2. La somme de deux entiers relatifs pairs est un entier relatif pair.

I.2.1.b Ensemble des multiples d’un entier relatif

Soit n un entier relatif. Les multiples de n sont les nombres :

· · · , n × (−2), n × (−1), n × (0), n × (1), n × (2), · · ·

ces nombres sont de la forme : nk , où k ∈ Z.

Notation
L’ensemble des multiples de n (n ∈ Z) est noté n Z.
Exemples
1. 3Z = {· · · ; −9 ; −6 ; −3 ; 0 ; 3 ; 6 ; 9 ; · · ·}
2. 1Z = Z
3. 0Z = {0}

Remarques
1. Pour tout entier n : n Z = (−n)Z ; donc, en pratique, on utilise cette notation lorsque n est un
entier naturel.
2. Pour tout entier naturel n, (n Z, +) est un groupe commutatif.

Lycée Pontus de Tyard 708–709