CORRECTION
4. Divisibilité
Correction exercice 1 Comme 6=2·3et que 2et 3sont premiers entre eux, il suffit
de montrer que 2et 3divise n3−n= (n−1)n(n+ 1). Comme c’est le produit de 3
entiers consécutifs, l’un d’eux est toujours pair et l’un deux est toujours un multiple de
3d’où le résultat.
Correction exercice 2
(1) C’est faux puisque pgcd(2,3) = pgcd(4,5) = 1 mais ppcm(2,3) = 6 6= ppcm(4,5) =
20.
(2) C’est vrai : il suffit de montrer que pgcd(a, b)2= pgcd(a2, b2). En divisant aet b
par leur pgcd, il suffit de montrer que si aet bsont premiers entre eux alors a2et
b2sont premiers entre eux. Raisonnons par l’absurde et soit pun premier divisant
pgcd(a2, b2). On a donc que p|a2et p|b2. Comme pest premier, cela implique que
p|aet que p|bdonc aet bne sont pas premiers entre eux.
(3) C’est vrai. Soit d= pgcd(a, b). On a a=dA et b=dB où pgcd(A, B) = 1.
Ainsi on a (comme précédemment) pgcd(An, Bn) = 1 et puisque an|bnon obtient
Andn|Bndnsoit An|Bn. Puisqu’ils sont premiers entre eux, ceci n’est possible que
si A= 1 et donc d=a. Ceci implique que b=dB =aB et donc a|b.
(4) C’est faux en prenant par exemple a= 4, b = 2 et m= 1 et n= 2.
Correction exercice 3 On souhaite montrer que pour tout nentier, il existe des entiers
x, y tels que n3=x2−y2. Pour cela il suffit de trouver x, y tels que x+y=n2et
x−y=nc’est-à-dire x= (n+n2)/2et y= (n2−n)/2ce qui est possible car n+n2et
n2−nsont tous les deux pairs.
Correction exercice 4.
Supposons m≥n, écrivons m=qn +rla division euclidienne de mpar n. On
commence par montrer que pgcd(Xm−1, Xn−1) = pgcd(Xn−1, Xr−1). On a
Xm−1 = Xqn+r=Xr(Xqn −1) + Xr−1,
=Xr(Xn−1) q−1
X
i=0
Xni!+Xr−1.
Notons d:= pgcd(Xm−1, Xn−1), d0:= pgcd(Xn−1, Xr−1).ddivise Xm−1et
Xn−1donc, d’après l’équation ci-dessus, ddivise Xr−1. A fortiori ddivise d0. Le même
raisonnement montre que d0divise d. Ainsi, d=d0.
Finalement, soit r0:= pgcd(m, n), en itérant ce raisonnement et en appliquant l’algorithme
d’Euclide, on a
pgcd(Xm−1, Xn−1) = pgcd(Xn−1, Xr−1),
.
.
.
= pgcd(Xd−1, X0−1),
=Xd−1,
=Xpgcd(m,n)−1.
Correction exercice 5.
4