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+rb=m∗q2+rb=m*q2+rb=m∗q2+ra−b=m(q1−q2)a-b=m

数论经典问题