离散基础 (10). 模运算

1. 同余法则
实数a,b,m有,$a\bmod m = b\bmod m \Leftrightarrow a \equiv b\bmod m$

2. 模缩小法则
实数a,b,m有,$ad \equiv bd\bmod m \Leftrightarrow a \equiv b\bmod \left( {\frac{m}{{\gcd (d,m)}}} \right)$

3. 模放大法则
实数a,b,m有,$((a \equiv b\bmod m) \wedge (a \equiv b\bmod n)) \Leftrightarrow a \equiv b\bmod (lcm(m,n))$

4. 中国剩余定理
实数a,b,m，且m，n互素时有，$a \equiv b\bmod (mn) \Leftrightarrow ((a \equiv b\bmod n) \wedge (a \equiv b\bmod m))$