Question

同余的性质证明若ac ≡ bc (mod m) =0 则 a≡ b (mod m/(c,m)) 其中(c,m)表示c,m

Answer 1

因为 m|ac-bc

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