数根(digital root)

数根：数根是将一正整数的各个位数相加（即横向相加），若加完后的值大于10的话，则继续将各位数进行横向相加直到其值小于10为止

考虑自然数$n$，对于$b$进制$(b>1)$，定义数字和$F_b:\mathbb{N}\to \mathbb{N}$为
$$F_b\left(n\right)=\sum _{i=0}^{k-1}{d}_i$$
其中$k=\lfloor {\log }_{b}n\rfloor +1$为$b$进制下这个数字有多少位，
$$d_i=\frac{n\mathrm{mod}{b}^{i+1}-n\mathrm{mod}{b}^i}{b^i}$$
换句话说，$n={\sum }_{i=0}^{k-1}{d}_i{b}^i$

如果$F_b(n)=n$，则$n$是一个数根

如果$n\ge b$,则
$$F_b(n)=\sum _{i=0}^{k-1}{d}_i<\sum _{i=0}^{k-1}{d}_i{b}^i<n$$
也就是说求一次数字和会越来越小，直到$n<b$

性质

注意到$b^k\mathrm{mod}(b-1)=1$
$$n\mathrm{mod}(b-1)=\left(\sum _{i=0}^{k-1}{d}_i{b}^i\right)\mathrm{mod}(b-1)=\left(\sum _{i=0}^{k-1}{d}_i\right)\mathrm{mod}(b-1)$$
所以求数字和等价于对$b-1$取模

特殊情况就是$n=k(b-1)(k>1)$
这种情况下
$$n\mathrm{mod}(b-1)=b-1+(k-1)(b-1)\mathrm{mod}(b-1)=b-1$$
即数根为$b-1$
综上所述,$b$进制下
$$F_b(n)=\{\begin{array}{ll}0& n=0\\ (n-1)\mathrm{mod}(b-1)& n\equiv 0\mathrm{mod}(b-1)\\ n\mathrm{mod}(b-1)& n\not\equiv 0\mathrm{mod}(b-1)\end{array}=\{\begin{array}{ll}0& n=0\\ 1+(n-1)\mathrm{mod}(b-1)& n>0\end{array}$$

在代码里是取余，所以可以不用分类讨论

https://leetcode.com/problems/add-digits/
这题是10进制，所以对9取余

class Solution {
public:
    int addDigits(int num) {
        return 1+(num-1)%9;
    }
};

参考：
https://en.wikipedia.org/wiki/Digital_root