中国剩余定理（CRT）

CRT

$$\begin{gathered} x\equiv a_1(mod{m}_1) \\ x\equiv a_2(mod{m}_2) \\ x\equiv a_3(mod{m}_4) \\ . \\ . \\ . \\ x\equiv a_n(mod{m}_n) \end{gathered}$$
若$m_i,m_j,i\in [1,n],j\in [1,n],m_i,m_j两两互质$求x为多少？

结论：$x={\sum }_{i=1}^n{a}_i{M}_i{t}_i$。

首先我们要引入三种变量$M,M_i,t_i$。

$M={\prod }_{i=1}^n{m}_i$;

$M_i=\frac{M}{m_i}$;

$t_i=M_i^{-1}$为$M_{i}mod{m}_i$的逆元：

$M_i{t}_i\equiv 1(mod{m}_i)$;

而这三个变量是我们得以证明CRT的关键。

证明

$\because M_i=\frac{M}{m_i}$，$M_i$是除$m_i$以外其他所有模数的倍数。(1)

由(1)得:
$\therefore \forall k\ne i,a_i{M}_i{t}_i\equiv 0(mod{m}_k)$(2)

$\therefore a_i{M}_i{t}_i\equiv a_i(mod{m}_i)$(3)
{
$\because (a\ast b)modm=(amodm\ast bmodm)modm$
$\therefore M_i{t}_i\equiv 1(mod{m}_i)$
$\therefore a_{i}mod{m}_i\ast M_i\ast t_{i}mod{m}_i=a_{i}mod{m}_i\ast 1$
}

$\because (a+b)modp=amodp+bmodp$;然后我们将$x={\sum }_{i=1}^n{a}_i{M}_i{t}_i$代入其中一个式子：
例如：
$x\equiv a_1(mod{m}_1)$

$={\sum }_{i=1}^n{a}_i{M}_i{t}_i\equiv a_i(mod{m}_i)$

$=a_1{t}_1{M}_{1}mod{m}_1+a_2{t}_2{M}_{2}mod{m}_1+...+a_n{t}_n{M}_{n}mod{m}_1$

然而除了第一项以外，其余项全为0，而$a_1{t}_1{M}_{1}mod{m}_1=a_{1}mod{m}_1$符合条件。

带入其他式子同理；证毕。