La preuve par neuf

N'importe quel nombre se réduit à un seul chiffre : additionne ses chiffres et recommence jusqu'à ce qu'il n'en reste qu'un. 47 donne 4 + 7 = 11 puis 1 + 1 = 2.

Tout l'intérêt de la preuve est que cette réduction est respectée par la multiplication et l'addition. Si l'opération est juste pour les nombres, elle doit l'être pour leurs formes réduites :

47 × 23 = 1081 → 2 × 5 = 10 → 1, et 1081 → 1. Cela concorde.

Si les deux ne concordent pas, la réponse contient à coup sûr une erreur. La preuve elle-même est facile, car tout le travail se fait sur des chiffres seuls.

Un avertissement honnête. La preuve trouve des erreurs mais ne démontre pas la justesse. Une mauvaise réponse peut avoir par hasard la même forme réduite, et un cas est particulièrement fréquent : les chiffres intervertis. 1081 et 1801 se réduisent tous deux à un, cette preuve ne peut donc pas voir cette erreur-là.

C'est justement pour cela qu'elle va avec l'estimation de l'ordre de grandeur. L'estimation montre si la réponse a le bon ordre de grandeur, et la preuve par neuf repère beaucoup d'erreurs plus petites qui ne le changent pas.

La même somme des chiffres revient dans les critères de divisibilité, où elle teste la divisibilité par neuf.

Entraîne-toi

L'exercice donne une opération déjà effectuée et demande quatre réductions : les deux facteurs, le produit des deux chiffres réduits, et la réponse. Les deux derniers doivent donner le même chiffre, et c'est là toute la preuve.

Techniques de calcul mental

Addition et soustraction

Multiplication

Division

Vérification

Calcul mental