同余式提供了一种描述整除性质的简便方式。事实上,同余式使得整除性理论非常类似与方程理论
如果m整除a-b,我们就说a与b模m同余并记之为 a ≡ b ( m o d m ) a\equiv b(mod\;m) a≡b(modm)
特别的,如果a除以m得余数r,则a与r模m同余。注意余数满足 0 ≤ r < m 0\leq r \lt m 0≤r<m,因而每个整数必与0~m-1之间的一个数模m同余
数m叫做同余式的模。具有相同模的同余式在许多方面表现得很像通常的等式。例如,如果
a 1 ≡ b 1 ( m o d m ) 且 a 2 ≡ b 2 ( m o d m ) a_1\equiv b_1(mod\; m)且a_2\equiv b_2(mod\; m) a1≡b1(modm)且a2≡b2(modm)
则 a 1 ± a 2 ≡ b 1 ± b 2 ( m o d m ) , a 1 a 2 ≡ b 1 b 2 ( m o d m ) a_1\pm a_2 \equiv b_1 \pm b_2 (mod\; m),a_1a_2\equiv b_1b_2(mod\; m) a1±a2≡b1±b2(modm),a1a2≡b1b2(modm)
但是要注意,用数除同余式并非总是可能的。换句话说,如果 a c ≡ b c ( m o d m ) ac\equiv bc(mod\; m) ac≡bc(modm),则 a ≡ b ( m o d m ) a\equiv b(mod m) a≡b(modm)未必成立。但是如果 g c d ( c , m ) = 1 gcd(c,m)=1 gcd(c,m)=1,则可从同余式两边消去c。
以下用几个例子说明可用与解方程相同的方法来解带未知数的同余式。
1、
x + 15 ≡ 5 ( m o d 8 ) x+15\equiv 5(mod\; 8) x+15≡5(mod8)
两边减12得
x ≡ 5 − 12 ≡ − 7 ≡ 1 ( m o d 8 ) x\equiv 5-12 \equiv -7 \equiv 1 (mod\; 8) x≡5−12≡−7≡1(mod8)
2、
4 x ≡ 3 ( m