第二章 同余式

第二章 同余式

2.1 同余的定义和基本性质

• 定义：设 $m\in Z^{+}$，$a,b\in Z$，若 $a$ 与 $b$ 被 $m$ 除所得的余数相同，则称 $a$ 与 $b$ 关于模 $m$ 同余，记为 $a$ 同余 $b$ 模 $m$，$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$
  • 性质：
    1. 自反性(等价关系)：$a\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
    2. 对称性：$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)⟹b\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
    3. 传递性：$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),b\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)⟹a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$
• 定理一：$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)⟺m\mid (a-b)$
• 定理二：若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),\alpha \equiv \beta (\mathrm{m}\mathrm{o}\mathrm{d}m)$，则有
  1. $ax+\alpha y\equiv bx+\beta y(\mathrm{m}\mathrm{o}\mathrm{d}m)$，其中 $x,y\in Z$
  2. $a\alpha \equiv b\beta (\mathrm{m}\mathrm{o}\mathrm{d}m)$
  3. $a^n\equiv b^n(\mathrm{m}\mathrm{o}\mathrm{d}m)$，其中 $n>0$
  4. $f(a)\equiv f(b)(\mathrm{m}\mathrm{o}\mathrm{d}m)$，其中 $f(x)\in Z[x],f(x)=\sum _{i=0}^l{a}_i{x}^i$（$f(x)$ 为给定的整系数多项式）
• 定理三：设 $c,m\in Z$，且 $ca\equiv cb(\mathrm{m}\mathrm{o}\mathrm{d}m)$，那么 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}\frac{m}{\gcd (c,m)})$
• 定理四：设 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i),i=1,2,...,n$，则 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}[m_1,...,m_n])$

2.2 剩余类和完全剩余系

• 定义：设 $m\in Z^{+}$，令 $0\le r\le m-1$， C r = { q m + r ∣ q ∈ Z } C_r=\{qm+r|q\in Z\} Cr​={qm+r∣q∈Z}，则称 $C_0，C_1,...,C_{m-1}$ 为模 $m$ 的剩余类。

  其中 $C_0，C_1,...,C_{m-1}$ 两两互不相交且 $Z=C_0\bigcup C_1\bigcup ...\bigcup C_{m-1}$

• 定理一：$x$ 与 $y$ 属于模 $m$ 的同一个剩余类 $⟺x\equiv y(\mathrm{m}\mathrm{o}\mathrm{d}m)$

• 定义：设 $x_i\in C_i,i=0,1,...,m-1$，则称 { x 0 , x 1 , . . . , x m − 1 } \{x_0,x_1,...,x_{m-1}\} {x0​,x1​,...,xm−1​} 为模 $m$ 的一组完全剩余系（完系）。称 { 0 , 1 , . . . , m − 1 } \{0,1,...,m-1\} {0,1,...,m−1} 为模 $m$ 的最小非负完全剩余系。

• 定理三：设 $(k,m)=1$，且 { x 1 , . . . , x m } \{x_1,...,x_m\} {x1​,...,xm​} 为模 $m$ 的完系，则
  { k x 1 , . . . , k x m } \color{red}\{kx_1,...,kx_m\} {kx1​,...,kxm​}
  也为模 $m$ 的一组完系。

• 定理四：设 $(m_1,m_2)=1$ 且 { x 1 , . . . , x m 1 } \{x_1,...,x_{m_1}\} {x1​,...,xm1​​} 为模 $m_1$ 的一组完系， { y 1 , . . . , y m 2 } \{y_1,...,y_{m_2}\} {y1​,...,ym2​​} 为模 $m_2$ 的一组完系，则
  { m 2 x i + m 1 y j } 1 ≤ i ≤ m 1 , 1 ≤ j ≤ m 2 \color{red}\{m_2x_i+m_1y_j\}_{1\le i\le m_1,1\le j\le m_2} {m2​xi​+m1​yj​}1≤i≤m1​,1≤j≤m2​​
  构成模 $m_1{m}_2$ 的一组完系。

• 定理五（乔拉定理 Chowla）：设 $n>2$ 并设 { a 1 , . . . , a n } \{a_1,...,a_{n}\} {a1​,...,an​} 和 { b 1 , . . . , b n } \{b_1,...,b_{n}\} {b1​,...,bn​} 为模 $n$ 的一组完系，则 { a 1 b 1 , . . . , a n b n } \color{red}\{a_1b_1,...,a_nb_n\} {a1​b1​,...,an​bn​} 不是模 $n$ 的一组完系。

• 定理六（威尔逊定理 Wilson）：设 $p$ 为素数，则
  $$\begin{gathered} (p-1)!+1\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p) \\ 即p\mid (p-1)!+1 \end{gathered}$$

2.3 缩系

• 定义：在每一个与 $m$ 互素的剩余类中取一个元素出来，所形成的集合称为模 $m$ 的简化剩余系或缩系。

• 定义：$\forall n\in Z^{+}$，令 φ ( n ) = # { k ∈ Z ∣ 1 ≤ k ≤ n , ( k , n ) = 1 } \varphi(n)=\#\{k\in Z|1\le k\le n,(k,n)=1 \} φ(n)=#{k∈Z∣1≤k≤n,(k,n)=1}

  • 若 $p$ 为素数，则 $\phi (p)=p-1$，$\phi (p^k)=(p-1)p^{k-1}=p^k-p^{k-1}$

• 定理一：模 $m$ 的缩系含有 $\phi (m)$ 个元素。

• 定理二：设 $a_1,...,a_{\phi (m)}$ 为 $\phi (m)$ 个均与 $m$ 互素的整数，则它们构成模 $m$ 的缩系 $⟺$ 它们关于模 $m$ 两两互不同余。

• 定理三：设 $(a,m)=1$，且 $x_1,...,x_{\phi (m)}$ 为模 $m$ 的一组缩系，则 $a{x}_1,...,a{x}_{\phi (m)}$ 也为模 $m$ 的缩系。

• 定理四（欧拉定理）：
  $$(a,m)=1⟺a^{\phi (m)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$$

• 定理五（费马定理）：$(a,p)=1⟺a^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$；进而 $\forall a\in Z$，有 $a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$

• 定理六：设 $(m_1,m_2)=1$，若 { x i } i = 1 φ ( m 1 ) \{x_i\}_{i=1}^{\varphi(m_1)} {xi​}i=1φ(m1​)​ 为模 $m_1$ 的一组缩系， { y i } i = 1 φ ( m 2 ) \{y_i\}_{i=1}^{\varphi(m_2)} {yi​}i=1φ(m2​)​ 为模 $m_2$ 的一组缩系，那么
  { m 2 x i + m 1 y j } 1 ≤ i ≤ φ ( m 1 ) 1 ≤ j ≤ φ ( m 2 ) \color{red} \left\{m_2x_i+m_1y_j\right \}_{1\le i\le \varphi(m_1)}^{1\le j\le \varphi(m_2) } {m2​xi​+m1​yj​}1≤i≤φ(m1​)1≤j≤φ(m2​)​
  构成模 $m_1{m}_2$ 的一组缩系。

  • 推论：设 $(m_1,m_2)=1$，则 $\phi (m_1)\phi (m_2)=\phi (m_1{m}_2)$

• 定理七：设 $n=p_1^{e_1}{p}_2^{e_2}...p_k^{e_k}$，则
  $$\phi (n)=n\left(1-\frac{1}{p_1}\right)...\left(1-\frac{1}{p_k}\right)$$

2.4 一次同余式

• 定义：设 $f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0$，其中 $n>0,a_i\in Z(i=0,1,...,n)$，设 $m>0$​，则
  $$f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)$$ 叫做模 $m$ 的同余式，若 $a_n\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $n$ 为次数。
  若存在 $x_0$ 满足 $f(x_0)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $x\equiv x_0(\mathrm{m}\mathrm{o}\mathrm{d}m)$ 叫做同余式的解。

• 定理一：设 $(a,m)=1,m>0$，则同余式
  $$ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)(1)$$
  恰有一个解。

• 定理二：设 $(a,m)=1,m>0$，则 $(1)$ 的唯一解为
  $$x\equiv b{a}^{\phi (m)-1}(\mathrm{m}\mathrm{o}\mathrm{d}m)$$

• 定理三：设 $(a,m)=d,m>0$，则 $(1)$ 有解 $⟺(a,m)\mid b$

• 定理四：若 $d\mid b$，则 $(1)$ 恰有 $d$ 个模 $m$ 的不同解。

• 定理五：设 $k\ge 1,a_i,b\in Z$，则

  1. 同余方程
     $$a_1{x}_1+a_2{x}_2+...+a_k{x}_k+b\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)(2)$$
     有解 $⟺d=(a_1,...,a_k,m)\mid b$

  2. 若 $d\mid b$，则 $(2)$ 恰有 $d\cdot m^{k-1}$ 个模 $m$ 的不同解。

2.5 模数是素数的同余式：$f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$

• 定理一（Lagrange 定理）：设 $p$ 为素数，
  $$\begin{gathered} f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0\in Z[x]为整系数多项式 \\ {a}_n\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p) \end{gathered}$$
  则 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 至多有 $n$ 个解。

• 定理二：设 $f(x)\in Z[x]$，若 $N(f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p))>\mathrm{deg}(f(x))$，则 $f(x)$ 的所有系数 $a_i\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$，即 $p\mid a_i(i=0,1,...,n)$

  $N(f(x)=0)$ 代表 $f(x)=0$ 的解的个数

• 定理三：设 $p$ 为素数，则多项式
  $$f(x)=(x-1)(x-2)...(x-p+1)-x^{p-1}+1$$
  的所有系数均被 $p$ 整除

• 定理四：设素数 $p\ge 5$，则有

  1. $$\sum _{k=1}^{p-1}\frac{(p-1)!}{k}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2)$$

  2. $$\sum _{k=1}^{p-1}{k}^{\ast }\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2),即\sum _{k=1}^{p-1}\frac{1}{k}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2)$$

     其中 $k^{\ast }\in Z$，使得 $k\cdot k^{\ast }\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2)$

  3. $$\frac{2p-1}{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p{)}^2$$

2.6 孙子剩余定理（中国剩余定理）及其应用

• 定理一：设 $m_1,m_2,...,m_k$ 是 $k$ 个两两互素的正整数，则任意 $b_1,b_2,...,b_k\in Z$，有同余式组
  $$\{\begin{array}{l}x\equiv b_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv b_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ...\\ x\equiv b_k(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)\end{array}(1)$$
  对于任意解 $x_0$，有
  $$x_0=\sum _{i=1}^k{M}_i{M}_i^{\prime }{b}_i(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
  其中 $m=m_1{m}_2...m_k$，$M_i=\frac{m}{m_i}$，$M_i{M}_i^{\prime }\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)(1\le i\le k)$

  • 广义中国剩余定理：同余式组 $(1)$ 有解 $\iff $ 对任意 $1\le i\le j\le k$ 均有 $b_i-b_j\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}(m_1,m_j))$，即 $(m_1,m_2)\mid b_i-b_j$

• 定理二：$\{\begin{array}{l}x\equiv b_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv b_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\end{array}$ 有解 $⟺(m_1,m_2)\mid (b_1-b_2)$

• 定理三：设 $m_1,m_2,...,m_k$ 是 $k$ 个两两互素的正整数，$f(x)\in Z[x]$，则

  1. 同余式
     $$f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)(1)$$
     有解 $⟺$ 对每个 $1\le i\le k$，同余式
     $$f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)(i=1,...,k)(2)$$
     均有解，其中 $m=m_1{m}_2...m_k$​

  2. 设 $T$ 表示 $(1)$ 的解数，$T_i$ 表示 $(2)$ 的解数，那么 $T=T_1{T}_2...T_k$，即
     $$N\left(f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}\prod _{i=1}^k{m}_i)\right)=\prod _{i=1}^{k}N\left(f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\right)$$

2.7 模数为素数幂的同余式

$$\begin{gathered} f(x)=a_n{x}^n+...+a_{1}x+a_0\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{\alpha }),(1) \\ n>0,p^{\alpha }\nmid a_n \end{gathered}$$

其中 $p$ 是素数，$\alpha \ge 1$

• 定理一：设 $p$ 为素数，且 $f(x)\in Z[x]$，若同余式 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 有解 $x_1$ 满足 $p\nmid f(x_1{)}^{\prime }$，那么对于 $\forall k\in Z,k\ge 1$，均存在 $x_k\in Z$，使得
  $$\begin{array}{rl}f(x_k)\equiv 0& (\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)\\ 其中x_k\equiv x_{k-1}& (\mathrm{m}\mathrm{o}\mathrm{d}{p}^{k-1})\end{array}$$

  • 推论：设 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 和 $f^{\prime }(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 无公解，则同余式 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{\alpha })$ 和同余式 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 的解数相同。

  $例题$：求同余式 $f(x)=x^3-4x^2+5x-6\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27)$ 的解。

  解：

  1. $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3),f^{\prime }(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)$ 无公解，

     故 $x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)$ 为 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)$ 的唯一解，则以 $x=3t_1$ 代入 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}9)$ 得
     $$f(0)+3t_1{f}^{\prime }(0)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}9)$$
     由于 $f(0)\equiv -6\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}9),f^{\prime }(0)\equiv 5(\mathrm{m}\mathrm{o}\mathrm{d}9)$，故
     $$\begin{gathered} 3+3t_1\cdot 5\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}9) \\ {t}_1\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3) \end{gathered}$$

  2. 此时 $t_1=1+3t_2$，

     故以 $x=3t_1=3+9t_2$ 为 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}9)$ 的唯一解，则以 $x=3+9t_2$ 代入 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27)$ 得
     $$f(3)+9t_2{f}^{\prime }(3)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27)$$
     由于 $f(3)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27),f^{\prime }(3)\equiv 8(\mathrm{m}\mathrm{o}\mathrm{d}27)$​，故
     $$\begin{gathered} 0+9t_2\cdot 8\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27) \\ {t}_2\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3) \end{gathered}$$

  3. 设 $t_2=3t_3$，

     故以 $x=3+9t_2=3+27t_3$ 为 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27)$ 的唯一解，

     则 $x\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}27)$ 为 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}27)$ 的唯一解。

• 定理二：高维情况

2.8 整数的剩余表示

• 定义：设 $m_i,m_j>0,(m_i,m_j)=1,0<i<j\le k$，一个整数 $x$ 对于模式 $m_i(1\le i\le k)$​ 的剩余表示指序列
  $$(<x{>}_{m_1},<x{>}_{m_2},...,<x{>}_{m_k})$$ 记作 $x\leftrightarrow (<x{>}_{m_1},<x{>}_{m_2},...,<x{>}_{m_k})$

2.9 逐步淘汰原则

• 定理一(逐步淘汰原则/容斥原理)：设 $S_1,...,S_n$ 为有限集 $S$ 的子集，则有
  $$\left|\bigcap _{i=1}^n\overline{S_i}\right|=\left|S\backslash \bigcup _{i=1}^n{S}_i\right|=|S|-\sum _{i=1}^n|S_i|+\sum _{1\le i<j\le n}\left|S_i\bigcap S_j\right|+...+(-1{)}^n\left|S_1\bigcap ...\bigcap S_n\right|$$

  • 应用一：对于欧拉函数，有
    $$\phi (n)=n\prod _{p\mid n}\left(1-\frac{1}{p}\right)$$

• 定理二：设 $n>1,d\ge 1,r\in Z$，且 $(r,d)=1,d\mid n$，那么集合 S = { r + d , r + 2 d , . . , r + n d ⋅ d } \color{red}S=\{r+d,r+2d,..,r+\frac{n}{d}\cdot d \} S={r+d,r+2d,..,r+dn​⋅d} 中与 $n$ 互素的元素个数为 $$\frac{\phi (n)}{\phi (d)}$$

2.10 Wolstenholme定理的推广

• 定理一(Chowla定理)：设 $n>1$，$(n,6)=1$，则
  $$\sum _{m=1,(m,n)=1}^n\frac{1}{m}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{n}^2)$$
  • 引理一：设 $n>1$，$1\le m\le n-1$，$(m,n)=1$，则
    $$\frac{1}{m}+\frac{1}{n-m}\equiv \frac{n}{m(n-m)}(\mathrm{m}\mathrm{o}\mathrm{d}{n}^2)$$ 且
    $$\frac{1}{m^2}+\frac{1}{m(n-m)}\equiv \frac{n}{m^2(n-m)}(\mathrm{m}\mathrm{o}\mathrm{d}{n}^2)$$
  • 引理二：设 $n>1$，$(n,6)=1$，则存在 $a\in Z$，$(a,n)=1$，且对于任意素数 $p$，满足 $p\mid n$，均有
    $$a^2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

    可推出 $a^2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

2.11 覆盖同余式组

• 定义：对于同余式组
  $$\{\begin{array}{l}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{n}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{n}_2)\\ ...\\ x\equiv a_k(\mathrm{m}\mathrm{o}\mathrm{d}{n}_k)\end{array}(1)$$

  • 若其中 $1<n_1<n_2<...<n_k$，$0\le a_i<n_i(1\le i\le k)$。若对于任意 $x\in Z$，$x$ 至少满足其中的一个，则称 $(1)$ 为一组覆盖同余式组
  • 若其中 $1<n_1\le n_2\le ...\le n_k$，$0\le a_i<n_i(1\le i\le k)$。若每个 $x\in Z$，$x$ 满足其中一个且仅一个同余式，则称 $(1)$ 为一组不相交的覆盖同余式组

• 定理一：若 $(1)$ 为覆盖同余式组，则有
  $$\sum _{j=1}^k\frac{1}{n_j}>1$$

• 定理二：若 $(1)$ 为不相交的覆盖同余式组，则有

  1. $\sum _{i=1}^k\frac{1}{n_i}=1$
  2. $(n_i,n_j)\ne 1,1\le i<j\le k$
  3. 不可能有 $1<n_1<n_2<...<n_k$