Déterminer le PGCD
Soit un entier naturel.
On pose , et .
Montrer que est un diviseur de 2.
Déterminer les valeurs de en fonction de .
Corrigé
divise et donc il divise toute combinaison linéaire de et ; en particulier il divise :
Remarque
On a choisi les coefficients et de façon à éliminer les ...
Les seuls diviseurs entiers naturels de sont et .
Par conséquent :
Si est pair, et sont impairs donc ne peut pas être égal à , d'où
Si est impair, et sont pairs donc est également pair d'où