问答题 设m>1,ac≡bc(mod m),d=gcd(c,m),证明:a≡b(mod m/d).
【正确答案】记c=dc1,m=dm1,其中c1,m1互素.由ac≡bc(mod m),有m|ac-bc,即dm1|d(a-b)c1,从而有m1|(a-b)c1.又c1,m1互素,故m1|a-b,得证a≡b(mod m1),即a≡b(mod m/d).
【答案解析】