同余方程组有解的充要条件

• 命题：同余方程组 $\{\begin{array}{l}x\equiv a_1(mod{m}_1)\\ x\equiv a_2(mod{m}_2)\end{array}$
  有解当且仅当$(m_1,m_2)|(a_1-a_2)$。并证明若有解，该解模$([m_1,m_2])$是唯一的。
  （选自《信息安全数学基础（第二版）第3章习题》）

方法一

本题可以分解为以下三个命题的证明：

1. 必要性：该同余方程组有解 $\Rightarrow (m_1,m_2)|(a_1-a_2)$。
2. 充分性：$(m_1,m_2)|(a_1-a_2)\Rightarrow$ 该同余方程组有解。
3. 若该同余方程组有解，则该解模$([m_1,m_2])$是唯一的。

$$\begin{gathered} 证明： \\ （1）已知原同余方程组有解，那么\exists q_1,q_2满足a_1+m_1{q}_1=a_2+m_2{q}_2， \\ 即m_2{q}_2-m_1{q}_1=a_2-a_1\Rightarrow (m_1,m_2)|(a_1-a_2)，必要性成立。 \\ （2）因为(m_1,m_2)|(a_1-a_2)，所以\exists k,s,t，满足a_1-a_2=ks{m}_1+kt{m}_2。 \\ 取x_0=a_1-ks{m}_1=a_2+kt{m}_2，代入原同余方程组验证成立， \\ 所以x_0即为该同余方程组的解，充分性成立。 \\ （3）对于该同余方程组的任意解x_1,x_2，都有x_1\equiv x_2(mod{m}_1),x_1\equiv x_2(mod{m}_2)， \\ 所以有x_1\equiv x_2(mod[m_1,m_2])，即x_1与x_2模[m_1,m_2]同余。 \\ 因此该同余方程的解模([m_1,m_2])是唯一的。 \end{gathered}$$
 

方法二

我们先来看一个引理。

• 引理：二元一次不定方程$ax+by=c$有整数解的充要条件是$(a,b)|c$。
  $$\begin{gathered} 证明： \\ （1）必要性：设方程有整数解x_0，y_0，则有a{x}_0+b{y}_0=c。 \\ 因为(a,b)|a,(a,b)|b，所以(a,b)|(a{x}_0+b{y}_0)，即(a,b)|c。 \\ （2）充分性：设(a,b)|c，则c=k(a,b),k\in \mathbb{Z}。 \\ 存在整数s,t，使得as+bt=(a,b)。 \\ 令x_0=ks,y_0=kt，则x_0,y_0即为方程的解。 \\ 证毕。 \end{gathered}$$

• 下面我们回到命题的证明：
  $$\begin{gathered} 因为 \\ x\equiv a_1(mod{m}_1)\iff \exists q_1\in \mathbb{Z},使得x=a_1+m_1{q}_1. \\ x\equiv a_2(mod{m}_2)\iff \exists q_2\in \mathbb{Z},使得x=a_2+m_2{q}_2. \\ 所以该同余方程组有解的等价命题为： \\ 关于q_1,q_2的二元一次不定方程a_1+m_1{q}_1=a_2+m_2{q}_2，即m_2{q}_2-m_1{q}_1=a_1{a}_2有整数解。 \\ 由引理可知m_2{q}_2-m_1{q}_1=a_1{a}_2有整数解的充要条件为 \\ (-m_1,m_2)|(a_1-a_2)，即(m_1,m_2)|(a_1-a_2)。 \\ 所以同余方程组\{\begin{array}{l}x\equiv a_1(mod{m}_1)\\ x\equiv a_2(mod{m}_2)\end{array}有解当且仅当(m_1,m_2)|(a_1-a_2)。 \\ 对于该同余方程组的任意解x_1,x_2，都有x1\equiv x_2(mod{m}_1),x_1\equiv x_2(mod{m}_2)， \\ 所以有x1\equiv x2(mod[m_1,m_2])，即x_1与x_2模[m_1,m_2]同余。 \\ 因此该同余方程的解模([m_1,m_2])是唯一的。 \end{gathered}$$