$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}}
\newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}}
\newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)}
\newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n}
\newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}}
\newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)}
\newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch}
\DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th}
\DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card}
\DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im}
\DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr}
\DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp}
\newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}}
\newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle}
\newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]}
\newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle}
$$
Bibm@th Preuve par neuf
Il s'agit d'une méthode pour vérifier le résultat d'une multiplication. Supposons par exemple que, dépourvu
de calculatrice, nous fassions le produit 263×461. On a trouvé 121243, et on voudra savoir si le résultat est juste.
Pour cela, on trace une croix (type multiplication). Dans la case du haut, on écrit le reste par 9 de la somme des chiffres du premier nombre. Dans notre
exemple, 263 donne 2+6+3 soit 11, et on écrit donc 2. En bas, on écrit le reste par reste de la somme des chiffres du deuxième nombre, ici 2. A droite, on écrit le produit de ces deux nombres,
en prenant le reste par 9 : ici 4. Enfin, à gauche, on écrit le reste par 9 de la somme des chiffres du résultat trouvé, ici 4. Pour que le résultat soit exact, il faut que le nombre de droite soit égal au nombre de gauche.
Attention! Ceci ne permet pas de dire a coup sûr que le résultat est juste mais si les deux nombres sont différents, le résultat est à coup sûr faux!
A l'heure des calculatrices, la preuve par neuf paraît un peu désuète, et n'est plus guère enseignée...
C'est en revanche un exercice intéressant d'arithmétique de prouver que la preuve par neuf fonctionne!
Recherche alphabétique
Recherche thématique