中国剩余定理

求同余线性方程组
$X≡a_1(mod \ m_1)$
$X≡a_2(mod \ m_2)$
$\cdots\cdots$
$X≡a_k(mod \ m_k)$
的解。
令$M=\prod_{i=1}^km_i$，若$m_1,m_2...m_k$两两互质，则同余方程组在$[0,M)$有唯一解。该解可以以如下方法构造。
令

$$M_i=M/m_i(i∈[1,k])$$
因为 $(M_i,m_i)=1$，根据裴蜀定理，有二整数 $p_i,q_i$满足 $$M_ip_i+m_iq_i=1$$
所以 $M_ip_i≡1(mod\ m_i)$， $p_i$就是 $M_i$在模 $m_i$的意义下的逆元。
若 $a≡a',b≡b'(mod\ c)$，有 $a+b≡a'+b',ab≡a'b'(mod$ $c)$
所以 $$a_iM_ip_i≡a_i*1≡a_i(mod\ m_i)$$
对于 $j\in [1,k],j\neq i$，因为 $m_i|M_j$，所以也有 $$a_jM_jp_j≡0(mod\ m_i)$$
结合起来有 $$\sum_{i=1}^ka_iM_ip_i=a_iM_ip_i+\sum_{j≠i}a_jM_jp_j≡a_i+0≡a_i(mod\ m_i)$$
这就说明 $X=\sum_{i=1}^ka_iM_ip_i$就是一个解。而多个解之间必然相差 $M$的整数倍，所以在$[0,M)$有唯一解。