Chapter7(数论2).pptVIP

离散数学（数论基础篇二） Discrete Mathematics （Number Theory） 第八章 同 余 同余是数论中一个基本概念, 它的引人简化了数论中的许多问题. 本章着重讨论同余的基本性质和求解某些同余式的方法． 8.1 同余式定义和基本性质 定义8.1.1 给定一正整数m, 若用m去除两个整数a和b所得余数相同, 则称a为对模m同余, 记作a?b(mod m); 若余数不同, 则称 a为对模m不同余, 记作a?b(mod m). 显然，a?0(mod m) iff m| a. 由同余的定义, 可得下列简单性质: ①自反性: a?a (mod m). ②对称性: 若a?b(mod m), 则 b?a(mod m). ③传递性: 若a?b(mod m), b?c(mod m), 则: a?c(mod m). 可见, 同余关系是等价关系. 8.1 同余式定义和基本性质 定理 8.1.1 整数a,b对模m同余 iff m|(a-b), 即: a?b(mod m), iff m|(a-b). 证明 设a?b(mod m), 则a=mq1+r, b=mq2+r, 0≤rm. 故(a-b)=m(q1-q2), m|(a-b). 反之, 设a=mq1+r1, b=mq2+r2, 0r1≤m, 0r2≤m, m|(a-b).于是, m|(a-b)=m(ql-q2)+(rl-r2), 故: m|(r1-r2). 又因|r1-r2|m, 得r1=r2. 8.1 同余式定义和基本性质 由定理可知, 同余又可定义如下: 若m|(a-b), 则称a为对模m同余. 定理 8.1.2 若a?b(mod m), c?d(mod m), 则: ① ax+cy ? bx+dy(mod m), 其中x和y为任给整数. ② ac ? bd(mod m). ③ an ? bn(mod m), 其中 n＞0. ④ f(a) ?f(b)(mod m), 其中f(x)为任给的一个整系数多项式. 8.1 同余式定义和基本性质 证明 ①因为m|(a-b), m|(c-d), 故有m|x(a-b)+y(c-d) = (ax+cy)-(bx+dy). ②由 m|(a-b)+b(c-d)=ac-bd立即可得. ③由于 a-b=mq, 其中 q是一整数, 因此: an =(b+mq)n= bn+Cn1bn-1(mq)1+…+ Cnn-1b1(mq)n-1+(mq)n=bn+mq, 其中: q1是一整数. 所以, an?bn(mod m). ④由①和③可证, 请读者完成. 8.1 同余式定义和基本性质 定理8.1.3正整数a能被9整除 iff 9整除a的十进制表示各数字的和． 证明 若 , 则由10i?1(mod 9)(i=1,2,…,n)和定理 8.1.2④可得: 8.1 同余式定义和基本性质 定理 8.1.4 (弃九法) 若ab=c, 其中a0, b0, 并且, 则: 证明 由定理8.1.3和已知: 又ab=c, 故 . 可见, 若 , 则可判断乘积ab=c是错误的, 这即是弃九法之原则． 8.1 同余式定义和基本性质 例8.1.2 求证 1997×57≠113828. 证明 由于1997?1＋9＋9＋7?8 (mod 9) 57? 5＋7 ? 3(mod 9) 113828 ? l+1+3+8+2+8 ? 5(mod 9) 但是, 8×3=24, 而24≠5(mod 9), 得证. 要注意, 使用弃九法即使 也未必肯定原计算是无误的. 例如, 1997×57=113829, 但有人计算结果是:113838. 由弃九法可得 24 ? 6(mod 9), 显然, 错误未验证出来. 8.1 同余式定义和基本性质 定理8.1.5 若ac=bc(mod m), (c,m)=d, 则 a ? b(mod (m/d)) 证明 因为m|c(a-b), 于是(m/d)|((a-b)(c/d)), 又因为(c,m)=d, 则有((c/d, m/d)=1, 因此由定理7.4.2知,工作者(m/d)|(a-b), 即: a ? b(mod (m/d)).