What property do you think the digital root will have? (Recall the divisibility shortcut for 9.)
Hint. The digital root is what you get by adding digits repeatedly until one digit remains — and adding digits is exactly the 9-test.
The digital root of a number is the remainder it leaves on division by 9 — except that a number exactly divisible by 9 has digital root 9 rather than 0.
Why this is so: forming the digital root means adding the digits over and over until a single digit is left. But the divisibility shortcut for 9 works precisely because adding the digits does not change the remainder on division by 9 — every power of 10 leaves remainder 1, so each digit contributes just itself. Repeating a step that preserves the remainder must still preserve it at the end.
So whatever single digit you finish on carries the same remainder mod 9 as the number you started with.
Examples: • 3546 → 3+5+4+6 = 18 → 1+8 = 9. And 3546 ÷ 9 = 394 exactly, remainder 0, shown as digital root 9 ✓ • 3547 → 19 → 10 → 1. And 3547 ÷ 9 leaves remainder 1 ✓
The only quirk to remember: the digital root is never 0, because the process always ends on a digit from 1 to 9. A remainder of 0 shows up as a digital root of 9.
✦ The digital root equals the remainder on division by 9, with a multiple of 9 having digital root 9 rather than 0 — because repeatedly adding digits never changes the remainder mod 9.
