Casting Out 9s

From ProofWiki
Jump to navigation Jump to search

Proof Technique

Casting out nines is a technique for checking that the result of an addition sum is correct.

Let $a$ and $b$ be two integers for which their sum:

$c = a + b$

is to be calculated.


For each of $a$ and $b$, expressed in conventional decimal notation, the digital root is extracted.

These are added together, and the digital root of the result is extracted.

If that digital root of the sum of the digital roots of $a$ and $b$ do not match the digital root of $c$, it means something must have gone wrong with the addition.


Proof

From Digital Root is Preserved by Addition:

$\dr c = \dr {\dr a + \dr b}$

where $\dr a$ denotes the digital root of $a$.

Hence the result.

$\blacksquare$


Historical Note

The technique of Casting Out 9s was probably an invention of the mathematicians of early India.

It appears in Bhaskara II Acharya's Lilavati, dating from about $1150$.

It arrived in Western Europe from the Arabs, via the Liber Abaci of $1202$ by Leonardo Fibonacci.

When initially invented, the technique involved dividing the numbers involved by $9$ and adding the remainders, but the summing of the digital roots has the same effect.


Sources