论拓展中国剩余定理

Expended Chinese remainder theorem

中国剩余定理：

当$\forall i \in \{1,2,..n\} \rightarrow p_i$是质数，有：

$$x \equiv a_1 \mod p_1$$

$$x \equiv a_2 \mod p_2$$

…

$$x \equiv a_n \mod p_n$$

等价于

$$x \equiv a_1\cdot M_1 \cdot M_1^{-1} +a_2 \cdot M_2 \cdot M_2^{-1} + ... + a_n \cdot M_n \cdot M_n^{-1} \mod M$$

其中：

$$M = p_1\cdot p_2 \cdot...\cdot p_n$$

$$M_i = M / p_i$$

$$M_i^{-1} \cdot M_i\equiv 0 \mod p_i$$
在此不对中国剩余定理进行证明，因为证明很显然。

拓展中国剩余定理：

对于任意的整数$p_1$和$p_2$，有：

$$x \equiv a_1 \mod p_1$$

$$x \equiv a_2 \mod p_2$$

在有解的情况下等价于：

$$x \equiv a_1 + p_1 \cdot \frac{a_2-a_1}{d} \cdot Inv(\frac{p_1}{d},\frac{p_2}{d}) \mod \frac{p_1\cdot p_2}{d}$$

其中：

$$d=gcd(p_1,p_2)$$

$Inv(a,b)$表示在模b意义下a的逆元。

证明这个定理：

$x \equiv a_1 \mod p_1$等价于$x = a_1 + p_1 \cdot k_1$（口头上可以这样说：$x$能表示成 $a_1$加$k_1$倍$p_1$的形式。）

$x \equiv a_2 \mod p_2$等价于$x = a_2 + p_2 \cdot k_2$（口头上可以这样说：$x$能表示成 $a_2$加$k_2$倍$p_2$的形式。）

（上式中的$k_1,k_2$均为整数）

那么我们就有对于所有可行的$k_1,k_2$，满足：$a_1+p_1\cdot k_1=a_2+p_2\cdot k_2$。

变化一下形式：$p_1\cdot k_1=(a_2-a_1) + p_2\cdot k_2$

令$gcd(p_1,p_2)=d$，说明$d|(a_2-a_1)$。（$p_1\cdot k_1 -p_2\cdot k_2=(a_2-a_1)$，所以$(a_2-a_1)$一定是d的倍数。）

这个时候，如果$d \nmid (a_2-a_1)$说明该方程组无解，否则有解。

把d这个因此除掉:$\frac{p_1}{d} \cdot k_1 \equiv \frac{a_2-a_1}{d} +\frac{p_2}{d} \cdot k_2$

这个式子还能说明：$\frac{p_1}{d} \cdot k_1 \equiv \frac{a_2-a_1}{d} \mod \frac{p_2}{d}$

两边同时乘以$(\frac{p_1}{d})^{-1}$:

$k_1 \equiv \frac{a_2-a_1}{d} \cdot (\frac{p_1}{d})^{-1} \mod \frac{p_2}{d}$

即$k_1 = \frac{a_2-a_1}{d} \cdot Inv(\frac{p_1}{d},\frac{p_2}{d}) + t \cdot \frac{p_2}{d}$，现在我们可以把$k_1$带回原式了。

$x = a_1 + (\frac{a_2-a_1}{d} \cdot Inv(\frac{p_1}{d},\frac{p_2}{d}) + t \cdot \frac{p_2}{d}) \cdot p_1 = a_1 + p_1 \cdot \frac{a_2-a_1}{d} \cdot Inv(\frac{p_1}{d},\frac{p_2}{d})+\frac{p_1\cdot p_2}{d}\cdot t$

所以：

$x= a_1 + p_1 \cdot \frac{a_2-a_1}{d} \cdot Inv(\frac{p_1}{d},\frac{p_2}{d}) \mod \frac{p_1\cdot p_2}{d}$

得证。

主要思想：

证明的正确性仍然是依照中国剩余定理，证明的思路就是把参数$k_1$用含有常数的模方程表示出来，然后再带回原式。