设M是给定的一个正整数,若满足 b ∣ ( a − b ) b|(a-b) b∣(a−b),则称a与b对模m同余。
记为 a ≡ b ( m o d m ) a≡b(mod m) a≡b(modm)
a ≡ b ( m ) a≡b(m) a≡b(m)
a = b + k m ( k ∈ Z ) a=b+km(k∈Z) a=b+km(k∈Z)
证明:由 a ≡ b ( m o d m ) a≡b(mod m) a≡b(modm)得到 m ∣ ( a − b ) m|(a-b) m∣(a−b)
a = m ∗ q 1 + r a=m*q1+r a=m∗q1+r
b = m ∗ q 2 + r b=m*q2+r b=m∗q2+r
a − b = m ( q 1 − q 2 ) a-b=m(q1-q2) a−b=