Démonstration. Si pgcd(a; b)=1alors il existe un couple d’entiers (u; v)tel que 1 = au +bv
(relation de Bézout). Réciproquement, supposons qu’il existe deux entiers uet vtels que 1 = au+bv.
Soit dun diviseur de aet de b. Alors ddivise 1donc jdj= 1. D’où pgcd(a; b) = 1.
Proposition 18 Soit n2N,n2. Soit a1; : : : ; andes entiers relatifs. Si aest premier avec chacun
des ai(i= 1 : : : n)alors aest premier avec leur produit.
Démonstration. Comme pgcd(a; a1)=1, il existe des entiers u1et v1tels que 1 = au1+a1v1.
De même, il existe u2et v2tels que 1 = au2+a2v2. En multipliant ces deux termes, on obtient
1 = a(au1u2+u1a2v2+a1v1u2) + a1a2(v1v2). D’où pgcd(a; a1a2) = 1. La propriété est donc
vraie pour n= 2.
Supposons la propriété vraie à l’ordre n. Soit a1; : : : ; an+1 n+ 1 entiers premiers séparément avec
a. En utilisant l’hypothèse de récurrence avec a1; : : : ; an, on obtient que aest premier avec le produit
a1 an. On conclut en utilisant la propriété avec les deux entiers a1 anet an+1.
Exemple 19 Comme pgcd(3;5) = 1 et pgcd(3;8) = 1, on a pgcd(3;40) = 1.
Corollaire 20 Soient aet bdeux entiers relatifs. Si aet bsont premiers entre eux alors pour tout
n2Net p2N,anet bpsont premiers entre eux.
Théorème 21 Théorème de Gauss. Soit a,bet ctrois entiers relatifs. Si adivise bc et si aet b
sont premiers entre eux alors adivise c.
Démonstration. Comme pgcd(a; b) = 1, il existe un couple d’entiers (u; v)tels que 1 = au +bv.
En multipliant cette égalité par c, on obtient c=a(cu)+(bc)v. Comme adivise bc,adivise c.
Proposition 22 Soit n2N,n2. Soit a1; : : : ; andes entiers relatifs premiers entre eux deux à
deux. Si aest divisible par chacun des ai(i= 1 : : : n)alors aest divisible par leur produit.
Démonstration. La démonstration se fait par récurrence 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 q32Ztel que q1=a2q3. Par conséquent, a=a1a2q3et a1a2
divise a. La …n de la démonstration se fait sans di¢ culté.
Exemple 23 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 24 Soit _x2Z=nZon a
_xinversible () x^n= 1
Démonstration. _xest inversible ssi 9_ytel que _x_
_y=_
1ssi 9y; k tels que xy= 1 + kn ssi
9y; k tels que xy kn = 1 ssi x^n= 1:
Proposition 25 Soit la fonction indicatrice d’Euler, (n)est égal au nombre de nombres entiers
positifs inférieurs à net premiers avec n.
En particulier si pest un nombre premier (p) = p1.
4