Question

求证一个简单的同余性质若ac ≡ bc (mod m) =0 则 a≡ b (mod m/(c,m)) 其中(c,m)表

Answer 1

ac ≡ bc (mod m) ,m|c(a-b), 即m/(c,m)|c/(c,m)*(a-b)

因为（m/(c,m),c/(c,m))=1

所以m/(c,m)|(a-b)

所以a≡ b(mod m/(c,m))