Preuve par neuf

Carte Peu commune · n° 92532

En arithmétique, la preuve par neuf est une technique permettant de vérifier un calcul mental ou effectué « à la main ». Malgré son nom, cette technique n'est pas une preuve mathématique, car elle peut montrer qu'un résultat est erroné, mais si la technique ne trouve pas d'erreur, elle ne permet pas de conclure que le résultat est correct. Le principe général est de refaire le calcul beaucoup plus simplement, en remplaçant chaque nombre supérieur ou égal à 10 par la somme de ses chiffres, de façon répétée. Cette technique est en fait une application des propriétés de l'arithmétique modulaire puisqu'elle revient à calculer modulo 9.

Lire sur Wikipédia