同余理论与其应用.docVIP

智浪教育—普惠英才文库 PAGE 8 同余理论及其应用 基础知识 一. 定义 定义1. 设m为正整数，整数a和b之差可被m整除时，称为a和b关于模m 同余，记作 定义2. 被正整数m除余数相等的所有整数的集合称为模m的剩余类。模m的剩余类共有m个。 定义3. 在模m的m个剩余类中各取一个整数作为代表，这些代表的集合称为模m的完全剩余系。 定义4. 绝对值不超过的模m的完全剩余系称为模m的绝对最小剩余系。 定义5. 当模m的某一剩余类的所有整数均与m互素时，则称此剩余类是模m的简化类。模m的简化类共有个。 定义6. 在模m的个简化类中各取一个整数作为代表，这些代表的集合称为模m的简化剩余系。 定义7. 欧拉函数：设为正整数，从1到的整数中与互素的整数的个数用表示，称为欧拉函数。当时，有 二. 定理 定理1. 的必要充分条件是a和b被m除的余数相等。 定理2. = 1 \* ROMAN I. = 2 \* ROMAN II.若则 = 3 \* ROMAN III.若则 定理3. 若，，则 = 1 \* ROMAN I.； = 2 \* ROMAN II. ； = 3 \* ROMAN III.. 定理4. 如果，则 = 1 \* ROMAN I.； = 2 \* ROMAN II. 推论. 如果n为任意正整数，则 定理5. 如果则 推论. 如果，则 定理6. 如果则 定理7. a和b属于模m的同一剩余类的充要条件是 定理8. m个整数是模m的完全剩余系的充要条件是关于模m两两互不同余。 定理9. 设f是正整数m的正因数。在模f的属于c的剩余类中取整数，则它们是模m的个剩余类。 定理10. 与m互素的个整数是模m的简化剩余系的充要条件是这个整数关于模m两两互不同余。又设是模m的简化剩余系，如果，则也是模m的简化剩余系。 定理11. 欧拉定理：如果，则 定理12. 费马小定理：如果，则，其中为素数。它也常写作：，这里不要求互素。 定理13. 裴蜀定理：设是整数，则的充要条件是，存在整数使得 推论1. 的充要条件是，存在整数使得 推论2. 均为正整数，的充要条件是，存在正整数使得 典型例题： 一. 同余与完全平方数 例1. 设素数p满足，证明p必不能表作三个平方数之和。 分析 我们利用平方数模8的性质进行处理。 证明：设存在三个整数使其中或为偶数，或为奇数。因此下式 必居其一。事实上，当a是奇数或时，有当a是偶数或时，有或同样b和c也必居下式之一： 将所有可能满足的式子任意组合，只能得到而得不到因此形如的素数不能表作三个平方数之和。 评注 选择合适的模是处理平方数问题的技巧之一。 例2. （2003年越南数学奥林匹克）求最大的正整数n，使得方程组 有整数解 分析 我们利用平方数的性质处理问题。 解：当时，易知所给的方程组有整数解，当时， ，则奇偶交替出现，则且 若为奇数，则 矛盾。同理：若为偶数，则为奇数。后面式子又矛盾，所以无解。显然无解。 评注 选择适当的模，利用平方数性质是解决平方问题的技巧之一。 二. 费马小定理与欧拉定理 例3. 证明 分析 由原式联想到费马小定理。 证明：，由费马小定理,, ,, ,,而 并且，由此可知：，所以原命题成立。 评注 费马小定理是处理此类整除问题的重要工具。 例4. （2004年加拿大）为奇素数，证明： 解：由于为偶数，则，由二项式定理： 右侧除最后两项外均被整除。因此 由于由费马小定理 ， ，则 所以 所以，原结论成立。 评注 二项式定理也是处理数论问题的重要工具。 三. 同余与不定方程 例5. （2004年韩国数学竞赛）证明：方程没有正整数解。 分析 我们选择适当的模对进行分类处理问题。 证明：（1）当时， 而方程左边能被3整除，此时无解。（2）当时，， ，而，，， 均为完全平方数。而 所以此时无解。（3）当时，，令 则，令，则与（2）类似，均为完全平方数。设 则，即 ，所以 方程无整数解。综上所述，原方程无整数解。 评注 方程右边可以进行因式分解，而左边系数为3，因而选择模3对进行分类处理问题。 例6. （2004年巴尔干数学奥林匹克）是质数，解： 分析 我们要充分利用是质数的条件。 解：若,则无整数解；若，则 由于是质数，由费马小定理，即， = 1 \* GB3 ①，再由费马小定理 即1. 若则 = 2 \* GB3 ②；2. 由 = 1 \* GB3 ①知：； 由 = 2 \* GB3 ②知：即，，又为质数。而为奇质数，为偶数， 与为质数矛盾。所以此时无解；3. 若，由知 ，无解；4. 若，则当时：易知：时，，无解，，当时，两边模4，知无解；时，左边小于0，无解；当时：两边模4， 时，左边小于0。当时：同理