Face_the_Blast的博客

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

数论经典问题