12
17 Équation et tableau de congruence
1°) Tableau de congruence
Reste de la division
euclidienne de n par 5 0 1 2 3 4
Reste de la division
euclidienne de 8n par 5 0 3 1 4 2
Explication :
Si
n
(mod. 5), alors
n
(mod. 5).
Si
n
(mod. 5), alors
n
(mod. 5).
Or
(mod. 5).
Donc
n
(mod. 5).
Si
n
(mod. 5), alors
n
(mod. 5).
Or
(mod. 5).
Donc
(mod. 5).
2°) Déterminons tous les entiers relatifs n tels que 8n 7 (mod. 5) (1).
On a :
(mod. 5) (2).
Donc (2), (1) 8n 2 (mod. 5)
n 4 (mod. 5) (d’après le tableau de congruence précédent)
Conclusion :
Il y a trois manières de conclure :
Les entiers relatifs cherchés sont tous les nombres congrus à 4 modulo 5.
Les entiers relatifs sont les entiers de la forme 4k + 5 avec k .
Les entiers relatifs cherchés sont les entiers relatifs dont le reste de la division euclidienne par 5 est égal à 4.
Remarque :
On ne peut pas diviser les deux membres par 8.
En effet, il n’y a pas de règle qui permette de diviser les deux membre par 8 (
n’est pas entier).
On observera que l’on a déterminé les entiers n qui vérifient (1) en utilisant un raisonnement par équivalence.