Preuve par neuf

En arithmétique, la preuve par neuf est une technique servant à vérifier un calcul mental ou effectué «à la main». Il ne s'agit pas d'une preuve mathématique au sens strict, car elle peut être mise en défaut occasionnellemen.



Catégories :

Calcul manuel - Mathématiques élémentaires - Calcul mental - Détection et correction d'erreur

Recherche sur Google Images :


Source image : geombre.com
Cette image est un résultat de recherche de Google Image. Elle est peut-être réduite par rapport à l'originale et/ou protégée par des droits d'auteur.

Page(s) en rapport avec ce sujet :

  • entier et ses diviseurs, preuve par neuf.... -Ý - PREUVE PAR 9 et Somme Numérique, ou R a cine Numérique. La somme numérique. est la somme des chiffres... (source : villemin.gerard.free)
  • u Preuve par neuf. – Technique utile pour vérifier certains calculs dans la résolution... Dans l'addition de 347 et de 836, on trouve 1083 comme somme.... (source : recreomath.qc)
  • La preuve par neuf. Vous vous rappelez ? Le 9 septembre 2009, par Christine Huyghe... Comme n'importe quel nombre est identifié à la somme de ses chiffres, ... (source : images.math.cnrs)

En arithmétique, la preuve par neuf est une technique servant à vérifier un calcul mental ou effectué «à la main». Il ne s'agit pas d'une preuve mathématique au sens strict, car elle peut être mise en défaut occasionnellemen. Le principe général est de refaire le calcul bien 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 dans la mesure où elle revient à calculer modulo 9.

Comment l'appliquer

Supposons que nous ayons calculé 17\times 35. On remplace 17 par la somme de ses chiffres : 1+7=8\,, de même pour 35, remplacé par 3+5=8\,. Le résultat de 17\times 35 aura pour somme de ses chiffres la même que 8\times 8=64, soit 6+4=10\,, lui-même remplacé par 1+0=1\,.

La preuve par neuf appliquée au produit 17\times 35 s'applique ainsi : on calcule la somme des chiffres du résultat trouvé. Si cette somme est différente de 1, notre calcul est faux. Si elle est égale à 1, il y a de fortes chances qu'il soit juste.

Effectivement 17\times 35 = 595, or 5+9+5=19\, et 1+9=10\,, lui-même remplacé par 1+0=1\,.

La preuve par neuf fonctionne aussi pour vérifier le résultat d'une addition.

Astuces de calcul

Comme 9 est congru à 0 modulo 9, ces deux chiffres jouent le même rôle dans la preuve par neuf : on peut par conséquent remplacer les 9 par des 0, ce qui revient à omettre les 9 dans les calculs des sommes des chiffres. A titre d'exemple, le nombre 1999999992 sera, après plusieurs itérations, remplacé par la somme 1+2.

Quand on calcule la somme des chiffres, il est astucieux de regrouper ceux dont la somme donne 9, pour ensuite remplacer ce 9 par 0. Par exemple : 1+7+3+8+2 = (1+8) + (7+2) +3 donnera 3.

Pourquoi elle fonctionne

Le principe de la preuve par neuf repose sur la compatibilité de la congruence avec l'addition et la multiplication (on peut par conséquent imaginer une «preuve par n», quel que soit l'entier naturel n supérieur ou égal à 2) et sur le fait que tout nombre entier naturel est congru, modulo 9, à la somme de ses chiffres en écriture décimale.

Cependant parmi toutes ces «preuves», la preuve par 9 est spécifiquement pratiquée car le calcul de congruence peut être ramené à une opération particulièrement simple : l'addition des chiffres composant le nombre.

Démonstration. Comme 10 est congru à 1, modulo 9, il en est de même de ses puissances : 10² ; 10³, etc. Considérons un nombre entier x dont l'écriture décimale est anan − 1... a1a0. Cela veut dire que x=a_0+a_1\times 10+..
_n\times 10ˆn, a0, ..., an étant des chiffres, c'est-à-dire des entiers compris entre 0 et 9. Comme l'ensemble des puissances de 10 sont congrues à 1 modulo 9, chaque terme de la forme a_i\times 10ˆi est congru à ai, et par conséquent la somme de ses termes est congrue à an + an − 1 +... + a1 + a0.

Ses limites

La preuve par neuf est mise en défaut si l'écart entre le nombre trouvé après le calcul et le résultat est un multiple de 9. A titre d'exemple, si le résultat est 1992 et qu'on trouve 1092, l'erreur ne sera pas détectée : pour ces deux nombres, l'algorithme sur la somme des chiffres donnera : 3. Par conséquent la preuve par neuf est sujette aux faux positifs. Mieux, on dira que la preuve par 9 est une condition nécessaire, mais pas suffisante.

Sujets connexes

Mutiples de neuf et de trois : La somme des chiffres (modulo neuf) d'un nombre sert à trouver son reste par la division par neuf, et par conséquent d'en déduire s'il est multiple de neuf ou de trois.

Généralisation

La preuve par 9 fonctionne grâce à l'arithmétique modulaire et au fait que le modulo neuf est égal au reste de la somme des chiffres en base dix modulo neuf. Mais qu'en est-t-il dans d'autres bases? On comprend rapidement que en base N on peut utiliser la preuve par N-1. Ainsi en base 16 on peut utiliser la preuve par quinze. Accessoirement ceci donne un test de divisibilité rapide par 5 et par 3.

On peut aussi pour des nombres en base dix utiliser la base cent, avec la preuve par quatre vingt dix neuf, et par conséquent diminuer le risque de faux positif de 11% à 1%.

Bibliographie

Alexandre Sarrazin de Montferrier, Encyclopédie mathématique ou Exposition complète de l'ensemble des branches des mathématiques selon les principes de la philosophie des mathématiques de Hoëné Wronski. Première partie, Mathématiques pures. Tome premier, page 35, éd. Amyot, 1856. Ouvrage accessible en ligne sur le site de la Bibliothèque nationale de France : http ://gallica. bnf. fr

Recherche sur Amazone (livres) :



Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Preuve_par_neuf.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 10/03/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.
Accueil Recherche Aller au contenuDébut page
ContactContact ImprimerImprimer liens d'évitement et raccourcis clavierAccessibilité
Aller au menu