中国剩余定理(CRT)

中国剩余定理，是用来求形以下面这样的同余方程组的 最小正整数解 的：

\[\left\{ \begin{array}{ll} x \equiv a_1 \pmod{m_1} \\ x \equiv a_2 \pmod{m_2} \\ \cdots \\ x \equiv a_n \pmod{m_n} \\ \end{array} \right. \]

其中，\(m_1,m_2,\cdots,m_n\) 两两互质。

出处

这玩意本来出自《孙子算经》卷下第二十六题：“有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二。问物几何？”

解法

咱们设

\[M = \prod\limits_{i=1}^n m_i,M_i = \frac{M}{m_i} \]

而后，设 \(t_i\) 是 \(M_i\) 在模 \(m_i\) 意义下的逆元，即 \(M_i t_i \equiv 1 \pmod{m_i}\)。
对于上面的 \(i\)，\(1 \le i \le n\)。
而后，咱们就能够构造出任意解

\[x_0 = \sum\limits_{i=1}^n a_i M_i t_i \]

最小正整数解就是

\[x_{min} = x_0 \bmod M \]

证实

这玩意的证实其实挺简单的……
首先，对于任意一个 \(j\)(\(1 \le j \le n\) 且 \(j \not= i\))

\[a_j M_j t_j \equiv 0 \pmod{m_i} \]

这是显然的，由于\(m_i\) 是 \(M_j\) 的因数。
而后，有

\[a_i M_i t_i \equiv a_i \pmod{m_i} \]

这也很明显……由于 \(M_i t_i \equiv 1 \pmod(m_i)\) 嘛。
因而，咱们把全部的 \(a_i M_i t_i\) 加起来，也就是 \(x_0\)，再结合上面的两个结论，就能够获得

\[x_0 \equiv a_i \pmod{m_i} \]

符合题意。