一次同余式的求解和相关理论

定义

形如$f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)$的方程称同余式.$f(x)$是整数系数多项式.$f(x)$是形如$ax+b$的是一次同余式.

明显的,一个有解的同余式解是无限的,但是都在若干个对m的剩余系内.所以称满足条件的剩余系的个数为解数.
下面以解一个一次同余式的过程解释一次同余式的解法和相关性质.

---

例程

$6x\equiv 28(\mathrm{m}\mathrm{o}\mathrm{d}32)$

判断有无解

$$\begin{gathered} Theorem: \\ 同余式ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)有解的充要条件是(a,m)|b. \\ 在有解的情况下，解数为gcd(a,m). \end{gathered}$$
解释:
ax=km+b, ax-km=b,要有整数解x,k,则根据裴蜀定理,有且仅有sa+tb=gcd(a,b)*k有整数解.

实际上就是裴蜀定理中用表格求解的那个gcd(a,b)=sa+tb.

该式gcd(6,32)=2|28,有解.并根据性质(互质两个同除,不互质三个同除)约简为
$3x\equiv 14(\mathrm{m}\mathrm{o}\mathrm{d}1)6$

通解和解数

$$\begin{gathered} Theorem: \\ 如果有解,且求出特解x_0,那么通解为x\equiv x_0+t\cdot \frac{m}{gcd(a,m)}(\mathrm{m}\mathrm{o}\mathrm{d}m). \end{gathered}$$
解释:
由二元一次不定方程的平衡理论,当不定方程$b=ax+km$有特解$x_0,k_0$时,步进$△p$应为$[a,m]=\frac{a,m}{gcd(a,m)}$此时$△x=p/a,△k=p/m.$
所以$△x$应为步进的整数倍.即$x\equiv x_0+t\cdot \frac{m}{gcd(a,m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$.
另外,由于余数应取mod m,即$x_0+t\cdot \frac{m}{gcd(a,m)}<m$
即要完成一个大小为m周期,步进数为gcd(a,m).所以解数为$gcd(a,m)$.
还有一种说法是对于解$x_0+t\cdot \frac{m}{gcd(a,m)}$在gcd(a,m)个解空间内分配,得解为
$x_0+t\cdot \frac{m}{gcd(a,m)},t\in 0,1,2,...,gcd(a,m)$

该式子中,特解为x=10 所以通解为$x\equiv 10+16t(\mathrm{m}\mathrm{o}\mathrm{d}3)2$,解数为2,所以t=0,1

Summary

一次同余式求解较为简单,主要流程为:
判断有无解->解数->化简->特解->通解
在这些过程中,如果有大数,要灵活运用相关性质约简和求解.在此不赘述.