Casting out nines

From Wikipedia, the free encyclopedia

Casting out nines is a sanity check to ensure that hand computations of sums, differences, products, and quotients of integers are correct. By looking at the digital roots of the inputs and outputs, the casting-out-nines method can help one check arithmetic calculations. The method is so simple that most schoolchildren can apply it without understanding its mathematical underpinnings.

Contents

[edit] Explanation

This method takes its name from the fact that nines may be ignored when checking an equation. Each digit in each value is added, except that nines and digits that sum to nine are discarded. When a single digit is reached for each value, the original operations are performed again. If both sides of the equation balance, the equation is deemed correct.

While this appears to be a simple way to check work without a calculator, it is not without its shortcomings. Casting out nines only works with integers - it does not work with fractions, variables, or exponents. Also, it is possible that a correct result may occur, when in fact the answer was far off the mark. Finally, errors can be made during the process of casting out nines as well.

Casting out nines is not in wide use today, mainly because of the widespread use of calculators and computers.

[edit] Examples

As the explanation can be hard for many to understand, below are examples for using casting out nines to check addition, subtraction, multiplication, and division.


[edit] Addition

\mathit{3} 2 \mathit{6} 4\, \Rightarrow \mathit{6}\,* First, cross out all 9's and digits that total 9 in each addend (italicized).
\mathit{8415}\, \Rightarrow 0\, Add up leftover digits for each addend until one digit is reached.
2 \mathit{9} 46\, \Rightarrow \mathit{3}\, These new values are called excesses.
\underline{+\mathit{3} 20 \mathit{6}} \Rightarrow 2\,** Do to the excesses what you did to the addends, coming to a single digit.
\mathit{1} 7 \mathit{8} 31\, \bigg\Downarrow Now follow the same procedure with the sum, coming to a single digit.
\Downarrow
{2}\,†† \Leftrightarrow 2\, The excess from the sum should equal the final excess from the addends.

*2 and 4 add up to 6.
There are no digits left.
2, 4, and 6 make 12; 1 and 2 make 3.
**2 and 0 are 2.
††7, 3, and 1 make 11; 1 and 1 add up to 2.


[edit] Subtraction

\mathit{5643}\, \Rightarrow 0(9)\, First, cross out all 9's and digits that total 9 in both minuend and subtrahend (italicized).
\underline{-2\mathit{891}}\, \Rightarrow -2\, Add up leftover digits for each value until one digit is reached.
\mathit{2} 7 \mathit{52}\, \bigg\Downarrow Now follow the same procedure with the difference, coming to a single digit.
\Downarrow Because subracting 2 from zero gives a negative number, borrow a 9 from the minuend.
{7}\, \Leftrightarrow 7\, The difference between the minuend and the subtrahend excesses should equal the difference excess.

[edit] Multiplication

\mathit{5} \mathit{4} 8\, \Rightarrow 8\, First, cross out all 9's and digits that total 9 in each factor (italicized).
\underline{\times 62 \mathit{9}}\, \Rightarrow 8\, Add up leftover digits for each addend until one digit is reached.
{\mathit{3} 44 \mathit{69} 2}\, \bigg\Downarrow Multiply the two excesses, and then add until one digit is reached.
\Downarrow Do the same with the product, crossing out 9's and getting one digit.
{1}\, \Leftrightarrow 1\, The excess from the product should equal the final excess from the factors.

[edit] Division

8\times 4+\, 3\, \Longrightarrow 8\, Cross out all 9's and digits that total 9 in the divisor, quotient, and remainder.
\bigg\Uparrow \Uparrow \Uparrow Add up all uncrossed digits from each value to a single digits.
877\, r. 84\, Multiply the divisor and quotient excesses, and add the remainder excess.
314\, \overline{)\mathit{2754}62}\, \Longrightarrow 8\, Do the same with the dividend, crossing out 9's and getting one digit.
(Nines are italicized).
The dividend excess should equal the final excess from the other values.

[edit] How it works

Formally, casting out nines is a valid method of checking equations because of a property of modular arithmetic. Specifically, if x and x' (respectively, y and y') have the same remainder modulo 9, then so do x + y and x' + y', x − y and x' − y' and x × y and x' × y'.

For an equation utilizing only integers to be correct, the following must be true: the sum of the digits of the decimal writing of an integer has the same remainder, modulo 9, as this integer. Because of this, one can add all digits in the original number to obtain another number, and so on repeatedly until one gets a 1-digit number, which is necessarily equal to the original number. Also, nines can be tossed out before this, because 9 is equal to 0 modulo 9.

In a correct equation, one side equals the other. If the equation was correct before, performing the above operation on both sides preserves correctness. However, it is possible that two previously unequal integers will be identical modulo 9 (on average, a ninth of the time).

One should note that the operation does not work on fractions, since a given fractional number does not have a unique representation.

[edit] History

Casting out nines was known to the Roman bishop Hippolytos as early as the third century. It was later employed by twelfth-century Hindu mathematicians.[1]

[edit] References

  1. ^ Cajori, Florian (1991, 5e) A History of Mathematics, AMS. ISBN 0-8218-2102-4. p.91

[edit] External Links

In other languages