线性同余定理（数论日常2）

线性同余定理

简单来说就是解决同余式。$$ax\equiv cmodm$$

设$a$ , $c$ 与 $m$ 都是整数，$m\ge 1$ ，且设$g=gcd(a,m)$

(1) 若$g$ 不整除 $c$，则同余式$ax\equiv c(modm)$没有解。
(2) 若$g|c$,则同余式$ax\equiv cmodm$恰好有$g$个不同的解。

首先根据欧几里得算法可以求出线性方程$au+mv=g$的一个解$(u,v)$。则$x_0=\frac{cu}{g}$是$ax\equiv cmodm$的一个特殊解，其余解为$$x\equiv x_0+k\ast \frac{m}{g}(modm),k=0,1,...,g-1$$

举例

1.$943x\equiv 381(mod2576)$

因为$gcd(943,2576)=23$不整除$381$，所以该同余式无解。

2.$893x\equiv 266(mod2432)$
因为$gcd(893,2432)=19$整除$266$，所以该同余式的解有19个。
首先，我们解方程$$893u+2432v=19$$
得到$(u,v)=(79,29)$

则特殊解为$x_0=\frac{cu}{g}=1106$

其余解$x\equiv x_0+k\ast \frac{m}{g}(modm)$，即

$(1234,1362,1490,1618,1746,1874,2002,2130,2258,$

$2386,82,210,338,466,594,722,850,978)$

推导过程

由同余式$ax\equiv cmodm$可推出：$$ax-my=c$$
我们的任务就是求出这个线性方程。

首先，设$g=gcd(a,m)$，则根据裴蜀定理可知:
$$au-mv=g$$因此如果$g$不整除$c$，则该方程无解。

下面假设$g|c$，则我们可以利用欧几里得算法求解$(u_0,v_0)$
由于$g|c$，则可以用$\frac{c}{g}$同乘式子两边，得到：
$$a\frac{c{u}_0}{g}+m\frac{c{v}_0}{g}=c$$

所以我们可以得到一个特殊解:$x_0=\frac{c{u}_0}{g}(modm)$

设还有其余解$x_1$，则我们有$a{x}_1\equiv a{x}_0(modm)$
即：$$a(x_1-x_0)=km$$
同除$g$,得：
$$\frac{a}{g}(x_1-x_0)=k\frac{m}{g}$$
因为$gcd(\frac{a}{g},\frac{m}{g})=1$,所以$\frac{m}{g}|(x_1-x_0)$

所以$x_1=x_0+k\frac{m}{g}$，由于当$k=g$时两个解是相等的，所以$k=0,1,...g-1$

参考书目：《A Friendly Introduction to Number Theory》