中国剩余定理

定义

给出一个线性同余方程组：\(\begin{cases}x\equiv a_1\pmod{m_1}\\x\equiv a_2\pmod{m_2}\\ \ldots \\x\equiv a_n\pmod{m_n}\end{cases}\)，其中\(m_i\)两两互质，中国剩余定理用于求这样的方程组的解。