Proposition 17 Soit n∈N,n≥2. Soit a1, . . . , andes entiers relatifs. Si aest premier avec chacun
des ai(i= 1 . . . n)alors aest premier avec leur produit.
D´emonstration. Comme pgcd(a, a1) = 1, il existe des entiers u1et v1tels que 1 = au1+a1v1.
De mˆeme, il existe u2et v2tels que 1 = au2+a2v2. En multipliant ces deux termes, on obtient
1 = a×(au1u2+u1a2v2+a1v1u2) + a1a2×(v1v2). D’o`u pgcd(a, a1a2) = 1. La propri´et´e est donc
vraie pour n= 2.
Supposons la propri´et´e vraie `a l’ordre n. Soit a1, . . . , an+1 n+ 1 entiers premiers s´epar´ement avec
a. En utilisant l’hypoth`ese de r´ecurrence avec a1, . . . , an, on obtient que aest premier avec le produit
a1· · · an. On conclut en utilisant la propri´et´e avec les deux entiers a1· · · anet an+1.
Exemple 18 Comme pgcd(3,5) = 1 et pgcd(3,8) = 1, on a pgcd(3,40) = 1.
Corollaire 19 Soient aet bdeux entiers relatifs. Si aet bsont premiers entre eux alors pour tout
n∈N∗et p∈N∗,anet bpsont premiers entre eux.
Th´eor`eme 20 Th´eor`eme de Gauss. Soit a,bet ctrois entiers relatifs. Si adivise bc et si aet
bsont premiers entre eux alors adivise c.
D´emonstration. Comme pgcd(a, b) = 1, il existe un couple d’entiers (u, v) tels que 1 = au +bv.
En multipliant cette ´egalit´e par c, on obtient c=a(cu)+(bc)v. Comme adivise bc,adivise c.
Proposition 21 Soit n∈N,n≥2. Soit a1, . . . , andes entiers relatifs premiers entre eux deux `a
deux. Si aest divisible par chacun des ai(i= 1 . . . n)alors aest divisible par leur produit.
D´emonstration. La d´emonstration se fait par r´ecurrence sur n. Pour n= 2, il existe deux
entiers q1et q2tels que a=a1q1=a2q2. Donc a2divise a1q1. Mais comme pgcd(a2, a1) = 1, on
obtient que a2divise q1. Il existe donc q3∈Ztel que q1=a2q3. Par cons´equent, a=a1a2q3et a1a2
divise a. La fin de la d´emonstration se fait sans difficult´e.
Exemple 22 L’entier 90 est divisible par 3et par 5qui sont premiers entre eux donc est divisible
par 15.
Mais bien que 20 soit divisible par 4et par 10 il n’est pas divisible par 40 (car 4et 10 ne sont pas
premiers entre eux).
Proposition 23 Soit ˙x∈Z/nZon a
˙xinversible ⇐⇒ x∧n= 1
D´emonstration. ˙xest inversible ssi ∃˙ytel que ˙x˙
×˙y=˙
1 ssi ∃y, k tels que x×y= 1 + kn ssi
∃y, k tels que xy −kn = 1 ssi x∧n= 1.
Proposition 24 Soit φla fonction indicatrice d’Euler, φ(n)est ´egal au nombre de nombres entiers
positifs inf´erieurs `a net premiers avec n.
En particulier si pest un nombre premier φ(p) = p−1.