信息安全数学基础——中国剩余定理

---

  中国剩余定理（CRT），又称孙子定理，最早见于公元5-6世纪，我国南北朝的一部经典数学著作《孙子算经》中的“物不知数”问题：
  “今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？”
  这其实是求解一个一次同余方程组，即
$$\{\begin{array}{l}x\equiv 2mod3\\ x\equiv 3mod5\\ x\equiv 2mod7\end{array}$$
  令$x=A+B+C$，若$A$，$B$，$C$满足以下条件，则为解。这里$[a{]}_m$表示模$m$与$a$同余。
$$\begin{array}{c}A=[2{]}_3,B=[0{]}_3,C=[0{]}_3\\ A=[0{]}_5,B=[3{]}_5,C=[0{]}_5\\ A=[0{]}_7,B=[0{]}_7,C=[2{]}_2\end{array}$$
  看最左边一列，$A$为$5\times 7$的倍数，且模$3$余$2$，这样$A$就比较容易求解了。$A$可以用以下方法计算。
  $A=(5\times 7)(5\times 7{)}^{-1}\times 2$。因为这个表达式中有$(5\times 7)$，因此是$5$和$7$的倍数。同时这个表达式模$3$余$2$。原因是：$(5\times 7)=35$，$(5\times 7{)}^{-1}$表示$(5\times 7)$模$3$的逆元，$35$模$3$的逆元是$2$，两者相乘必然模$3$余$1$。因此，再乘以$2$后必然模$3$余$2$。即$A=35\times 2\times 2=140$模$3$余$2$，且为$5$和$7$的倍数。
  同理，$B$为$3\times 7$的倍数，且模$5$余$3$，于是，可以用以下方法计算：$B=(3\times 7)(3\times 7{)}^{-1}\times 3$，这里$(3\times 7{)}^{-1}$表示$(3\times 7)$模$5$的逆元。$3\times 7=21$，$21$模$5$的逆元是$1$。因此，$B=21\times 1\times 3=63$。
  同理，$C$为$3\times 5$的倍数，且模$7$余$2$，于是，可以用以下方法计算：$C=(3\times 5)(3\times 5{)}^{-1}\times 2$，这里$(3\times 5{)}^{-1}$表示$(3\times 5)$模$7$的逆元。$3\times 5=15$，$15$模$7$的逆元是$1$。因此，$C=15\times 1\times 2=30$。
  于是$x=A+B+C=140+63+30=233$，又$233mod105=23$。因此，所有解为$105K+23$。
  一般地，如果$m_1$，$m_2$，$m_3$是两两互素的正整数，对于同余方程组
$$\{\begin{array}{l}x\equiv a_{1}mod{m}_1\\ x\equiv a_{2}mod{m}_2\\ x\equiv a_{3}mod{m}_3\end{array}$$
令$m={\prod }_{i=1}^3{m}_i$，$M_i=m/m_i$，则解为
$$x=\sum _{i=1}^3{M}_i{M}_i^{-1}{a}_i(modm)$$

定理3.3（中国剩余定理）

  设$m_1$，$m_2$，$\dots$，$m_k$是$k$个两两互素的正整数，令$m={\prod }_{i=1}^k{m}_i$，$M_i=m/m_i(i=1,2,\dots ,k)$，则对任意的整数$a_1$，$a_2$，$\dots$，$a_k$，同余式组
$$\{\begin{array}{l}x\equiv a_{1}mod{m}_1\\ x\equiv a_{2}mod{m}_2\\ ⋮\\ x\equiv a_{k}mod{m}_k\end{array}$$
有唯一解，即
$$x\equiv \sum _{i=1}^k{M}_i{M}_i^{-1}{a}_i(modm)$$
其中：
$$M_i{M}_i^{-1}\equiv 1(mod{m}_i)$$

证明：

  由于$(m_i,m_j)=1,i\ne j$，即得$(M_i,m_i)=1$，由定义2.3和定理2.8知，对每一个$M_i$，有一个$M_i^{-1}$存在，使得$M_i{M}_i^{-1}\equiv 1(mod{m}_i)$。另外，由于$m=m_i{M}_i$，因此$m_j|Mi,i\ne j$，故
$$\sum _{i=1}^k{M}_{i}M{i}^{-1}{a}_i\equiv M_i{M}_i^{-1}{a}_i\equiv a_i(mod{m}_i)i=1,2,\dots ,k$$
  若$x_1$，$x_2$是满足同余式组的任意两个解，则$x_1\equiv x_2(mod{m}_i)(i=1,2,\dots ,k)$，因为$(m_i,m_j)=1,i\ne j$，于是$x_1\equiv x_2(modm)$，所以同余式组的解唯一。

---

总结

  本文主要介绍了中国剩余定理及其证明方法。