数论第5节：同余方程初探

定义

给定一个正整数m，把它叫做模。如果用m去除任意两个整数a,b所得的余数相同，就说a,b对模m同余，记做$a三b(modm)$。

定理1（非常重要）

整数a,b对模m同余的充要条件是$m|(a-b)$。即$a=b+mt，t\in Z$。

定理1推论

(1) 相加性
若$a三b(modn),c三d(modn)=>a+c三b+d(modn)$。
(2) 移项性
若$a+b三c(modn)，则a三c-b(modn)$。
(3) 可乘性
①若$a三b(modn),c三d(modn)=>a\ast c三b\ast d(modn)$。
②若$a\ast b=(a\%n)\ast (b\%n)(modn)$ %表示取余数
(4) 同除性
若$a三b(modm)$,且$a=a^{\prime }\ast d,b=b^{\prime }\ast d,(d,m)=1$,则$a^{\prime }三b^{\prime }(modm)$。
证明：
因为$a^{\prime }\ast d-b^{\prime }\ast d=m\ast k$，所以$d\ast (a^{\prime }-b^{\prime })=m\ast k$；而m与d互质，所以m的因子只能与$(a^{\prime }-b^{\prime })$相同，所以m整除$(a^{\prime }-b^{\prime })$。
(5) 同乘性
①若$a三b(modm),k>0,$则$a\ast k三b\ast k(modm\ast k)$。
②若$a三b(modm),d是a,b,m的任意公因数,$则$a/d三b/d(modm/d)$。
(6) 最大公因数相同
若$a=b(modm)$,则$(a,m)=(b,m)$。
证明： 由$a=b+mt$，设$d=(b,m)$，则$d|a$且$d|m$。若d不是a,m的最大公约数，则存在$d^{\prime }>d$，使得$d^{\prime }|(b+mt),d^{\prime }|m$，所以$d^{\prime }|b$，这与$d=(b,m)$相矛盾。

经典例题证明（一个数能被3或9整除，当且仅当它的各位之和可以被3或9整除）

证明：
设$a=a_n\ast 10^n+...+a_0\ast 10^0$
由于10三1(mod 3),所以$a_i\ast 10^i三a_i(mod3)$(由推论3得)
可得$$a_n\ast 10^n+...+a_0\ast 10^0三a_n+...+a_0(mod3)(由推论1得)$$
所以若各位相加可以被3整除，则a也可以被3整除。

应用（弃9法快速验证计算正确性）

若两个数a,b相乘等于c，则
$$(\sum {\mathrm{a}}_{\mathrm{i}})(\sum {\mathrm{b}}_{\mathrm{i}})=(\sum {\mathrm{a}}_{\mathrm{i}})$$
否则计算错误。
比如a=28 997,b=39 495,c=1 145 236 415，验证计算正确性。
$$a三8(mod9),b三3(mod9),c三5(mod9)$$
可知$3\ast 8mod9=6\ne 5$，所以计算有误。