ExerciceMaths expertes, chapitre 7 — PGCD · PGCD et algorithme d'Euclide
Exercice 9
1. Soit un entier naturel, on pose et . Montrer, pour tout , que et sont premiers entre eux.
2. Montrer que deux entiers consécutifs non nuls sont premiers entre eux.
3. Montrer que deux entiers impairs consécutifs sont premiers entre eux.
Corrigé
Dans les trois questions, on utilise le théorème de Bézout : deux entiers sont premiers entre eux si et seulement s'il existe une combinaison linéaire d'entre eux égale à .
1. On cherche à éliminer entre et : d'où, en changeant les signes : Le couple convient. D'après le théorème de Bézout :
2. Soient et deux entiers consécutifs non nuls. Alors :
3. Soient et deux entiers impairs consécutifs, et leur PGCD. Alors divise leur différence : donc divise , c'est-à-dire ou . Mais divise , qui est impair : ne peut donc pas valoir .