在数论里面有这么一个方法能简单的判断一下两个数相乘以后得到的结果是否是正确的,而这个方法就是弃九法。弃九法归根结底还用了同余的一些基本性质。
那什么是弃九法呢?先从两个数相乘说起吧。比如说 28997*29459 = 11441912613这个结果对吗?由于弃九法用到了很多
的同余方面的只是。那么先就说一下有关同余的概念。
什么是同余呢?
同余的概念是这样说的,如果a,b都为整数,m是一个固定的正整数。则当m|(a-b),即当m 能把(a - b)整除的时候,我们说a,b,对m同余记作a ≡ b(mod m),其实也可以简单的理解就是a mod m = b mod m,mod表示取余。很快的我们得出b ≡ a(mod m).且还有 ak ≡ bk(mod m).
我们还可以很快的推出
a ≡ b(mod m), b ≡ c(mod m)则就有a ≡ c(mod m)即同余性质具有传递性。
下面只简单的证明一下传递性质。
证明如下:
因为a ≡ b(mod m),根据定义有 a - b = mt (1),t为一个整数。
因为b ≡ c(mod m), 根据定义有b - c = ms (2),s为一个整数。
由(1) + (2)得到:a - c = m(s+t) = mk,k为一个整数。
所以:a ≡ c(mod m)。得证。