Casting Out Nines/Examples/347 and 514

Examples of Use of Casting Out Nines

We have:

\(\ds \dr {347}\) \(=\) \(\ds 5\)
\(\ds \dr {514}\) \(=\) \(\ds 1\)
\(\ds \leadsto \ \ \) \(\ds \dr {347 \times 514}\) \(=\) \(\ds 5 \times 1\) \(\ds = 5\)


Proof

\(\ds 347 \times 514\) \(=\) \(\ds 178 \, 358\)
\(\ds \leadsto \ \ \) \(\ds \dr {347 \times 514}\) \(=\) \(\ds \dr {178 \, 358}\)
\(\ds \) \(=\) \(\ds \dr {1 + 7 + 8 + 3 + 5 + 8}\)
\(\ds \) \(=\) \(\ds \dr {32}\)
\(\ds \) \(=\) \(\ds \dr {3 + 2}\)
\(\ds \) \(=\) \(\ds \dr {5}\)
\(\ds \) \(=\) \(\ds 5\)
\(\ds \dr {347 \times 514}\) \(=\) \(\ds \dr {5 \times 1}\)
\(\ds \) \(=\) \(\ds \dr 5\)
\(\ds \) \(=\) \(\ds 5\)

$\blacksquare$


Sources

  • 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): casting out nines
  • 2021: Richard Earl and James Nicholson: The Concise Oxford Dictionary of Mathematics (6th ed.) ... (previous) ... (next): casting out nines