中国剩余定理

简介

• $\text{Chinese remainder theorem(CRT)}$，中国古代求解一次同余式组的方法。
  是数论中一个重要定理，又称孙子定理。

公式

• 如果有一个一元线性同余方程组 $(S):\{\begin{array}{l}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ⋮\\ x\equiv a_n(\mathrm{m}\mathrm{o}\mathrm{d}{m}_n)\end{array}$
  用现代数学的语言来说明的话，中国剩余定理给出了 $(S)$ 有解的判定条件，并用构造法给出了在有解情况下解的具体形式。

• 说明：
  如果整数 $m_1,m_2,\dots ,m_n$ 两两互质，则对任意的整数 $a_1,a_2,\dots ,a_n$ ，方程组有解，并且通解可以用如下方式构造得到：

  • 设 $M=m_1\times m_2\times \cdots \times m_n=\prod _{i=1}^n{m}_i$，即为整数 $m_1,m_2,\dots ,m_n$ 的乘积；
  • 设 M i = M m i , ∀ i ∈ { 1 , 2 , … , n } M_i=\dfrac M{m_i},\forall i\in\{1,2,\dots,n\} Mi​=mi​M​,∀i∈{1,2,…,n}，是除了 $m_i$ 之外的 $n-1$ 个整数的乘积；
  • 设 $t_i$ 为 $M_i$ 膜 $m_i$意义下的逆元，即 M i t i ≡ 1 ( m o d m i ) , ∀ i ∈ { 1 , 2 , … , n } M_it_i\equiv1\pmod{m_i},\forall i\in\{1,2,\dots,n\} Mi​ti​≡1(modmi​),∀i∈{1,2,…,n}
  • 方程组 $(S)$ 的通解形式为：
    $x=a_1{t}_1{M}_1+a_2{t}_2{M}_2+\cdots +a_n{t}_n{m}_n+kM=\sum _{i=1}^n{a}_i{t}_i{M}_i+kM,k\in \mathbb{Z}$
    在膜 $M$ 的意义下，方程组 $(S)$ 只有一个解： $x\equiv \sum _{i=1}^n{a}_i{t}_i{M}_i(\mathrm{m}\mathrm{o}\mathrm{d}M)$

证明

从假设可知，对于 ∀ i ∈ { 1 , 2 , ⋯   , n } ∀i∈\{1,2,\cdots,n\} ∀i∈{1,2,⋯,n} ，由于 ∀ j ∈ { 1 , 2 , ⋯   , n } , j ≠ i , gcd ( m i , m j ) = 1 ∀j∈\{1,2,\cdots,n\},j\ne i,\text{gcd}(m_i,m_j)=1 ∀j∈{1,2,⋯,n},j̸​=i,gcd(mi​,mj​)=1，所以 $\text{gcd}(m_i,M_i)=1$ 。
这说明存在整数 $t_i$ 使 $t_i{M}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$ 。
$\therefore a_i{t}_i{M}_i\equiv a_i\cdot 1\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$，
∀ j ∈ { 1 , 2 , ⋯   , n } , j ≠ i , a i t i M i ≡ 0 ( m o d m j ) \quad ∀j∈\{1,2,\cdots,n\},j≠i,a_it_iM_i\equiv 0\pmod{m_j} ∀j∈{1,2,⋯,n},j̸​=i,ai​ti​Mi​≡0(modmj​)
$\therefore x=\sum _{i=1}^n{a}_i{t}_i{M}_i$时
∀ i ∈ { 1 , 2 , ⋯   , n } , \quad∀i∈\{1,2,\cdots,n\}, ∀i∈{1,2,⋯,n},
$\begin{array}{rl}x& =a_i{t}_i{M}_i+\sum _{j̸=i}{a}_j{t}_j{M}_j\\ & \equiv a_i{t}_i{M}_i+\sum _{j̸=i}0\\ & \equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\end{array}$
这说明 $x$ 就是方程组 $(S)$ 的一个解。

假设 $x_1,x_2$ 都是方程组 $(S)$ 的解
易知 ∀ i ∈ { 1 , 2 , ⋯   , n } , x 1 − x 2 ≡ 0 ( m o d m i ) ∀i∈\{1,2,\cdots,n\},x_1-x_2\equiv 0 \pmod{m_i} ∀i∈{1,2,⋯,n},x1​−x2​≡0(modmi​)
$\because m_1,m_2,\dots ,m_n$ 两两互质
$\therefore M=\prod _{i=1}^n{m}_i$ 整除 $x_1-x_2$
$\therefore$ 方程组 $(S)$ 的任意两个解都相差 $M$ 的整数倍
又 $\because x=\sum _{i=1}^n{a}_i{t}_i{M}_i$ 是一个解
$\therefore$ 方程组 $(S)$ 所有的解的集合就是：
{ k M + ∑ i = 1 n a i t i M i ; k ∈ Z } \quad \{kM+\sum\limits_{i=1}^na_it_iM_i; \quad k∈\Z\} {kM+i=1∑n​ai​ti​Mi​;k∈Z}

---

下一篇：拓展中国剩余定理