Digital root · Lablypedia

Formal definition

Let $n$ be a natural number. For base $b > 1$ , we define the digit sum $F_{b} : N \to N$ to be the following:

F_{b} (n) = \sum_{i = 0}^{k - 1} d_{i}

where $k = ⌊ \log_{b} n ⌋ + 1$ is the number of digits in the number in base $b$ , and

d_{i} = \frac{n mod b^{i + 1} - n {mod b}^{i}}{b^{i}}

is the value of each digit of the number. A natural number $n$ is a digital root if it is a fixed point for $F_{b}$ , which occurs if $F_{b} (n) = n$ .

All natural numbers $n$ are preperiodic points for $F_{b}$ , regardless of the base. This is because if $n \geq b$ , then

n = \sum_{i = 0}^{k - 1} d_{i} b^{i}

and therefore

F_{b} (n) = \sum_{i = 0}^{k - 1} d_{i} < \sum_{i = 0}^{k - 1} d_{i} b^{i} = n

because $b > 1$ . If $n < b$ , then trivially

F_{b} (n) = n

Therefore, the only possible digital roots are the natural numbers $0 \leq n < b$ , and there are no cycles other than the fixed points of $0 \leq n < b$ .

Example

In base 12, 8 is the additive digital root of the base 10 number 3110, as for $n = 3110$

d_{0} = \frac{3110 mod 12^{0 + 1} - 3110 mod 1 2^{0}}{12^{0}} = \frac{3110 mod 12 - 3110 mod 1}{1} = \frac{2 - 0}{1} = \frac{2}{1} = 2

d_{1} = \frac{3110 mod 12^{1 + 1} - 3110 mod 1 2^{1}}{12^{1}} = \frac{3110 mod 144 - 3110 mod 1 2}{12} = \frac{86 - 2}{12} = \frac{84}{12} = 7

d_{2} = \frac{3110 mod 12^{2 + 1} - 3110 mod 1 2^{2}}{12^{2}} = \frac{3110 mod 1728 - 3110 mod 1 44}{144} = \frac{1382 - 86}{144} = \frac{1296}{144} = 9

d_{3} = \frac{3110 mod 12^{3 + 1} - 3110 mod 1 2^{3}}{12^{3}} = \frac{3110 mod 20736 - 3110 mod 1 728}{1728} = \frac{3110 - 1382}{1728} = \frac{1728}{1728} = 1

F_{12} (3110) = \sum_{i = 0}^{4 - 1} d_{i} = 2 + 7 + 9 + 1 = 19

This process shows that 3110 is 1972 in base 12. Now for $F_{12} (3110) = 19$

d_{0} = \frac{19 mod 12^{0 + 1} - 19 mod 1 2^{0}}{12^{0}} = \frac{19 mod 12 - 19 mod 1}{1} = \frac{7 - 0}{1} = \frac{7}{1} = 7

d_{1} = \frac{19 mod 12^{1 + 1} - 19 mod 1 2^{1}}{12^{1}} = \frac{19 mod 144 - 19 mod 1 2}{12} = \frac{19 - 7}{12} = \frac{12}{12} = 1

F_{12} (19) = \sum_{i = 0}^{2 - 1} d_{i} = 1 + 7 = 8

shows that 19 is 17 in base 12. And as 8 is a 1-digit number in base 12,

F_{12} (8) = 8

5 more chapters are free with a Lably account.

Direct formulas

We can define the digit root directly for base $b > 1$ ${dr}_{b} : N \to N$ in the following ways:

Congruence formula

The formula in base $b$ is:

{dr}_{b} (n) = {\begin{cases} 0 & if n = 0, \\ b - 1 & if n \neq 0, n \equiv 0 (\mod (b - 1)), \\ n mod (b - 1) & if n ≢ 0 (\mod (b - 1)) \end{cases}

or,

{dr}_{b} (n) = {\begin{cases} 0 & if n = 0, \\ 1 + ((n - 1) mod (b - 1)) & if n \neq 0. \end{cases}

In base 10, the corresponding sequence is (sequence A010888 in the OEIS).

The digital root is the value modulo $(b - 1)$ because $b \equiv 1 (\mod (b - 1)),$ and thus $b^{i} \equiv 1^{i} \equiv 1 (\mod (b - 1)) .$ So regardless of the position $i$ of digit $d_{i}$ , $d_{i} b^{i} \equiv d_{i} (\mod (b - 1))$ , which explains why digits can be meaningfully added. Concretely, for a three-digit number $n = d_{2} b^{2} + d_{1} b^{1} + d_{0} b^{0}$ ,

{dr}_{b} (n) \equiv d_{2} b^{2} + d_{1} b^{1} + d_{0} b^{0} \equiv d_{2} (1) + d_{1} (1) + d_{0} (1) \equiv d_{2} + d_{1} + d_{0} (\mod (b - 1)) .

To obtain the modular value with respect to other numbers $m$ , one can take weighted sums, where the weight on the $i$ -th digit corresponds to the value of $b^{i} mod m$ . In base 10, this is simplest for $m = 2, 5, and 10$ , where higher digits except for the unit digit vanish (since 2 and 5 divide powers of 10), which corresponds to the familiar fact that the divisibility of a decimal number with respect to 2, 5, and 10 can be checked by the last digit.

Also of note is the modulus $m = b + 1$ . Since $b \equiv - 1 (\mod (b + 1)),$ and thus $b^{2} \equiv (- 1)^{2} \equiv 1 (\mod (b + 1)),$ taking the alternating sum of digits yields the value modulo $(b + 1)$ .

Using the floor function

It helps to see the digital root of a positive integer as the position it holds with respect to the largest multiple of $b - 1$ less than the number itself. For example, in base 6 the digital root of 11 is 2, which means that 11 is the second number after $6 - 1 = 5$ . Likewise, in base 10 the digital root of 2035 is 1, which means that $2035 - 1 = 2034 | 9$ . If a number produces a digital root of exactly $b - 1$ , then the number is a multiple of $b - 1$ .

With this in mind the digital root of a positive integer $n$ may be defined by using floor function $⌊ x ⌋$ , as

{dr}_{b} (n) = n - (b - 1) ⌊ \frac{n - 1}{b - 1} ⌋ .

Properties

The digital root of $a_{1} + a_{2}$ in base $b$ is the digital root of the sum of the digital root of $a_{1}$ and the digital root of $a_{2}$ : ${dr}_{b} (a_{1} + a_{2}) = {dr}_{b} ({dr}_{b} (a_{1}) + {dr}_{b} (a_{2})) .$ This property can be used as a sort of checksum, to check that a sum has been performed correctly.

The digital root of $a_{1} - a_{2}$ in base $b$ is congruent to the difference of the digital root of $a_{1}$ and the digital root of $a_{2}$ modulo $(b - 1)$ : ${dr}_{b} (a_{1} - a_{2}) \equiv ({dr}_{b} (a_{1}) - {dr}_{b} (a_{2})) (\mod (b - 1)) .$

The digital root of $- n$ in base $b$ is ${dr}_{b} (- n) \equiv - {dr}_{b} (n) mod b - 1 .$

The digital root of the product of nonzero single digit numbers $a_{1} \cdot a_{2}$ in base $b$ is given by the Vedic Square in base $b$ .

The digital root of $a_{1} \cdot a_{2}$ in base $b$ is the digital root of the product of the digital root of $a_{1}$ and the digital root of $a_{2}$ : ${dr}_{b} (a_{1} a_{2}) = {dr}_{b} ({dr}_{b} (a_{1}) \cdot {dr}_{b} (a_{2})) .$

Additive persistence

The additive persistence counts how many times we must sum its digits to arrive at its digital root.

For example, the additive persistence of 2718 in base 10 is 2: first we find that 2 + 7 + 1 + 8 = 18, then that 1 + 8 = 9.

There is no limit to the additive persistence of a number in a number base $b$ . Proof: For a given number $n$ , the persistence of the number consisting of $n$ repetitions of the digit 1 is 1 higher than that of $n$ . The smallest numbers of additive persistence 0, 1, ... in base 10 are:

0, 10, 19, 199, 19 999 999 999 999 999 999 999, ... (sequence A006050 in the OEIS)

The next number in the sequence (the smallest number of additive persistence 5) is 2 × 10^{2×(10²² − 1)/9} − 1 (that is, 1 followed by 2 222 222 222 222 222 222 222 nines). For any fixed base, the sum of the digits of a number is proportional to its logarithm; therefore, the additive persistence is proportional to the iterated logarithm.

Programming example

The example below implements the digit sum described in the definition above to search for digital roots and additive persistences in Python.

<span id="mw8g"></span><span class="k" id="mw8w">def</span> <span class="nf" id="mw9A">digit_sum</span><span class="p" id="mw9Q">(</span><span class="n" id="mw9g">x</span><span class="p" id="mw9w">:</span> <span class="nb" id="mw-A">int</span><span class="p" id="mw-Q">,</span> <span class="n" id="mw-g">b</span><span class="p" id="mw-w">:</span> <span class="nb" id="mw_A">int</span><span class="p" id="mw_Q">)</span> <span class="o" id="mw_g">-></span> <span class="nb" id="mw_w">int</span><span class="p" id="mwAQA">:</span> <span class="n" id="mwAQE">total</span> <span class="o" id="mwAQI">=</span> <span class="mi" id="mwAQM">0</span> <span class="k" id="mwAQQ">while</span> <span class="n" id="mwAQU">x</span> <span class="o" id="mwAQY">></span> <span class="mi" id="mwAQc">0</span><span class="p" id="mwAQg">:</span> <span class="n" id="mwAQk">total</span> <span class="o" id="mwAQo">=</span> <span class="n" id="mwAQs">total</span> <span class="o" id="mwAQw">+</span> <span class="p" id="mwAQ0">(</span><span class="n" id="mwAQ4">x</span> <span class="o" id="mwAQ8">%</span> <span class="n" id="mwARA">b</span><span class="p" id="mwARE">)</span> <span class="n" id="mwARI">x</span> <span class="o" id="mwARM">=</span> <span class="n" id="mwARQ">x</span> <span class="o" id="mwARU">//</span> <span class="n" id="mwARY">b</span> <span class="k" id="mwARc">return</span> <span class="n" id="mwARg">total</span> <span class="k" id="mwARk">def</span> <span class="nf" id="mwARo">digital_root</span><span class="p" id="mwARs">(</span><span class="n" id="mwARw">x</span><span class="p" id="mwAR0">:</span> <span class="nb" id="mwAR4">int</span><span class="p" id="mwAR8">,</span> <span class="n" id="mwASA">b</span><span class="p" id="mwASE">:</span> <span class="nb" id="mwASI">int</span><span class="p" id="mwASM">)</span> <span class="o" id="mwASQ">-></span> <span class="nb" id="mwASU">int</span><span class="p" id="mwASY">:</span> <span class="n" id="mwASc">seen</span> <span class="o" id="mwASg">=</span> <span class="nb" id="mwASk">set</span><span class="p" id="mwASo">()</span> <span class="k" id="mwASs">while</span> <span class="n" id="mwASw">x</span> <span class="ow" id="mwAS0">not</span> <span class="ow" id="mwAS4">in</span> <span class="n" id="mwAS8">seen</span><span class="p" id="mwATA">:</span> <span class="n" id="mwATE">seen</span><span class="o" id="mwATI">.</span><span class="n" id="mwATM">add</span><span class="p" id="mwATQ">(</span><span class="n" id="mwATU">x</span><span class="p" id="mwATY">)</span> <span class="n" id="mwATc">x</span> <span class="o" id="mwATg">=</span> <span class="n" id="mwATk">digit_sum</span><span class="p" id="mwATo">(</span><span class="n" id="mwATs">x</span><span class="p" id="mwATw">,</span> <span class="n" id="mwAT0">b</span><span class="p" id="mwAT4">)</span> <span class="k" id="mwAT8">return</span> <span class="n" id="mwAUA">x</span> <span class="k" id="mwAUE">def</span> <span class="nf" id="mwAUI">additive_persistence</span><span class="p" id="mwAUM">(</span><span class="n" id="mwAUQ">x</span><span class="p" id="mwAUU">:</span> <span class="nb" id="mwAUY">int</span><span class="p" id="mwAUc">,</span> <span class="n" id="mwAUg">b</span><span class="p" id="mwAUk">:</span> <span class="nb" id="mwAUo">int</span><span class="p" id="mwAUs">)</span> <span class="o" id="mwAUw">-></span> <span class="nb" id="mwAU0">int</span><span class="p" id="mwAU4">:</span> <span class="n" id="mwAU8">seen</span> <span class="o" id="mwAVA">=</span> <span class="nb" id="mwAVE">set</span><span class="p" id="mwAVI">()</span> <span class="k" id="mwAVM">while</span> <span class="n" id="mwAVQ">x</span> <span class="ow" id="mwAVU">not</span> <span class="ow" id="mwAVY">in</span> <span class="n" id="mwAVc">seen</span><span class="p" id="mwAVg">:</span> <span class="n" id="mwAVk">seen</span><span class="o" id="mwAVo">.</span><span class="n" id="mwAVs">add</span><span class="p" id="mwAVw">(</span><span class="n" id="mwAV0">x</span><span class="p" id="mwAV4">)</span> <span class="n" id="mwAV8">x</span> <span class="o" id="mwAWA">=</span> <span class="n" id="mwAWE">digit_sum</span><span class="p" id="mwAWI">(</span><span class="n" id="mwAWM">x</span><span class="p" id="mwAWQ">,</span> <span class="n" id="mwAWU">b</span><span class="p" id="mwAWY">)</span> <span class="k" id="mwAWc">return</span> <span class="nb" id="mwAWg">len</span><span class="p" id="mwAWk">(</span><span class="n" id="mwAWo">seen</span><span class="p" id="mwAWs">)</span> <span class="o" id="mwAWw">-</span> <span class="mi" id="mwAW0">1</span>

In popular culture

Digital roots are used in Western numerology, but certain numbers deemed to have occult significance (such as 11 and 22) are not always completely reduced to a single digit.

Digital roots form an important mechanic in the visual novel adventure game Nine Hours, Nine Persons, Nine Doors.