同余
定义
设 n n n 为正整数, a a a 和 b b b 为整数,如果 a a a 和 b b b 被 n 除后余数相同,那么称 a a a 和 b b b 模 n n n 同余,记作 a ≡ b ( m o d n ) a\equiv b\pmod n a≡b(modn)
性质
由定义,显然有a ≡ b m o d n \equiv b \bmod n ≡bmodn ⇔ n ∣ a − b \Leftrightarrow n \mid a - b ⇔n∣a−b。
- 性质1 【前提:若 a ≡ b ( m o d n ) a\equiv b\pmod n a≡b(modn) 且 c ≡ d ( m o d n ) c\equiv d\pmod n c≡d(modn) 】
-
a + c ≡ b + d ( m o d n ) a + c \equiv b + d \pmod n a+c≡b+d(modn)。
-
a c ≡ b d ( m o d n ) ac\equiv bd\pmod n ac≡bd(modn)。
-
k a ≡ k b ( m o d n ) ka\equiv kb\pmod n ka≡kb(modn) , k为任意整数。
-
a m ≡ b m ( m o d n ) a^m\equiv b^m\pmod n a