在做https://leetcode.com/problems/add-digits/这道题时,发现了这个问题。即
任何一个整数模9同余与它的各数位上的数字之和。
具体证明过程如下:
设自然数N=a[n]a[n-1]…a[0],其中a[0],a[1]、…、a[n]分别是个位、十位、…上的数字
再设M=a[0]+a[1]+…+a[n]
求证:N≡M(mod9).
证明:
∵ N=a[n]a[n-1]…a[0]=a[n]*10^n+a[n-1]*10^(n-1)+…+a[1]*10+a[0].
又∵ 1≡1(mod9),
10≡1(mod9),
10^2≡1(mod9),
…
10^n≡1(mod9).
上面这些同余式两边分别同乘以a[0]、a[1]、a[2]、…、a[n],再相加得:
a[0]+a[1]*10+…+a[n]*10^n≡(a[0]+a[1]+…+a[n])(mod9),
即 N≡M(mod9),得证。
有了这个性质就容易解决本题了
在计算过程中,可以不断mod9,因为我们知道有这样两个性质:
(A+B)mod C = ((A mod C) + (B mod C))mod C
(AB)mod C = ((A mod C)×(B mod C)) mod C
还要注意,如果余数为0,则输出9
参考地址:http://www.cnblogs.com/Rinyo/archive/2012/12/20/2826755.html