Bonjour, Michel Bonjour Michel,L'idée derrière cette preuve, pour vérifier qu'une opération AxB=C est juste: Si l'on divise AxB par 9, on devrait obtenir le même reste que si l'on divise C par 9. D'après le principe de l'arithmétique modulaire, on obtient le reste de la division de AxB par 9 (appelé AxB mod 9) en multipliant le reste de la division de A par 9 au reste de la division de B par 9, et en prenant le reste de la division de ce produit par 9. (Ouf, c'est très long et répétitif, tout çà; on peut écrire plus simplement AxB mod 9 = ((A mod 9) x (B mod 9)) mod 9. ) Évidemment, jusque là le nombre 9 n'a rien de spécial; on pourrait utiliser 13, ou 17, ou n'importe quoi. La raison pour laquelle on utilise 9 est qu'il y a un truc rapide pour obtenir le reste de la division d'un nombre par 9: Il suffit d'additionner tout ses chiffres, comme vous l'avez fait. Par exemple, 1364/9 = 151 reste 5; et 1+3+6+4 = 14, 1+4 = 5. Ca marche parce que = 1x1000 + 3x100 + 6x10 + 4 = 1x(999+1) + 3x(99+1) + 6x(9+1) + 4 = [1x999 + 3x99 + 6x9] + [1+3+6+4]. Le premier terme est clairement un multiple de 9, donc le reste de la division par 9 est le même que le reste de la division du second terme par 9. Bonne chance,Claude
|