c Christophe Bertault - MPSI

Arithmtique des entiers relatifs

Division dans Z

1
1.1

Relation de divisibilit

Dfinition (Divisibilit, diviseur, multiple) Soient a, b Z. On dit que a divise b, ou que a est un diviseur de b, ou que
b est un multiple de a, sil existe k Z tel que b = ak ; cette relation entre a et b se note a|b.

Thorme

(Proprits de la relation de divisibilit) Soient a, b, c, d Z.

(i) La relation de divisibilit | sur Z est rflexive et transitive ; elle nest cependant pas antisymtrique puisque :
a|b

et

b|a

|a| = |b|

a=b

ou

a = b.

En revanche, sa restriction N lest, cest une relation dordre.

(ii) Combinaisons linaires : Si d|a et si d|b, alors d|(au + bv) pour tous u, v Z.
En particulier, si a|b, alors ak |bk pour tout k N.

(iii) Produit : Si a|b et si c|d, alors ac|bd.

(iv) Multiplication/division par un entier : Si d 6= 0 :

a|b

ad|bd.

Dmonstration
(i) La rflexivit et la transitivit de | ont t dmontres dans le chapitre sur les relations dordre. Contentonsnous de montrer lquivalence relative au dfaut dantisymtrie de |. Lune des deux implications est triviale :
si |a| = |b|, i.e. a = b ou a = b, il est clair que a|b et que b|a.
Rciproquement, supposons quon ait a|b et b|a. Alors il existe k, l Z tels que b = ak et a = bl. Du coup
b = bkl. Deux cas se prsentent alors : si b = 0, alors a = bl = 0 et on a donc bien |a| = |b| ; si au contraire
b 6= 0, alors kl = 1 et donc, puisque k et l sont entiers, on a soit k = l = 1, soit k = l = 1, i.e. a = b ou
a = b, i.e. |a| = |b| comme voulu.
(ii) Supposons quon ait d|a et d|b. Il existe donc k, l Z tels que a = dk et b = dl. Alors au + bv = d(ku + vl)
avec ku + vl Z pour tous u, v Z, et donc d(au + bv) comme annonc.
(iv) Supposons d 6= 0. Si a|b, alors comme par ailleurs d|d, lassertion (iii) affirme que ad|bd.
Rciproquement, supposons que ad|bd. Il existe alors k Z tel que bd = kad, et donc tel que b = ak. Ceci
montre bien que a|b.


1.2

Relation de congruence


Dfinition (Congruence modulo un entier) Soient n N et a, b Z. On dit que a est congru b modulo n si n(b a),
i.e. sil existe k Z tel que b = a + kn ; cette relation entre a et b se note a b mod n.
   Explication
La relation de congruence est une gnralisation de la relation de divisibilit ; il faut en effet avoir en
tte le cas particulier suivant : n|a a 0 mod n.

Thorme

(Proprits de la relation de congruence) Soient a, a0 , b, b0 Z et m, n N.

(i) La relation mod n est rflexive, symtrique et transitive.

(ii) Somme : Si a b mod n et si a0 b0 mod n, alors a + a0 b + b0 mod n.
(iii) Produit : Si a b mod n et si a0 b0 mod n, alors aa0 bb0 mod n.
En particulier, si a b mod n, alors ak bk mod n pour tout k N.
(iv) Multiplication/division par un entier : Si m 6= 0 :

a b mod n

am bm mod mn.

c Christophe Bertault - MPSI

Dmonstration
(i) La rflexivit et la symtrie de mod n sont immdiates. Montrons seulement la transitivit.
Trois

(b a) et
entiers a, b, c Z tant donns,
supposons
quon
ait
a

b
mod
n
et
b

c
mod
n.
Alors
n




n(c b), donc par somme n (c b) + (b a) , i.e. n(c a), ou encore a c mod n.


(ii) Si a b mod n et si a0 b0 mod n, alors n(b a) et n(b0 a0 ), donc par somme n (b a) + (b0 a0 ) ,




i.e. n (b + b0 ) (a + a0 ) , ou encore a + a0 b + b0 mod n.

(iii) On remarque que bb0 aa0 = b(b0 a0 ) + a0 (b a). Du coup, si a b mod n et si a0 b0 mod n, alors



n(b a) et n(b0 a0 ), et donc par combinaison linaire n b(b0 a0 ) + a0 (b a) , i.e. n(bb0 aa0 ), ou encore

aa0 bb0 mod n.

(iv) Enfin :

1.3

a b mod n

n(b a)

mnm(b a)

m6=0

am bm mn.

Division euclidienne

Thorme

(Division euclidienne) Soient a Z et b N . Il existe un unique couple (q, r) Z N tel que :

a = bq + r

et

06 r 6 b1

(ce quon peut aussi crire :

Dans cet nonc, a est appel le dividende, b le diviseur, q le quotient et r le reste. On a :

q=

0 6 r < b).
jak

et

r a mod b.

   Explication

Le thorme de la division euclidienne est un rsultat dexistence et dunicit ; cest cela qui est important.
En termes de congruences, le thorme de la division euclidienne affirme simplement que tout entier relatif a est congru
modulo b un entier unique entier r compris entre 0 et b 1. Par exemple, on peut ramener lentier a = 12839 lun
des entiers 0, 1, 2, 3 ou 4 modulo b = 5 ; prcisment : 12839
5 2567
4 .
| {z } = |{z}
| {z } + |{z}
a

Dmonstration
Existence du couple (q, r)
n : On dmontre dabord
o lexistence de (q, r) dans le cas o a > 0. Introduisons
pour cela lensemble Q = k N/ a bk > 0 . Cet ensemble Q est une partie non vide de N non
vide car elle contient 0. Mais par ailleurs Q est major (par a). En effet, soit k Q ; alors a bk > 0, donc
k 6 bk 6 a. Lensemble Q possde donc un plus grand lment q. Alors a bq > 0. Mais comme (q + 1)
/ Q,
a b(q + 1) < 0. Ces deux ingalits scrivent aussi 0 6 a bq 6 b 1.
Posons donc r = a bq. Alors tout va bien : nous lavons trouv, notre couple (q, r).
Etendons prsent le rsultat au cas o a < 0. Or si a < 0, alors a > 0 et on est ramen au cas prcdent :
il existe un couple (q, r) Z N tel que a = bq + r et 0 6 r 6 b 1. L encore, deux cas doivent tre
distingus :
1) Si r = 0, posons q 0 = q et r 0 = 0. Alors a = bq r = bq 0 + r 0 et 0 6 r 0 6 b 1.
2) Si r > 1, posons q 0 = q 1 et r 0 = b r. Alors a = bq r = bq 0 + r 0 et 0 6 r 0 6 b 1. Et voil !
Unicit du couple (q, r) : Donnons-nous deux couples (q, r), (q 0 , r 0 ) Z N tels que a = bq + r = bq 0 + r 0 ,
0 6 r 6 b 1 et 0 6 r 0 6 b 1. Alors |r 0 r| 6 b 1, mais par ailleurs b(q q 0 ) = r 0 r.
Supposons q 6= q 0 . Alors |q q 0 | > 1, donc b|q q 0 | > b. On a donc : b 6 b|q q 0 | = |r 0 r| 6 b 1, donc
b 6 b 1. Contradiction. Donc q = q 0 . On en dduit aussitt que r = a bq = a bq 0 = r 0 comme voulu.
a
a
Enfin, les conditions sur q et r peuvent se rcrire ainsi : 0 6 a bq < b, puis :
1 < q 6 . On
b
b
jak
retrouve ici la dfinition de
.

b
   En pratique (Algorithme de la division euclidienne) Comment calcule-t-on de fait le couple (q, r) de la
division euclidienne de a par b ? On dispose dun algorithme pour cela, qui nest quune imitation de la preuve du thorme de
la division euclidienne. On lappelle lalgorithme de la division euclidienne, tout simplement.

Supposons dabord que a > 0. Lalgorithme est prsent ci-dessous dans ce cas sous la forme dune procdure Maple. Le bon
fonctionnement de cette procdure suppose que les arguments a et b sont des entiers naturels et que b est non nul. On crira
juste aprs une procdure complte capable de contrler elle-mme la nature de ses arguments et de traiter le cas a < 0 ; ce nest
pas notre objectif dans un premier temps.

c Christophe Bertault - MPSI

>

diveuc :=proc(a,b)
local q, r ;
q :=0 ;
r :=a ;
while r >= b do
q :=q+1 ;
r :=r-b ;
od ;
q,r ;
end ;

#
#
#
#
#
#
#
#
#

La procdure "diveuc" imite la preuve du thorme de la division euclidienne.

Elle requiert lutilisation de deux variables locales q et r.
Sachant que lensemble Q contient 0 dans tous les cas, on part de q=0.
On conservera chaque tape lgalit a=bq+r. Cest pourquoi au dpart r=a.
Voici le corps de la procdure. On y augmente q de 1 en 1,
avec lide que la valeur finale de q sera le plus grand lment de Q.
La valeur de r est choisie conformment lgalit a=bq+r.
Tant que r=a-bq>=b, on boucle. Aprs la dernire boucle, 0<=r<=b-1.
On demande la procdure de renvoyer q et r.

Puisquune boucle while a t utilise, nous devons justifier la terminaison de lalgorithme ainsi propos. Mais en ralit, cest
notre dmonstration du thorme de la division euclidienne qui justifie cette terminaison : lensemble Q possde un plus grand
lment.
Venons-en maintenant au cas gnral. Nous allons rcrire diveuc en prenant aussi en charge le cas a < 0 toujours en imitant
la dmonstration du thorme de la division euclidienne et en contrlant au passage la nature des arguments. Je vous laisse
le soin de commenter seuls la procdure qui suit.
>

diveuc :=proc(a,b)
local q, r ;
if type(a,integer)=false then RETURN(Le premier argument doit tre un entier relatif.) ;fi ;
if type(b,integer)=false or b<=0 then RETURN(Le second argument doit tre un entier naturel non nul.) ;fi ;
q :=0 ;
r :=abs(a) ;
while r >= b do
q :=q+1 ;
r :=r-b ;
od ;
if a<0 and r=0 then q :=-q ;
elif a<0 then
q :=-q-1 ;
r :=b-r ;
fi ;
q,r ;
end ;

Dcidment, tout cela parat bien pnible. Ne peut-on pas faire les choses plus simplement ? Oui et non. Vous pratiquez sans le
savoir la division euclidienne depuis le primaire. Quand on effectue la division de deux entiers en posant la division comme
on dit, on voit facilement apparatre le quotient et le reste de la division euclidienne associe. Lalgorithme que nous venons
de prsenter est-il donc inutile ? Bien sr que non : en ralit, la mthode quon vous a apprise en primaire est possible parce
que lalgorithme de la division euclidienne existe ; ces mthodes apparemment diffrentes sont identiques. On vous a prsent en
primaire la mthode classique de division comme une recette appliquer sans jamais vous la justifier. Dix ans plus tard le mal
est rpar, vous savez enfin pourquoi a marche.
3 4 7
5
3 0 (0) 6 9
4 7
4 5
2

Pour plus de prcision, prenons lexemple de la division pose ci-contre. On y divise 347 par 5. Dans un
premier temps, en apparence, on retranche 6 5 = 30 de 34 ; en fait, on retranche 60 5 = 300 de 347,
puisque le 6 apparat comme chiffre des dizaines dans le quotient. Dans un second temps, on retranche
9 5 = 45 de 47. Au total, on a retranch (60 + 9) 5 = 69 5 = 345 347 et le reste obtenu est 2.
O est lalgorithme de la division euclidienne dans tout a ? Avec cet algorithme, au lieu de retrancher en
deux fois 345 de 347, on aurait retrancher 5 une premire fois, 5 une seconde fois, une troisime fois. . . jusqu
ce que le reste soit strictement infrieur 5. En tout, on aurait effectu 69 soustractions.

Conclusion : les deux mthodes reposent sur un mme principe de soustraction. Leur seule diffrence, cest que dans la mthode
tudie en primaire, on suppose connues de llve les tables de multiplication usuelles ; cest grce elles que lon trouve les
chiffres 6 et 9 du quotient dans lexemple prcdent. Quiconque connat ses tables de multiplication prfrera utiliser
la mthode des classes primaires. Pour un ordinateur en revanche, il est plus facile deffectuer btement des soustractions que
daller fouiller dans sa mmoire pour trouver des tables de multiplication.
Exemple

Le reste de la division euclidienne de 265362 par 7 est gal 2.

En effet
On peut sattendre ce que la dmonstration de ce rsultat soit longue, si on applique lalgorithme
prcdent comme un rustre. Or on peut remarquer que 23 8 1 mod 7. Nous avons alors n
lide de
o chercher
la division euclidienne de 65362 par 3 : en effet, si cette division scrit 65362 = 3q + r o r 0, 1, 2 , alors on
pourra crire que 265362 23q+r (23 )q 2r 2r mod 7 et ce sera termin.
Or lalgorithme donne : 65362 = 3 21787 + 1, et du coup 265362 21 2 mod 7 comme voulu.
De cet exemple, retenez bien quau lieu deffectuer la division euclidienne de 265362 par 7, nous avons effectu la
division euclidienne de 65362 par 3, ce qui est beaucoup moins long.

c Christophe Bertault - MPSI

Exemple
Soient x, y, z Z, (x, y, z) 6= (0, 0, 0), trois entiers solutions de lquation de Fermat x3 + y 3 = z 3 . Alors lun des
entiers x, y ou z est divisible par 3.
En effet
Raisonnons par labsurde en supposant que ni x ni y ni z nest divisible par 3. Alors le reste de la
division euclidienne de x par 9 est lun des entiers 1, 2, 4, 5, 7, 8 on rejette les cas 0, 3 et 6. Etudions un un
ces diffrents cas :
Si x 1 mod 9, alors x3 1 mod 9.
Si x 2 mod 9, alors x3 23 8 1 mod 9.
Si x 4 mod 9, alors x3 43 4 16 4 (2) 8 1 mod 9.
Si x 5 mod 9, alors x3 53 5 25 5 (2) 10 1 mod 9.
Si x 7 mod 9, alors x3 73 (2)3 8 1 mod 9.
Si x 8 mod 9, alors x3 83 (1)3 1 mod 9.
Finalement, x3 1 mod 9. On montrerait de mme que y 3 1 mod 9 et que z 3 1 mod 9.
Notre contradiction vient alors de la remarque que x3 + y 3 z 3 mod 9. A gauche on a modulo 9 soit 1 + 1 = 2,
soit 1 1 = 0, soit 1 + 1 = 0, soit 1 1 = 2 ; droite on a 1. Lgalit obtenue est impossible. Cest fini.

Diviseurs et multiples communs

Dfinition

(Diviseur commun, multiple commun) Soient a, b Z.

On appelle diviseur commun de a et b tout entier d Z qui est la fois un diviseur de a et un diviseur de b.
On appelle multiple commun de a et b tout entier m Z qui est la fois un multiple de a et un multiple de b.

2.1

PGCD

Dfinition

(PGCD) Soient a, b Z. On appelle plus grand commun diviseur (PGCD) de a et b tout entier d Z tel que :

d est un diviseur commun de a et b :

d|a

et

d|b ;

d est un multiple de tout diviseur commun de a et b :

Z,

|a et |b

|d.

   Explication
Dans la dfinition dun PGCD, la deuxime assertion signifie que d est plus grand (pour la relation
de divisibilit) que tout autre diviseur commun de a et b, et quen ce sens d est le plus grand des diviseurs communs de a et b,
comme son nom lindique.
n
o
Si a et b sont des entiers naturels, un PGCD de a et b nest jamais que la borne infrieure de lensemble a, b pour la relation

dordre | sur N. Si tout ceci nest pas limpide pour vous, allez refaire un tour du ct des relations dordre, nous avons dj
voqu ces rsultats.
Un PGCD de deux entiers existe-t-il toujours ? Si oui, est-il unique ? Le lemme et le thorme suivants rpondent ces
questions. On prsentera conjointement un algorithme de calcul du PGCD appel lalgorithme dEuclide.
Lemme
a par b.

(Ide fondamentale de lalgorithme dEuclide) Soient a Z, b N et r le reste de la division euclidienne de

(i) Si a et b possdent un PGCD, alors ce PGCD est aussi un PGCD de b et r.

(ii) Rciproquement, si b et r possdent un PGCD, alors ce PGCD est aussi un PGCD de a et b.

Dmonstration
(i) Faisons lhypothse que a et b possdent un PGCD d. Par dfinition de r, il existe un entier q Z tel que
a = bq + r. Alors comme d|a et d|b, d est un diviseur commun de b et r. En outre, si est un diviseur commun
de b et r, alors |(bq + r) = a et donc est un diviseur commun de a et b, et donc |d par dfinition de d.
Tout ceci montre bien que d est un PGCD de b et r.
(ii) Mme genre de raisonnement.

c Christophe Bertault - MPSI

Thorme (Existence et unicit du PGCD) Soient a, b Z. Il existe un et un seul PGCD positif de a et b ; ce PGCD
est not PGCD(a, b) ou a b et appel le PGCD de a et b. Le seul autre PGCD de a et b est alors PGCD(a, b).
   Explication

On dira ainsi que 3 est un PGCD de 6 et 9, mais, au choix, que 3 est un ou le PGCD de 6 et 9.

Dmonstration
Montrons dabord que a et b possdent au plus deux PGCD qui sont loppos lun de lautre. Soient donc d
et d0 deux PGCD de a et b. Alors d est un diviseur commun de a et b, donc d|d0 puisque d0 est un PGCD de
a et b ; de mme d0 est un diviseur de a et b, donc d0 |d puisque d est un PGCD de a et b. Finalement on a
bien |d| = |d0 | ; cest le rsultat voulu.
Nous pouvons donc dores et dj dcider de noter PGCD(a, b) lunique PGCD positif de a et b, du moins
quand il existe.
Montrons prsent lexistence dun PGCD de a et b dans le cas o a ou b est nul. Supposons par exemple
que b = 0. Il est alors clair que a est un diviseur commun de a et b. Mais dautre part, si d est un diviseur
commun quelconque de a et b, alors par dfinition d|a. Tout ceci montre que a est un PGCD de a et b. On
retiendra de ce cas que PGCD(a, 0) = |a|.
Montrons ensuite lexistence dun PGCD de a et b dans le cas o a et b sont deux entiers naturels non nuls.
Le problme tant symtrique en a et b, on peut toujours supposer que a > b. On dfinit alors une famille
dentiers naturels r0 , r1 , r2 . . . de la faon suivante :
1) on commence par poser r0 = a et r1 = b ;
2) ensuite, k dsignant un entier naturel, tant que rk+1 6= 0, on note rk+2 le reste de la division
euclidienne de rk par rk+1 on a dans ce cas rk+2 < rk+1 .
Ce procd de construction nous fournit au final une famille dcroissante dentiers naturels, strictement
dcroissante partir de son deuxime terme :
r0 > r1 > r2 > r3 > . . . > 0.
Une telle liste est
ncessairement finie car il nexiste quun nombre fini dentiers naturels entre 0 et r0 . Cela revient dire que
dans la construction prcdente, on obtient rN = 0 pour un certain N N . Alors rN1 > 0 est le dernier
reste strictement positif de la suite des restes successifs r0 , r1 , r2 . . .
Lgalit rN = 0 nous montre que rN1 et rN possdent un PGCD et que celui-ci est rN1 . En vertu du
lemme tabli prcdemment, nous pouvons donc crire les quivalences suivantes :
rN1 est un PGCD de rN1 et rN

rN1 est un PGCD de rN2 et rN1

rN1 est un PGCD de rN3 et rN2

...

rN1 est un PGCD de r0 = a et r1 = b.

Comme rN1 > 0, cest lui le PGCD de a et b que nous convenons de noter PGCD(a, b).
Gnralisons la construction prcdente du PGCD au cas o a et b sont quelconques. Il suffit dobserver
que la dfinition du PGCD de deux entiers ne dpend pas des signes de a et b. Or nous venons de montrer
lexistence du PGCD de deux entiers naturels, donc en fait nous avons montr
sans le voir lexistence du


PGCD en gnral. On retiendra de ce cas que PGCD(a, b) = PGCD |a|, |b| .

   En pratique (Algorithme dEuclide) La dmonstration prcdente de lexistence du PGCD de deux entiers
peut tre rdige sous la forme dun algorithme appel lalgorithme dEuclide. Vous devez savoir utiliser cet algorithme. Nous le
prsentons ci-dessous sous la forme dune procdure Maple. La boucle while de cette procdure est forcment quitte au bout
dun nombre fini de passages en vertu de la dmonstration prcdente.

>

euclide :=proc(a,b)
local r,s,t ;
r :=max(abs(a),abs(b)) ;
s :=min(abs(a),abs(b)) ;
t :=0 ;
while s>0 do
t :=s ;
s :=op(2,[diveuc(r,s)]) ;
r :=t ;
od ;
r;
end ;

#
#
#
#
#
#
#
#
#
#
#
#

La procdure "euclide" imite le thorme dexistence du PGCD.

Elle requiert lutilisation de trois variables locales r, s et t.
On introduit la suite (r(n)) du thorme en posant r=r(0) et s=r(1)
avec les notations du thorme. La variable t nest quune variable
de "stockage" utilise dans la boucle while ci-dessous.
Dans la boucle, r joue le rle de r(n) et s celui de r(n+1).
Tant que s>0, on garde s=r(n+1) en mmoire en lappelant t,
on calcule le reste s=r(n+2) de la division de r=r(n) par s=r(n+1),
et enfin on prpare le prochain coup en posant r=t=r(n+1).
Au cran suivant dans la boucle, on aura r=r(n+1) et s=r(n+2).
On demande la procdure de renvoyer r, le dernier reste non nul.
Ce nest pas s car justement, la fin, s=0.

Dans cette procdure, on na pas eu besoin de mettre part le cas o lun des deux nombres a et b est nul. En effet, si lun
des nombres est nul, alors ds linitialisation des variables on a s = 0 ; Maple franchit donc la boucle while sans sy arrter et
renvoie lutilisateur la valeur de r initiale, qui est justement dans ce cas gale au PGCD cherch.

c Christophe Bertault - MPSI

Exemple

PGCD(1542, 58) = 2.
En effet
Il sagit deffectuer quelques divisions euclidiennes. Tout dabord, 1542 = 26 58 + 34. Ensuite,
58 = 1 34 + 24. Ensuite 34 = 1 24 + 10. Ensuite 24 = 2 10 + 4. Ensuite 10 = 2 4 + 2. Enfin 4 = 2 2 + 0.
Le dernier reste non nul obtenu est 2.

Thorme

(Proprits du PGCD) Soient a, b Z.

(i) Pour tout k Z :

PGCD(ak, bk) = |k| PGCD(a, b).

(ii) Pour tout diviseur commun d 6= 0 de a et b :

PGCD

a b
,
d d

PGCD(a, b)
.
|d|

Dmonstration
(i) Soit k Z. Nous pouvons supposer k 6= 0. Notons = PGCD(a, b) et = PGCD(ak, bk).
On a dune part |a et |b, donc k|ak et k|bk, donc par dfinition de , k|.
Dautre part, k|ak et k|bk, donc par dfinition de , k|, de sorte quil existe n Z tel que = nk. Ensuite
nk = |ak et nk = |bk, donc n|a et n|b car k 6= 0. Par dfinition de , cela montre que n|, puis que
= nk|k.
Nous obtenons ainsi la double divisibilit k| et |k, et donc |k| = ||, ou encore = |k|.
a
b
et = . Alors via (i) :
d
d 

a b
PGCD(a, b) = PGCD(d, d) = |d| PGCD(, ) = |d| PGCD
,
do le rsultat.
,
d d

(ii) Soit d 6= 0 un diviseur commun de a et b. Notons =

Thorme (Thorme de Bzout, premire partie) Soient a, b Z.

Il existe des entiers u, v Z tels que PGCD(a, b) = au + bv. Un tel couple (u, v) est appel un couple de coefficients de Bzout
de (a, b).

$ $ $ Attention !
Les entiers u et v ne sont pas du tout uniques. Par exemple, PGCD(4, 6) = 2 et on a la fois
1 6 + (1) 4 = 2 et 2 4 + (1) 6 = 2.

Dmonstration
Si a ou b est nul, le rsultat est vident. Par exemple, si b = 0, alors PGCD(a, b) = |a| ; on posera u = 1 de
faon avoir |a| = au et v = 0.
Supposons dmontr le rsultat dans le cas o a, b N.
Dans le cas gnral o a et b sont quelconques, on en


dduit donc quil existe u, v Z tels que PGCD |a|, |b| = |a|u + |b|v. Puisque PGCD(a, b) = PGCD |a|, |b| ,
on a donc une relation du mme type avec a et b la place de |a| et |b|, quitte changer les signes de u et v.
Il ne nous reste donc plus qu dmontrer le rsultat dans le cas o a, b N . Plaons-nous donc dans ce
cas et introduisons la suite (r0 , r1 , . . . , rN ) associe a et b dans lalgorithme dEuclide tel que nous lavons
tudi prcdemment. Nous savons que rN = 0 et que rN1 = PGCD(a, b). Dans ce qui suit, nous appellerons
combinaison linaire de deux entiers relatifs m et n tout entier de la forme um + vn o u, v Z.
Montrons par rcurrence que PGCD(a, b) est combinaison linaire de rNk2 et rNk1 pour tout k
J0, N 2K.
1) Initialisation : PGCD(a, b) = rN1 est combinaison linaire de rN2 et rN1 (le coefficient
devant rN2 est nul).
2) Hrdit : Soit k J0, N 2K. Faisons lhypothse que PGCD(a, b) est combinaison linaire de
rNk2 et rNk1 . Or rNk1 est par dfinition le reste de la division euclidienne de rNk3 et rNk2 ,
donc est combinaison linaire de ces deux entiers. En combinant les deux combinaisons linaires ainsi
obtenues, on observe facilement que PGCD(a, b) est combinaison linaire de rNk3 et rNk2 , ce qui est
le rsultat voulu.
A lissue de cette rcurrence, nous pouvons en particulier affirmer que PGCD(a, b) est combinaison linaire
de r0 = a et r1 = b ce quil fallait dmontrer.


c Christophe Bertault - MPSI

   En pratique (Algorithme de Bzout) La mthode dcrite ci-aprs est connatre imprativement ; elle ne fait
que reprendre la preuve prcdente. Cherchons par exemple le PGCD de 525 et 3080 ainsi quune identit de Bzout associe.
Tout commence avec les divisions euclidiennes successives de lalgorithme dEuclide :
r0

r1

z }| {

z}|{

r2

z}|{

3080 = 5 525 + 455 ,

r1

r2

z}|{

r3

z}|{

r2

z}|{

r3

z}|{

525 = 1 455 + 70 ,

z}|{

r4

z}|{

455 = 6 70 + 35 ,

r3

z}|{

r4

z}|{

r5

z}|{

70 = 2 35 + 0 .

Le dernier reste non nul est 35, cest lui le PGCD de 525 et 3080. Partons alors de lavant-dernire division crite sous la forme
r4

z}|{

r2

z}|{

r3

z}|{

35 = 455 6 70 . Comme dans la rcurrence descendante prsente plus haut, nous allons liminer dabord r3 , puis r2 et
aurons ainsi exprim r4 = 35 en fonction de r0 = 3080 et r1 = 252.
r2

r4

z}|{

r3

z}|{

z}|{

PGCD(525, 3080) = 35 = 455 6 70

r2

r1

z}|{

r2

z}|{

z}|{

(on limine r3 )

= 455 6 ( 525 1 455 )

r1

z}|{

r2

z}|{

= 6 525 +7 455
r1

r0

z}|{

z }| {

r0

r1

r1

z}|{

= 6 525 +7 (3080 5 525 )

z }| {

z}|{

= 7 3080 41 525 .

2.2

(on limine r2 )

La voil, notre identit de Bzout.

Nombres premiers entre eux

Dfinition (Nombres premiers entre eux) Soient a, b Z. On dit que a et b sont premiers entre eux si leurs seuls diviseurs
communs sont 1 et 1, i.e. si leur PGCD est gal 1.

Exemple

15 et 28 sont premiers entre eux.

   En pratique

La remarque suivante est utile dans de trs nombreux

exercices.
Soient a, b Z de PGCD d. Il existe a0 , b0 Z tels que


PGCD(a,
b)
PGCD(a, b)
b
a
=
,
=
= 1. Bref, a0 et b0 sont premiers
a = da0 et b = db0 . Alors PGCD(a0 , b0 ) = PGCD
d d
|d|
PGCD(a, b)
entre eux.
Quand on veut montrer que deux entiers sont premiers entre eux, il est toujours possible dutiliser lalgorithme de Bzout
tudi prcdemment. Nous verrons cependant dans le paragraphe sur les nombres premiers une autre technique parfois
inutilisable mais souvent plus pratique.

Thorme

(Thorme de Bzout, deuxime partie) Soient a, b Z. Les assertions suivantes sont quivalentes :

(i) a et b sont premiers entre eux.

(ii) Il existe deux entiers u, v Z tels que au + bv = 1.

Dmonstration
(i) = (ii) Consquence immdiate du thorme de Bzout, premire partie.
(ii) = (i) Supposons lexistence de deux entiers u, v Z tels que au+bv = 1. Soit alors d un diviseur commun
de a et b. Alors d|(au + bv) = 1, donc d = 1 et finalement a et b sont premiers entre eux comme voulu. 

Thorme

(Thorme de Gauss) Soient a, b, c Z. Si a|bc et si a et b sont premiers entre eux, alors a|c.

Dmonstration
Faisons lhypothse que a|bc et que a et b sont premiers entre eux. Alors bc = ak pour un
certain k Z et le thorme de Bzout affirme quil existe u, v Z tels que au + bv = 1. Multiplions cette identit
par c : acu + bcv = c, puis remplaons bc par ak : a(cu + kv) = c. Il est bien clair que a|c comme voulu. 

c Christophe Bertault - MPSI

Corollaire (Forme irrductible dun nombre rationnel) Soit r Q. Il existe un unique couple (p, q) Z N tel que
p
p
r = et tel que p et q soient premiers entre eux. Cette criture r = est appele la forme irrductible de r.
q
q

Dmonstration
Commenons par lunicit du couple (p, q). Soient donc (p, q), (p0 , q 0 ) Z N . On suppose que r =

p
p0
= 0
q
q

et que p et q dune part, p0 et q 0 dautre part sont premiers entre eux.

On a donc pq 0 = p0 q. En particulier q|pq 0 . Or p et q sont premiers entre eux, donc via le thorme de Gauss,
q|q 0 . Par symtrie, q 0 |q, et donc |q| = |q 0 |. Mais q et q 0 sont positifs ou nuls, donc q = q 0 . Comme par ailleurs
q et q 0 sont non nuls, on peut diviser lgalit pq 0 = p0 q par q = q 0 et du coup p = p0 comme voulu.
Et lexistence prsent ? Ce quon sait par dfinition de r, cest quil existe deux entiers a et b, b 6= 0, tels
a
que r = . On peut toujours supposer que b est positif. Notant d le PGCD de a et b, nous pouvons alors
b
crire a = dp et b = dq pour deux entiers p Z et q N . Tout va bien : nous savons que p et q sont
dp
p
a
= .

premiers entre eux, et dautre part r = =
b
dq
q
4
nest pas irrductible car PGCD(4, 6) = 2 6= 1. Pour la rduire, on divise au numrateur et au
6
2
dnominateur par ce PGCD. On obtient ainsi une fraction gale la premire mais irrductible :
.
3
Exemple

2.3

La fraction

PPCM

Dfinition

(PPCM) Soient a, b Z. On appelle plus petit commun multiple (PPCM) de a et b tout entier m Z tel que :

m est un multiple commun de a et b :

a|m

et

b|m ;

m est un diviseur de tout multiple commun de a et b :

Z,

a| et b|

m|.

   Explication
Dans la dfinition dun PPCM, la seconde assertion signifie que m est plus petit (pour la relation de
divisibilit |) que tout autre multiple commun de a et b, et quen ce sens m est le plus petit des multiples communs de a et b,
comme son nom lindique. Cela dit, attention : insistons sur le fait quun PPCM est un plus petit commun multiple au sens de
la relation de divisibilit |, pas au sens de la relation 6 ; sans cela, 0 serait lunique PPCM de a et b pour tous a, b Z, ce qui
serait peu intressant.
n
o
Si a et b sont des entiers naturels, un PPCM de a et b nest jamais que la borne suprieure de lensemble a, b pour la relation

dordre | sur N. Si tout ceci nest pas limpide pour vous, allez refaire un tour du ct des relations dordre, nous avons dj
voqu ces rsultats.
Un PPCM de deux entiers existe-t-il toujours ? Si oui, est-il unique ? Le thorme suivant rpond ces questions.
Thorme (Existence et unicit du PPCM) Soient a, b Z. Il existe un et un seul PPCM positif de a et b ; ce
PPCM est not PPCM(a, b) ou a b et appel le PPCM de a et b. Le seul autre PPCM de a et b est alors PPCM(a, b).
On a lgalit :

|ab| = PGCD(a, b) PPCM(a, b).

   Explication

On dira ainsi que 18 est un PPCM de 6 et 9, mais, au choix, que 18 est un ou le PPCM de 6 et 9.

Dmonstration
L unicit du PPCM se dmontre comme dans le cas des PGCD.
Si a ou b est nul, comme 0 est le seul multiple de 0, a et b possdent un PPCM unique, savoir 0.
ab
Supposons dsormais que a 6= 0 et que b 6= 0 et posons d = PGCD(a, b) 6= 0. Nous allons montrer que
d
est un PPCM de a et b. Cela prouvera dun coup dun seul lexistence dun PPCM de a et b et la formule
|ab| = PGCD(a, b) PPCM(a, b).

c Christophe Bertault - MPSI

Commenons par introduire les deux entiers a0 , b0 Z tels que a = da0 et b = db0 . Nous savons que a0 et b0
ab
sont premiers entre eux. En outre
= ba0 = ab0 .
d


ab
ab
ab


1) Montrons que
est un multiple commun de a et b. Cest facile : aab0 =
et bba0 =
.
d
d
d
ab
est un diviseur de tout multiple commun de a et b.
2) Montrons que
d
Soit alors m un multiple commun de a et b. Il existe donc u, v Z tels que m = au = bv. Lgalit au = bv
devient aussitt ua0 = vb0 et donc a0 |vb0 . Or a0 et b0 sont premiers entre eux, donc via le thorme de
Gauss, a0 |v. Bref, on peut crire v = a0 k pour un certain k Z.
ab
ab 
Concluons : m = bv = ba0 k = k

. Cela montre bien que
m comme prvu.
d
d
   En pratique La formule |ab| = PGCD(a, b)PPCM(a, b) permet de calculer un PPCM partir dun PGCD, via
lalgorithme dEuclide. Partant de a et b, on dtermine PGCD(a, b) laide de lalgorithme dEuclide et on en dduit PPCM(a, b).

Exemple

PPCM(1542, 58) = 44718.

En effet

Nous avons dj montr que PGCD(1542, 58) = 2 dans un exemple prcdent. Par consquent
1542 58
= 44718.
PPCM(1542, 58) =
2
Pour la dmonstration du thorme suivant, vous vous inspirerez de la dmonstration donne dans le cas analogue des PGCD.
Thorme

(Proprits du PPCM) Soient a, b Z.

(i) Pour tout k Z :

PPCM(ak, bk) = |k|PPCM(a, b).

(ii) Pour tout diviseur commun d 6= 0 de a et b :

PPCM

a b
,
d d

PPCM(a, b)
.
|d|

Nombres premiers

Dfinition (Nombre premier, nombre compos) Soit p N. On dit que p est premier si p 6= 1 et si les seuls diviseurs
positifs de p sont 1 et p ; on dit que p est compos si p 6= 1 et si p nest pas premier.
Lensemble des nombres premiers est parfois not P.

Exemple

Il nest pas inutile de connatre la liste des premiers nombres premiers : 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37. . .
Vous remarquerez que 2 est le seul nombre premier pair.

Lemme Soient r N , p1 , p2 , . . . , pr des nombres premiers distincts et 1 , 2 , . . . , r des entiers naturels non nuls. Alors tout
r
1 2
diviseur premier de p
1 p2 . . . pr est lun des pi , i J1, rK.

r
1 2
comme dans le lemme dont
Dmonstration Notons D lensemble des entiers de la forme p
1 p2 . . . pr
au moins un diviseur premier nest pas lun des pi , i J1, rK. Nous voulons montrer que D est vide.
Raisonnons par labsurde en supposant D non vide. Alors D est une partie non vide de N et possde donc un plus
r
1 2
petit lment p
1 p2 . . . pr dont un certain diviseur premier p nest aucun des pi , i J1, rK.
1 1 2
r

Par hypothse p p1 (p1
p2 . . . p
r ), et par ailleurs p et p1 , en tant que nombres premiers distincts, sont premiers

1 1 2
1 1 2
r
r
nest pas un lment de D car
p2 . . . p
p2 . . . p
entre eux, donc via le thorme de Gauss, pp
r . Or p1
1
 r 1
1 2
r
1
r

p1 p2 . . . pr en est par dfinition le plus petit. Par consquent, puisque p p1
p2 2 . . . p
r , p est lun des pi ,
i J1, rK, ce qui est contradictoire et nous permet daffirmer que D = .


c Christophe Bertault - MPSI

Le thorme suivant est parfois appel le thorme fondamental de larithmtique.

Thorme

(Existence et unicit de la dcomposition en produit de facteurs premiers)

Soient n N, n > 2. Il existe un unique entier r N , une unique famille (p1 , p2 , . . . , pr ) de nombres premiers rangs
dans lordre p1 < p2 < . . . < pr et une unique famille (1 , 2 , . . . , r ) dentiers naturels non nuls tels que :
r
1 2
n = p
1 p2 . . . pr .
i
Les entiers p1 , p2 , . . . , pr sont tous les nombres premiers qui divisent n. Pour tout i J1, rK, p
est la plus grande puissance
i
de pi qui divise n et i est appel lordre de multiplicit de pi dans n.

Par convention, on considre que lentier 1 possde lui aussi une et une seule dcomposition de ce genre, avec r = 0 ; bref, 1
est le produit de zro nombre premier .
Ce rsultat gagne parfois tre nonc sous la forme suivante. Soit n N . Il existe une unique famille (p )pP
dentiers naturels presque tous nuls, i.e. dont tous les lments sont nuls sauf un nombre fini dentre eux, telle que :
n=

p p .

pP

   Explication

Dans la deuxime formulation du thorme, le produit

pp est fini. Rien voir avec un produit infini

pP

puisque la famille (p )pP est presque nulle.

Dmonstration
Le programme stipule que vous ntes pas obligs de savoir refaire cette dmonstration. Je
vous conseille nanmoins de la travailler.
Commenons par lexistence de la dcomposition. Notons E lensemble des entiers naturels suprieurs ou
gaux 2 impossibles dcomposer en un produit de nombres premiers. Nous voulons montrer que E est
vide.
Raisonnons par labsurde en supposant E non vide. Alors E est une partie non vide de N et possde un plus
petit lment n > 2. Deux cas se prsentent alors : soit n est premier, soit n est compos. Or n ne peut pas
tre premier car il serait aussitt dcomposable en produit de nombres premiers lui-mme ! Donc n est
compos. Il scrit donc n = ab o a et b sont deux diviseurs positifs de n autres que 1 et n. Remarquant
alors que a < n et que b < n, on peut affirmer que ni a ni b nest lment de E , puisque n en est le plus petit
lment. Par consquent a et b sont des produits de nombres premiers, et il en est de mme de leur produit
ab. Ceci contredit la dfinition de n, car n = ab.
Conclusion : E est vide ; autrement dit tout entier naturel suprieur ou gal 2 est produit de nombres
premiers.
Etudions prsent lunicit de la dcomposition. Notons F lensemble des entiers naturels suprieurs ou
gaux 2 qui possdent au moins deux dcompositions diffrentes en produit de nombres premiers. Nous
voulons montrer que F est vide.
Raisonnons par labsurde en supposant F non vide. Alors F est une partie non vide de N et possde un
r
1 2
= q11 q22 . . . qss deux dcompositions distinctes de n
plus petit lment n > 2. Soient n = p
1 p2 . . . pr
en nombres premiers notations videntes. Alors via le lemme tabli juste avant, q1 = pi pour un certain
i J1, rK et p1 = qj pour un certain j J1, sK. On a donc :
p1 = qj > q1 = pi > p1 ,
et donc p1 = q1 .
n
n

1 1 2
r
Du coup,
= q1 1 q2 2 . . . qss . Or
= p1
p2 . . . p
nest pas un lment de F puisque n en est le
r
p1
p1
n
possde une unique dcomposition en produit de nombres premiers. On en
plus petit lment, et donc
p1
dduit donc que r = s et que pi = qi et i = i pour tout i J1, rK. Ceci contredit finalement le fait que les
1 2
s
r
1 2
dcompositions n = p
1 p2 . . . pr = q1 q2 . . . qs ont t choisies distinctes.
Conclusion : F est vide ; autrement dit tout entier naturel suprieur ou gal 2 est produit de nombres
premiers dune et une seule faon.


Thorme

(Infinit de lensemble des nombres premiers) Lensemble P des nombres premiers est infini.

Dmonstration Raisonnons par labsurde en supposant P fini. Notons dans ce cas p1 , p2 , . . . , pr la liste complte
des nombres premiers et posons N = p1 p2 . . . pr + 1. Alors N N, N > 2, et donc N peut tre dcompos en
produit de facteurs premiers en vertu du thorme fondamental de larithmtique. Soit pk un tel diviseur premier
de N , o k J1, rK. Alors N 0 mod pk . Or par dfinition de N , N 1 mod pk , donc finalement 1 0 mod pk
contradiction.


10

c Christophe Bertault - MPSI

Thorme (PGCD, PPCM Y

et nombres Y
premiers) Soient a, b N . Nous savons quil existe deux familles uniques
p
(p )pP et (p )pP telles que a =
p et b =
p p .
pP

Alors :

PGCD(a, b) =

Y pP
min(

p ,p )

et

PPCM(a, b) =

pP

pmax(p ,p ) .

pP

   En pratique
Quand on connat la dcomposition en facteurs premiers de a et b, on peut donc dterminer
PGCD(a, b) et PPCM(a, b) sans utiliser lalgorithme de Bzout. La limite de cette mthode, cest quil peut tre trs long
de dterminer la dcomposition dun entier en produit de nombres premiers. Pour les grands nombres, lalgorithme de Bzout
est infiniment plus utilisable.

Dmonstration

Contentons-nous de traiter le cas des PGCD. Posons d =

pmin(p ,p ) . On a :

pP

PGCD(a, b) = PGCD d

a
b
,d
d
d

= |d| PGCD


Il ne nous reste plus qu montrer que PGCD

a b
,
d d

a b
,
d d

= 1, i.e. que

pmin(p ,p ) PGCD

pP

a b
,
d d

a
b
et sont premiers entre eux.
d
d

b
a
et . Nous devons montrer que = 1. Raisonnons par labsurde et
Soit un diviseur commun positif de
d
d
supposons 6= 1. Nous pouvons alors nousY
donner un diviseur premier q de .
a
Dans ces conditions, puisque q| et  =
pp min(p ,p ) , alors q est au moins la puissance 1 dans ce produit,
d
pP
i.e. q min(q , q ) > 1. On montre de la mme faon que q min(q , q ) > 1. On a donc q > min(q , q ) + 1
et q > min(q , q ) + 1, donc min(q , q ) > min(q , q ) + 1 contradiction.
a
b
Conclusion : = 1. Les entiers et sont ainsi bien premiers entre eux, ce qui achve cette preuve.

d
d
Exemple

Le PGCD de 300 et 740 est 20 = 22 5 car 300 = 22 3 52 et 740 = 22 5 37.

Voyez comme cest facile ! Il est interdit de ne pas savoir faire cela.

11