摘要
弃九法是一种验算正整数计算结果的方法。即在检验 a×b=c 是否正确时,可以看一看 a×b与 c 对于模9是否同余。如果 a×b与 c 对于模9同余,则 a×b有可能与 c 相等,否则 a×b必不等于 c。假设我们使用普通乘法运算方法求出正整数 a×b=c,并令:a=a<sub>n</sub>10<sup>n</sup>+a<sub>n-1</sub>10<sup>n-1</sup>+…+a<sub>0</sub>(0≤a<sub>1</sub>【10)b=b<sub>m</sub>10<sup>m</sup>+b<sub>m-1</sub>10<sup>m-1</sup>+…+b<sub>0</sub>(0≤b<sub>1</sub>【10)c=c<sub>1</sub>10<sup>1</sup>+c<sub>1-1</sub>10<sup>1-1</sup>+…+c<sub>0</sub>(0≤c<sub>1</sub>【10)因为10<sup>0</sup>=9×0+1,10<sup>1</sup>=9×1+1,10<sup>2</sup>=9×11+1…10<sup>k</sup>=9×11…1+1…即10<sup>k</sup>≡1(mod 9),则 a<sub>k</sub>10<sup>k</sup>≡a<sub>k</sub>(mod 9)其中 k=0,