在數論中,線性同餘方程是最基本的同餘方程,「線性」表示方程的未知數次數是一次,即形如:
![{\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)
對於一般情況下是否有解,以及解得情況,則需用到數論中的中國剩餘定理。