孙子定理与首一一元一次同余式组（模数两两互素的情况）

前言

  对于非首一同余式组
$$a_{i}x\equiv c_i\mathrm{m}\mathrm{o}\mathrm{d}{m}_i,i=1,2,\cdots ,k$$
$\forall i,a_{i}x\equiv c_i\mathrm{m}\mathrm{o}\mathrm{d}{m}_i$若有解，由博文《初等数论 课堂笔记 第四章 – 一次同余式》中的第一个定理，解一定具有形式
$$x\equiv b_i\mathrm{m}\mathrm{o}\mathrm{d}{m}_i$$
于是我们就把$a_{i}x\equiv c_i$化简成等价的$x\equiv b_i$。所以非首一同余式组若有解，则一定可以化为首一同余式组。
  于是我们只需要研究首一同余式组即可。

孙子定理（中国剩余定理）

  设$b_1,\cdots ,b_k\in \mathbb{Z},m_1,\cdots ,m_k\in {\mathbb{Z}}_{>0}$，$m_1,\cdots ,m_k$两两互素，令$m=\prod _{i=1}^k{m}_i$，$m=m_i{M}_i,i=1,2,\cdots ,k$，则同余式组
$$\{\begin{array}{rl}& 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}$$
的解$x$可以被唯一地表达为以下形式
$$x\equiv {M_1}^{\prime }{M}_1{b}_1+{M_2}^{\prime }{M}_2{b}_2+\cdots +{M_k}^{\prime }{M}_k{b}_k\mathrm{m}\mathrm{o}\mathrm{d}m$$
其中${M_i}^{\prime }{M}_i\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}{m}_i,i=1,2,\cdots ,k$。
证明

1. 首先证明$x\equiv \sum _{i=1}^k{M_i}^{\prime }{M}_i{b}_i\mathrm{m}\mathrm{o}\mathrm{d}m$确实是同余式组的解。
   $$\begin{array}{rl}& m=\prod _{i=1}^k{m}_i=m_i{M}_i\Rightarrow \forall i\forall j,j\ne i,m_i|M_j\\ & \Rightarrow x\equiv \sum _{i=1}^k{M_i}^{\prime }{M}_i{b}_i\equiv {M_i}^{\prime }{M}_i{b}_i=\left({M_i}^{\prime }{M}_i\right)b_i\equiv 1\times b_i=b_i\mathrm{m}\mathrm{o}\mathrm{d}{m}_i,\forall i\end{array}$$

2. 其次证明同余式组的任意解可以表达成上述形式。
   设$x,x^{\prime }$是同余式组的任意两个解，则有
   $$\begin{array}{rl}& x\equiv x^{\prime }\mathrm{m}\mathrm{o}\mathrm{d}{m}_i,\forall i\\ & \Rightarrow x\equiv x^{\prime }\mathrm{m}\mathrm{o}\mathrm{d}lcm\left(m_1,m_2,\cdots ,m_k\right)\end{array}$$
   又$m_1,m_2,\cdots ,m_k$两两互素，有
   $$lcm\left(m_1,m_2,\cdots ,m_k\right)=\prod _{i=1}^k{m}_i=m$$
   因此有
   $$x\equiv x^{\prime }\mathrm{m}\mathrm{o}\mathrm{d}m$$
   取$x^{\prime }=\sum _{i=1}^k{M_i}^{\prime }{M}_i{b}_i$，即有
   $$x\equiv \sum _{i=1}^k{M}_i{M}_i{b}_i\mathrm{m}\mathrm{o}\mathrm{d}m$$
   即同余式组的任意解$x$都可以表达成上述形式。
   
   

例题

1. 今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？
   解
     问题等价于求解同余式
   $$\{\begin{array}{rl}& x\equiv 2\mathrm{m}\mathrm{o}\mathrm{d}3\\ & x\equiv 3\mathrm{m}\mathrm{o}\mathrm{d}5\\ & x\equiv 2\mathrm{m}\mathrm{o}\mathrm{d}7\end{array}$$
   有$3,5,7$两两互素，且
   $$M_1=5\times 7=35,M_2=3\times 7=21,M_3=3\times 5=15,m=3\times 5\times 7=105$$
   $$\begin{array}{rl}& 35{M_1}^{\prime }\equiv \left(35-3\times 12\right){M_1}^{\prime }\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}3\\ & \iff -{M_1}^{\prime }\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}3\\ & \iff {M_1}^{\prime }\equiv -1\equiv 2\mathrm{m}\mathrm{o}\mathrm{d}3\end{array}$$
   $$\begin{array}{c}\begin{array}{rl}& 21{M_2}^{\prime }\equiv \left(21-5\times 4\right){M_2}^{\prime }\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}5\\ & \iff {M_2}^{\prime }\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}5\end{array}\end{array}$$