同余、中国剩余定理
一、同余 (Congruence)
1. 令 a , b , m \mathsf{a,\ b,\ m} a, b, m 为整数,且 m ≠ 0 \mathsf{m \neq 0} m=0 。当满足 m ∣ ( a − b ) \mathsf{m \mid (a-b)} m∣(a−b) 时,称 a 与 b 模 m 同余,写作 a ≡ b m o d m \mathsf{a \equiv b \ mod \ m} a≡b mod m
-
例子:
3 ≡ 27 m o d 12 \mathsf{3 \equiv 27\ mod\ 12} 3≡27 mod 12, − 3 ≡ 11 m o d 7 \mathsf{-3 \equiv 11\ mod\ 7} −3≡11 mod 7
2. 基本性质:同余兼容常用加法与乘法运算。如果 a ≡ b ( m o d m ) \mathsf{a \equiv b\ (mod\ m)} a≡b (mod m) 并且 c ≡ d ( m o d m ) \mathsf{c \equiv d\ (mod\ m)} c≡d (mod m),那么 a + c ≡ b + d ( m o d m ) \mathsf{a+c \equiv b+d\ (mod\ m)} a+c≡b+d (mod m), a c ≡ b d ( m o d m ) \mathsf{ac\equiv bd\ (mod\ m)} ac≡bd (mod m)
-
例子:
4 + 12 ≡ 26 + 1 ( m o d 11 ) \mathsf{4 + 12 \equiv 26 + 1\ (mod\ 11)} 4+12≡26+1 (mod 11), 4 × 12 ≡ 26 × 1 ( m o d 11 ) \mathsf{4 \times 12 \equiv 26 \times 1\ (mod\ 11)} 4×12≡26×1 (mod 11)
-
证明:
a = b + m k , c = d + m l , a + c = b + d + m ( k + l ) \mathsf{a = b + mk,c = d + ml,a + c = b + d + m(k + l)} a=b+mk,c=d+ml,a+c=b+d+m(k+l)
a c = b d + b m l + d m k + m 2 k l = b d + m ( b l + d k + m k l ) \mathsf{ac = bd + bml + dmk + m^{2}kl} = bd + m(bl + dk + mkl) ac=bd+bml+dmk+m2kl=bd+m(bl+dk+mkl)
3. 同样地:如果 a ≡ b ( m o d m ) \mathsf{a \equiv b\ (mod\ m)} a≡b (mod m),那么 a k ≡ b k ( m o d m ) \mathsf{a^{k} \equiv b^{k}\ (mod\ m)} ak≡bk (mod m)
4. 然而,下面的推论是错误的:
如果 a ≡ b ( m o d m ) \mathsf{a \equiv b\ (mod\ m)} a≡b (mod m) 并且 c ≡ d ( m o d m ) \mathsf{c \equiv d\ (mod\ m)} c≡d (mod m),那么 a c ≡ b d ( m o d m ) \mathsf{a^{c} \equiv b^{d}\ (mod\ m)} ac≡bd (mod m)
如果 a x ≡ b x ( m o d m ) \mathsf{ax \equiv bx\ (mod m)} ax≡bx (modm),那么 a ≡ b ( m o d m ) \mathsf{a \equiv b\ (mod\ m)} a≡b (mod m)
-
例子:
4 12 ≠ 4 1 ( m o d 11 ) \mathsf{4^{12} \neq 4^{1}\ (mod 11)} 412=41 (mod11), 8 2 ≠ 3 7 ( m o d 5 ) \mathsf{8^{2} \neq 3^{7}\ (mod\ 5)} 82=37 (mod 5), 5 × 2 ≡ 2 × 2 ( m o d 6 ) \mathsf{5 \times 2 \equiv 2 \times 2\ (mod\ 6)} 5×2≡2×2 (mod 6)
二、剩余系统
-
模 m 的完全剩余系:一组整数 a 1 , a 2 , ⋯ a m \mathsf{a_{1},\ a_{2},\ \cdots\ a_{m}} a1, a2, ⋯ am,满足当 i ≠ j \mathsf{i \neq j} i=j 时, a i ≠ a j m o d m \mathsf{a_{i} \neq a_{j}\ mod\ m} ai=aj mod m,即 m 个数两两互不同余。
-
模 m 的简化剩余系:m 的完全剩余系中与 m 互素的数构成的子集。
-
例子:
如果 m = 9 \mathsf{m=9} m=9,完全剩余系: { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 } \mathsf{\{1,\ 2,\ 3,\ 4,\ 5,\ 6,\ 7,\ 8,\ 9 \}} { 1, 2, 3, 4, 5, 6, 7, 8, 9} 简化剩余系: { 1 , 2 , 4 , 5 , 7 , 8 } \mathsf{\{ 1,\ 2,\ 4,\ 5,\ 7,\ 8 \}} { 1, 2, 4, 5, 7, 8}
如果 m = 10 \mathsf{m=10} m=10,完全剩余系: { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 } \mathsf{\{1,\ 2,\ 3,\ 4,\ 5,\ 6,\ 7,\ 8,\ 9,\ 10 \}} { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 简化剩余系: { 1 , 3 , 7 , 9 } \mathsf{\{ 1,\ 3,\ 7,\ 9 \}} { 1, 3, 7, 9}
三、欧拉函数
1. 简化剩余系中元素个数,用 ϕ ( m ) \mathsf{\phi(m)} ϕ(m) 表示。
-
例子:
ϕ (