中国剩余定理：从构造特解到找出通解

曾以为中国剩余定理不在我所能理解的范围之内，起码，不在我能证明的范围之内——因为描述它的这堆符号的缘故。如果你也觉得这个定理的描述用到了许多高端的符号，请阅读本文。

听说别的学校的同学已经能用中国剩余定理A题了。放在以前，我可以想，毕竟，他们比我高一个年级。今天，我正想这样想，发现自己已经是高二选手啦！恰逢今天下午去数学竞赛那里蹭了半节课，虽然老师讲得有些无聊，提前一小时回家了，但我觉得今天是个适合搞数学的日子。计划中该写作业来着……

问题

解线性方程组，其中$m_1, m_2, \ldots, m_n$两两互质。

$$x \equiv a_1 \pmod {m_1}\\ x \equiv a_2 \pmod {m_2}\\ \cdots\\ x \equiv a_n \pmod {m_n}$$

构造一个特解

设$x=12a+34b$，则$x \equiv 12a \pmod {34}$，$x \equiv 34b \pmod {12}$。这个事实启发我们把解写成和的形式

x=k1a1+k2a2+⋯+kn