ExerciceMaths expertes, chapitre 7 — PGCD · Équations diophantiennes
Exercice 22
1. Démontrer que : , .
2. On considère l’équation diophantienne suivante : .
(a) Vérifier, à l’aide de la question 1, que et sont premiers entre eux.
(b) En déduire un couple d’entiers relatifs tels que puis un couple solution de .
(c) Déterminer l’ensemble des solutions de .
3. Application : Trouver les points de la droite dont les coordonnées sont des entiers naturels et dont l’abscisse est comprise entre et .
Corrigé
1. C'est la question c) de l'exercice 10, valable ici pour tout entier relatif : D'après le théorème de Bézout :
2. (a) Il suffit de choisir tel que , c'est-à-dire et . On vérifie alors que .
(b) La relation de la question 1, écrite pour , fournit directement le couple de Bézout : On retrouve le couple déjà obtenu par la remontée de l'algorithme d'Euclide, à l'exercice 12 : la question 1 fournit ici le résultat sans aucun calcul.
En multipliant cette égalité par :
(c) Soit une solution de . En soustrayant terme à terme : Comme divise et que , le théorème de Gauss donne : il existe tel que . En reportant, , d'où . Vérification : .
3. L'équation de la droite s'écrit . Attention : le signe a changé, il ne s'agit plus de . On repart du couple de Bézout , que l'on multiplie par : Soit une solution. En soustrayant terme à terme : Le théorème de Gauss donne , donc et .
On cherche maintenant les points à coordonnées entières naturelles avec . Comme : et alors . Vérification : .