合同一次同余式(PPT 63页)

§5.3合同一次同余式
引入
§5.3.1合同及其性质
合同的基本性质
§5.3.2剩余类一次同余式
同余式
定理5.3.1
求解一次合同方程的方法
定理5.3.2
定理5.3.3
总结
作业：
证明ABCD,DEF共同蕴涵AF
极小项与极大项性质
练习（简答题）：
定义.设a,b为二整数，m是任意非0整数。
若m|a-b，则称a合同于b模m。记为：ab(modm)
Note:
合同为整除的另一种表示法，故整除的性质在此可用。
特别地，若b=0，则a0(modm)表示的就是m|a。
(2)若m|a，则-m|a。所以，若未指定m而一般地讨论模m合同时，
总假定m是正整数。

..............................