matheux14 @ 18-12-2020 à 19:16
Oui mais je ne comprends pas pourquoi si a ≡ b [b] alors a ≡ 0 [b]
alma78 @ 18-12-2020 à 19:34
Par définition de la division euclidienne....
ce n'est pas tant un pb de division euclidienne c'est simplement la définition de l'écriture
![a \equiv b [n]](https://latex.ilemaths.net/ile_TEX.cgi?a \equiv b [n])
qui signifie a - b est multiple de n
si b = n alors a - b est multiple de b
donc par définition de "être multiple de" il existe un entier k tel que a - b = kb <=> a = (k + 1)b <=>
(1) a est multiple de b <=>
(2) a - 0 est multiple de b <=>
(3) a

0 [b]
(1) et
(3) : par définition
(2) : car trivialement a = a - 0
juste en passant pour montrer que ce n'est pas la division euclidienne qui justifie le résultat mais les définitions élémentaires de base de l'arithmétique
