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 survit à 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 est au bon endroit, et la preuve par neuf attrape beaucoup des erreurs plus petites qui laissent la taille inchangée.

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 finie et demande quatre réductions : les deux facteurs, le produit des deux chiffres réduits, et la réponse. Les deux derniers doivent tomber pareil, et c'est là toute la preuve.

Techniques de calcul mental

Addition et soustraction

Multiplication

Division

Vérification

Calcul mental