1700994929
1700994930
为什么9的倍数的各个数位上的数字相加之后仍然是9的倍数呢？我们通过一个例子来分析其中的道理。我们可以利用10的整数次幂，把数字3 456变成下面这种形式：
1700994931
1700994932
3 456 =3×1 000 +4×100 +5×10 + 6
1700994933
1700994934
= 3×(999 + 1) + 4× (99 + 1) + 5× (9 + 1) + 6
1700994935
1700994936
= 3×999 + 4×99 + 5×9 + 3 + 4 + 5 + 6
1700994937
1700994938
=9的倍数 + 18
1700994939
1700994940
= 9的倍数
1700994941
1700994942
同理，对于任意一个数字，如果其各个数位上的数字之和是9的倍数，那么这个数字本身也必然是9的倍数（反之亦然，只要某个数字是9的倍数，它的各个数位上的数字之和就必然是9的倍数）。
1700994943
1700994944
1700994945
1700994946
1700994947
12堂魔力数学课 [:1700993723]
1700994948
12堂魔力数学课 弃九法与加减乘除运算
1700994949
1700994950
如果某个数字的各个数位上的数字之和不是9的倍数，会怎么样呢？例如，我们考虑数字3 457的情况，它的各个数位上的数字之和是19。按照上述步骤，我们可以把3 457写成3×999 + 4 ×99 + 5×9 +7 + 12的形式。由此可以看出，3 457比9的某个倍数多出7 + 12 = 19。由于19 = 18 + 1，这说明3 457比9的某个倍数仅大1。把19的各个数位上的数字相加，和是10，再将10的各个数位上的数字相加，和是1。我把这个过程表示为：
1700994951
1700994952
3 457→19→10→1
1700994953
1700994954
将一个数字各个数位上的数相加并不断重复该步骤，直至得到一个一位数，这就是所谓的“弃九法”（casting out nines），因为每次相加之后都会减去一个9的倍数。该过程最后得到的那个一位数叫作原始数字的“数根”（digital roots）。例如，3 457的数根是1，3 456的数根是9。简言之，对于任意正数n：
1700994955
1700994956
如果n的数根是9，n就是9的倍数。否则，n的数根就是n被9除之后得到的余数。
1700994957
1700994958
用代数形式来表示，即如果n有数根r，那么：
1700994959
1700994960
n= 9x+r
1700994961
1700994962
其中x是整数。弃九法有一个非常有趣的应用，可以用来检验加、减和乘法运算的得数是否正确。例如，如果某个加法运算是正确的，答案的数根就必然与两个加数的数根之和一致。举一个例子，下面是一道加法题：
1700994963
1700994964
1700994965
1700994966
1700994967
请注意，两个加数的数根分别是5和6，它们的和是11，11的数根是2。不出所料，这道题的答案134 651的数根也是2。其中的道理可以用下面这个代数式表示：
1700994968
1700994969
(9x+r1) + (9y+r2) = 9 (x+y) + (r1+r2)
1700994970
1700994971
如果数根不一致，就说明肯定有哪个地方出错了。切记，即使数根一致，也未必表示你的计算没有错误。但是，这个方法可以帮助你发现大约90%的随机错误。注意，如果你一不小心导致两个数位彼此错位，而数字没有出错，这种检验方法就不管用了，因为在数字正确、数位错位的情况下，数根不会发生变化。不过，如果只有一个数位出错，弃九法就可以找出这个错误，除非这个错误是把0当成了9，或者把9当成了0。在多数相加时，该方法同样有效。例如，假设你买了一堆东西，价格如下：
1700994972
1700994973
1700994974
1700994975
1700994976
把答案的各个数位上的数字相加，发现数根是5。所有加数的数根之和是32，32的数根是5，所以两者是一致的。弃九法对减法同样有效。例如，把我们在前面做的加法题改成减法题：
1700994977
1700994978
