5-3合同 一次同余式(离散数学).pptVIP

§5.3 合同 一次同余式 §5.3.1 合同及其性质 设m是任意非0整数。a被m整除时，我们就说a 合同于0模m，记为： a?0(mod m) 一般来说，若a-b被m整除，则我们说a合同于b 模m： a?b(mod m) 一个数为m整除，当且仅当此数为- m整除。所以，若未指定m而一般地讨论模m合同时，我们总假定m是正整数。 §5.3.1 合同及其性质 设a=q1m+r1，0≤r1m；b=q2m+r2，0≤r2m。于是 a-b=(q1-q2)m+(r1-r2) 由此式，m|(a-b)必要而且只要m|(r1-r2)，但|r1-r2|m，故m|(r1-r2)必要而且只要r1-r2=0。因之，a≡b(mod m)必要而且只要以m除a和b所得的余数相同。 合同的基本性质 性质1 a≡a。 性质2 若a≡b,则b≡a。 性质3 若a≡b，b≡c，则a≡c。 这就是说，合同是一种等价关系。每一个等价类称为模m的一个剩余类。 合同的基本性质 性质4 若a≡b(mod m)，c≡d(mod m)，则a?c≡b?d(mod m)，ac≡bd(mod m) 证明：由题设有r，s使a-b=rm，c-d=sm。故(a?c)-(b?d)=(r?s)m, 因而a?c?b?d(mod m)。其次，ac=(b+rm)(d+sm)=bd+rdm+bsm+rsm2