数论剩余系学习

剩余系定理三：

若a,b,c为任意3个整数，m为正整数，且（m,c)=1，则当ac≡bc(mod m）时，有a≡b(mod m)；

证明：ac≡bc(mod m) <=> (ac - bc)≡0(mod m) <=> (a - b) * c ≡ 0 (mod m)，如果(c, m) = 0，那么一定有 m | (a - b)，也就是(a - b) ≡ 0 (mod m) 

<=> a ≡ b (mod m);

形象理解：如果把m看成一个环形跑道，一匹马每一步走c米，起点都是0，那么走a步和走b步最终停在了同一个位置，那么一定有m | (a - b)。因为(c, m) = 1，那么在1~m这m步内这匹马一定停在了跑道上不同的m个位置，同时也遍历了跑道的m个位置，所以说a和b一定相差m的整数倍。

如果把a和b看成跨步不同的马，同时走c步，那就很难理解了。

剩余系定理七：

设m是一个整数，且m>1，b是一个整数且(m,b)=1。如果a1，a2，a3，……，am是模m的一个完全剩余系，则ba[1]&#x