线性同余方程组

$\begin{cases} x_1\equiv r_1(\%m_1)\\ x_2\equiv r_2(\%m_2)\\ \cdots\\ x_i\equiv r_i(\%m_i)\\ \cdots\\ x_n\equiv r_n(\%m_n)\\ \end{cases}$

考虑其中任意2个方程: $\begin{cases}x_i\equiv r_i(\%m_i)\\ x_j\equiv r_j(\%m_j) \end{cases}$

等价于: $\begin{cases}x_i=m_i\cdot k_i+r_i\\ x_j=m_j\cdot k_j+r_j \end{cases}$

假设$x$同时满足上述2个方程

那么: $x=m_i\cdot k_i+r_i=m_j\cdot k_j+r_j$

得: $m_i\cdot k_i-m_j\cdot k_j=r_j-r_i$

即: $m_i\cdot k_i \equiv r_j-r_i(\%m_j)$

若: $(r_j-r_i)\%gcd(m_i,m_j)\neq0$则无解

通过拓展欧几里得解得: $k_i\in[0,\frac{m_j}{gcd(m_i,m_j)})$

得: $x=m_i\cdot k_i+r_i+lcm(m_i,m_j)\cdot k$

即: $x\equiv m_i\cdot k_i+r_i\big(\%lcm(m_i,m_j)\big)$