在數論中,線性同餘方程是最基本的同餘方程,「線性」表示方程的未知數次數是一次,即形如:
的方程。此方程有解當且僅當能夠被與的最大公約數整除(記作)。這時,如果是方程的一個解,那麼所有的解可以表示為:
其中是與的最大公約數。在模的完全剩餘系中,恰有個解。
中, ,3 不整除 2,因此方程無解。
中, ,1 整除 2,因此方程在中恰有一個解:。
中, ,2 整除 2,因此方程在中恰有兩個解:以及。
對於線性同餘方程
- (1)
若整除 ,那麼為整數。由裴蜀定理,存在整數對(可用擴展歐幾里得算法求得)使得,因此 是方程 (1) 的一個解。其他的解都關於與同餘。
舉例來說,方程
中 。注意到 ,因此 是一個解。對模 28 來說,所有的解就是 。
考慮,其等價於(是整數),也就是線性丟番圖方程。運用輾轉相除法可以求得該方程的解,有無限多個;但是在原同餘方程中,解的個數受到限制,因此正如上面例子所示,只能選取前面的幾個解。
線性同餘方程組的求解可以分解為求若干個線性同餘方程。比如,對於線性同餘方程組:
首先求解第一個方程,得到,於是令,第二個方程就變為:
解得。於是,再令,第三個方程就可以化為:
解出:,即 。代入原來的表達式就有 ,即解為:
對於一般情況下是否有解,以及解得情況,則需用到數論中的中國剩餘定理。