数理化 > 弃九算法
  这是一种判断一个正整数何时可被9整除的方法。这种方法非常古老,年代已不可考。
  方法如下:
  假设n是一个正整数,n=a_k*10^k+a_*10^+...+a_1*10+a_0是十进制表示,a_i是位数码。设s(n)=a_k+a_+...+a_1+a_0是n的位数码和,亦即将各个位上的数码相加。
  如果s(n)大于9, 那么求s(s(n)); 如果s(s(n))仍大于9,则求s(s(s(n))); ......依此类推,最终
  会得到一个小于10的数。 这个数恰好就是n除以9的余数。 如果它刚好是9,那么n可被9整除。
  这个结论的证明很简单,只需注意到n-s(n)=a_k*(10^k-1)+a_*(10^-1)+...+a_1*(10-1)
  是9的倍数, 此外n>s(n)如果n>9的话。