【梳理】离散数学 第19章 初等数论 19.3 同余 19.4 一次同余方程

教材：《离散数学》第2版 屈婉玲 耿素云 张立昂 高等教育出版社
源文档高清截图在最后

19.3 同余

1、设整数m，a，b，如果a % m = b % m，就说a模m同余于b，或a与b模m同余，记作a≡b (mod m)。为了方便，下面也记作a≡b (% m)。
a与b模m同余的充分必要条件：
（1）a % m = b % m。
（2）a = b + qm，q是整数。

2、同余的性质：
（1）同余关系是等价关系，即同余具有：
【1】自反性：a≡a (% m)。
【2】传递性：若a≡b (% m)，b≡c (% m)，则a≡c (% m)。该命题也缩写为a≡b≡c (% m)。
【3】对称性：若a≡b (% m)，则b≡a (% m)。
（2）若a≡b (% m)，c≡d (% m)，则有下列模的算术运算：
a±c≡b±d (% m)，ac≡bd (% m)，ak≡bk (% m)，其中k是非负整数。
（3）设d≥1，d | m，a≡b (% m)，那么a≡b (% d)。
（4）设d≥1，则a≡b (% m) 当且仅当da≡db (% dm)。
（5）设c与m互质，则a≡b (% m) 当且仅当ca≡cb (% m)。
整数a在模m同余的关系下的等价类记作[a]m&#x