中国剩余定理
贡献者： int256
定理 1 中国剩余定理
假设一组整数 $m_1, m_2, \dots, m_k$ 两两互素，则对于任意的一组整数 $a_1, a_2, \dots, a_k$，关于 $x$ 的同余方程组
\begin{equation}\left\{
\begin{aligned}
x &\equiv a_1 \pmod{m_1} \\
x &\equiv a_2 \pmod{m_2} \\
\dots \\
x &\equiv a_k \pmod{m_k}
\end{aligned}\right. ~~
\end{equation}
在模 $m_1m_2\dots m_k$ 意义下有解且仅有一组同余解.
证明：设 $M = \prod_i m_i$，而令 $M_l = M / m_l$。由于 $m_i$ 间两两互素，故 $M_l$ 与 $m_l$ 互素，也就是 $(M_l, m_l) = 1$，利用定理 5 ，关于 $N_l$ 的同余方程
\begin{equation}
N_l M_l \equiv 1 \pmod{m_l} ~~
\end{equation}
将有且仅有一组同余意义下的解。利用各 $N_l$ 与 $M_l$ 可以构造出模 $M$ 意义下的解，具体的，
\begin{equation}
x \equiv \sum_{i=1}^k a_i \times M_i \times N_i \pmod{M} ~.
\end{equation}
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。