初等数论同余（同余的概念及其基本性质）.pptVIP

在日常生活中，我们常接触到一些周期为正整数性的问题.例如：问火车下午2点从金华出发,30小时后到广州,则到广州是几点?就是24去除30所得的余数6加2,即晚上8点到广州,这就是同余问题.今天是星期一,问过了100天后是星期几等……．,现在同余理论已发展成为初等数论中内容丰富，应用广泛的一个分支． 例1:对任意整数a,8a+7不可能是三个整数的平方. 证:因为对任意的整数 有 所以对任意的 有 两边不同余.所以不相等.即对任意整数a,8a+7不可能是三个整数的平方. 例2证明 没有整数解. 证:因为一个平方数除以4的余数能为0或者1 所以左边除以4的余数只能是0,1,或3,而右边除以4的余数为2 不同余,所以不定方程无解. 规律(6)的证明 证:设 因为 两边分别乘以 然后相加有 即奇数位数字之和与偶数位数字之和的差能被11整除的数能被11整除. 例1:1234567891011…2005除以3的余数是多少. 解:因为一个数除以3的余数,即其各位数字和除以3 的余数.所以所求余数 所以余数为1. 例5:证明: 是合数. 证:因为由整除规律性,一个数被11整除的充要条件是它的奇数位数字之和与偶数位数字之和的差能被11整除.而 的奇数位数字之和与偶数位数字之和的差为0,所以能被11整除.即为合数. 2 弃九法 利用相等必同余，同余未必相等，不同余肯定不相等,取模9,可判断一些式子是否正确在出现9时,用 可把9去掉,这就是弃九法. 例:判断28997*39495=1145236415是否正确? 解:若正确,则两边关于9同余,则有8*3 5,不成立 所以错误. 注:弃九法只能检查出一些错误.不能检查出所有错误. 看下面的例. 例判断28997*39495=11154236415是否正确 解:两边关于9同余,则有8*3 6,成立 此时不能判定,有可能正确,也可能错误,需作进一步判定. 若正确,进一步取模为11,则有 1*5 3(mod11)不成立,所以错误. 例判断28997*39495=11145236415是否正确 解:两边关于9同余,则有8*3 5,不成立 所以错误. 例判断28997*39495=11145236415是否正确 解:两边关于9同余,则有8*3 5,不成立 所以错误. 推论:若d是 成立的最小正整数,且 则d|n. 例5:若 为素数,则有 定理2：若m1,m2是互质的两个正整数，x1,x2分别通过模m1,m2的完全剩余系， 则 通过模m1m2的完全剩余系。 注:定理2给出了如何用m1,m2的完全剩余系 构造m1m2完全剩余系的方法. 例：3的完系是1，2，3；2的完系是1，2 则6的完系是2×1+ 3×1, 2×1+ 3×2, 2×2+ 3×1, 2×2+ 3×2, 2×3+ 3×1, 2×3+ 3×2,即为5,2,1,4,3,0 下面给出定理的证明. 证：首先 一共通过了 个数，下证这 个数关于模 是两两不同余的。设 则有 由已知m1,m2是互质，所以有 与题设矛盾. 所以这 个数关于模 是两两不同余的 即 通过模m1,m2的完系。 §4 简化剩余系与欧拉函数 定义1：欧拉函数φ(a)是定义在正整数上的函数，定义为序列0,1,2,…a-1中与a互质的数个数。 约定φ(1)=1，显然φ(p)=p-1 定义2：如果一个模m的剩余类里面的数与m互质，就把它叫做一个与模m互质的剩余类。 在与模m互质的全部剩余类中，从每一类各任取一数所作成的元数的集合，叫做模m的一个简化剩余系（简称简系）。 一组数是m的一个简系的条件为 (1）元素个数为φ(m) (2)两两不同余关于模m (3)每一个元素x,有(x,m)=1 定理1 若(a,m)=1，x通过模m的简化剩余系，则ax通过模m的简化剩余系。 证：ax有φ(m)个数，因(a,m)=1， (x,m)=1所以（ax