ExerciceMaths expertes, chapitre 4 — Congruences · Tableaux de congruences et équations
Exercice 9
On veut montrer que l'équation suivante n'a pas de solutions entières :
1. On suppose qu'il existe une solution . Montrer en raisonnant modulo que l'équation peut s'écrire sous la forme :
2. Recopier puis compléter les tableaux de congruence suivants :
et
3. En déduire que et sont des multiples de .
4. Conclure.
Corrigé
1. Supposons qu'il existe des entiers et tels que . Réduisons chaque coefficient modulo : L'égalité donne donc, modulo :
2. Tout entier est congru à , , , ou modulo : il suffit donc de tester ces cinq valeurs.
Détail d'une case : pour , on a ; pour , .
3. D'après le premier tableau, ne peut être congru qu'à , ou ; d'après le second, ne peut l'être qu'à , ou . Pour que l'égalité soit possible, il faut une valeur commune aux deux listes : La seule possibilité est donc et . En relisant les tableaux, cela impose et :
4. Écrivons et avec et entiers. En reportant : Le membre de gauche est un multiple de , le membre de droite vaut . Or ne divise pas : c'est absurde.