求证一个简单的同余性质

题目

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

答案

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))