离散基础 (10). 模运算

1. 同余法则
实数a,b,m有,amodm=bmodm⇔a≡bmodm

2. 模缩小法则
实数a,b,m有,ad≡bdmodm⇔a≡bmod(mgcd(d,m))

3. 模放大法则
实数a,b,m有,((a≡bmodm)∧(a≡bmodn))⇔a≡bmod(lcm(m,n))

4. 中国剩余定理
实数a,b,m，且m，n互素时有，a≡bmod(mn)⇔((a≡bmodn)∧(a≡bmodm))