在数论中,线性同余方程是最基本的同余方程,“线性”表示方程的未知数次数是一次,即形如:
![{\displaystyle ax\equiv b\ {\pmod {n}}\ \ \ \ (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dad9920b346cd0dd165e03392b3213ecff7ca39)
的方程。此方程有解当且仅当
能够被
与
的最大公约数整除(记作
)。这时,如果
是方程的一个解,那么所有的解可以表示为:
![{\displaystyle \{x_{0}+k{\frac {n}{d}}\mid k\in \mathbb {Z} \}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/370062022631ddb5e8d03706f697a39aaaeee145)
其中
是
与
的最大公约数。在模
的完全剩余系
中,恰有
个解。
![{\displaystyle 3x\equiv 2{\pmod {6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ce0616c0fcec02ad08c4dedd620338828ecc211)
中,
,3 不整除 2,因此方程无解。
![{\displaystyle 5x\equiv 2{\pmod {6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50be1da89dba8d533f0b3769e6fbe03db9f1c4cb)
中,
,1 整除 2,因此方程在
中恰有一个解:
。
![{\displaystyle 4x\equiv 2{\pmod {6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e366c3e46f40a936e98a58f2ea3e2e41284b65fb)
中,
,2 整除 2,因此方程在
中恰有两个解:
以及
。
对于线性同余方程
(1)
若
整除
,那么
为整数。由裴蜀定理,存在整数对
(可用扩展欧几里得算法求得)使得
,因此
是方程 (1) 的一个解。其他的解都关于
与
同余。
举例来说,方程
![{\displaystyle 12x\equiv 20{\pmod {28}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/149fc8e4a931f172fd6eb5983efc9470097778c3)
中
。注意到
,因此
是一个解。对模 28 来说,所有的解就是
。
考虑
,其等价于
(
是整数),也就是线性丢番图方程。运用辗转相除法可以求得该方程的解,有无限多个;但是在原同余方程中,解的个数受到
限制,因此正如上面例子所示,只能选取前面的几个解。
线性同余方程组的求解可以分解为求若干个线性同余方程。比如,对于线性同余方程组:
![{\displaystyle 2x\equiv 2{\pmod {6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/249dca0dbad61e2ac13bc98ae1a6c3f5e7610748)
![{\displaystyle 3x\equiv 2{\pmod {7}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14e54af7c31c812ec7b7b771147d42a6afc46f10)
![{\displaystyle 2x\equiv 4{\pmod {8}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d28663ac024aad108794ea02743414a0fdcaf2c)
首先求解第一个方程,得到
,于是令
,第二个方程就变为:
![{\displaystyle 9k\equiv -1{\pmod {7}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e843e646a7479b1d2ad13d02218941ab5a835ab)
解得
。于是,再令
,第三个方程就可以化为:
![{\displaystyle 42l\equiv -16{\pmod {8}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c64d35d8e1b830123a311bdf6e7286401c862f07)
解出:
,即
。代入原来的表达式就有
,即解为:
![{\displaystyle x\equiv 10{\pmod {84}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb0c5ff835510d521cf381762bd2941a547d8294)
对于一般情况下是否有解,以及解得情况,则需用到数论中的中国剩余定理。