初等数论2课件.pptVIP

第二章 同余 主要内容　　同余的定义、性质、剩余类和完全剩余系、欧拉函数、简化剩余系、欧拉定理、费尔马小定理 第三章 同余方程 主要内容 同余方程概念及次数、解的定义，一次同余方程ax≡b(mod m)有解的充分必要条件，一次同余方程组，孙子定理。 * * * * * * * * * * * * * * * * * * * 1、同余的概念: 定义2. 1 若a 和b 除以m 所得余数不同，则称a，b 对模m 不同余，记作 a b (mod m). 设m为正整数，称为模。若用m去除两个整数 a 和 b 所得的余数相同，则称a 和b 对模 m 同余, 记作 a ≡b (mod m). （1） 读作a 同余于b 模m。 一、同余的概念及基本性质 * 2、同余的性质： (1) 反身性： a ≡ a (mod m). (2) 对称性：若 a ≡ b (mod m)， 则 b ≡ a (mod m). (3) 传递性：若 a ≡ b (mod m), b ≡ c (mod m), 则 a ≡ c (mod m). (4) 若a ≡b (mod m)，c ≡d (mod m) ，  则 a + c ≡ b + d (mod m) ,  a－c ≡ b－d (mod m). 同余式可以相加减。 * 我喜欢数学 E 性质(5) 若a ≡b (mod m)，c ≡d (mod m) ，  则 ac ≡ bd (mod m) . 同余式可以相乘。 推论　若a ≡b (mod m)， 则 a k ≡ b k (mod m), k 为任意整数. 同余式的数乘。 推广 * 性质(6) 性质(7) 若a =a1d, b =b1d, (m, d) =1, a ≡b (mod m)，则 a1 ≡ b1 (mod m) . 性质(8) d为a，b及m的任一正公约数，则 若a ≡b (mod m)，k 为正整数 ，  则 ka ≡ kb (mod km) . * 性质(9) 若 a ≡b (mod m1), a ≡b (mod m2), m=[ m1, m2 ], 则 a ≡ b (mod m) . 性质(10) 设d ≥1， d | m，若a ≡b (mod m) ，  则 a ≡ b (mod d ) . E New 若a ≡b (mod m)，则 (a，m) = (b，m). 性质(11) * 弃九法 正整数四则运算(含乘方) 的快速验算方法 例7 用弃九法验算 28947×34578 =1001865676 是否正确. 弃九法只是运算结果正确的必要条件，而非充分条件 ! 因此只能判误. 28947≡3 (mod 9), 34578≡0 (mod 9) 应有28947×34578 ≡0 (mod 9), 而 1001865676 ≡0 (mod 9), 所以计算必有错误. 解 若通过计算，a、b的和与积分别是s与p. 而r1、r2、r3、r4 分别是a、b、s、p被 9 除所得的余数, 由同余的加减乘性质可知，如果r1 +r2与r3、 r1 · r2与r4关于模 9 不同余，那么计算一定错了. * 二、剩余类与剩余系 定理2.2.1 设m为正整数，则全部整数可分成m个集合,记作[0]，[1]，…，[m－1]，其中[r] (0 ≤ r ≤m－1)是由一切形如 mq + r (q∈Z) 的整数所组成的，并且具有下列性质： (1)每一整数必包含在而且仅在上述的一个集合中. (2)两个整数同在一个集合中的充分必要条件为这两个整数对模 m 同余。 * 定义2. 2 设m为正整数，则全部整数分成的 m个集合[0]，[1]，…，[m－1]称为模m的剩余类,一个剩余类中任一数叫做它的同类的数的剩余。 * 定理2.2.2　设m为正整数，则 （1）在任意取定的 m + 1 个整数中，必有两个数对模 m 同余。 （2）存在 m 个数两两对模m不同余。 完全剩余系 定义2. 3 设 m 为正整数，则从模 m 的每个剩余类中各取一个数所作成的集合，称为模 m 的一个完全剩余系. * 定理2.2.4 若 a1, a2，…, am 是模m的完全剩余系， 且(a, m) =1, b 为