- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
同余理论及其应用
基础知识
一定义
定义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除的余数相等。
定理2I.II.若则III.若则
定理3若,,则I.;II.
;III..
定理4如果,则I.;II.
推论如果n为任意正整数,则
定理5如果则
推论如果,则
定理6如果则
定理7a和b属于模m的同一剩余类的充要条件是
定理8m个整数是模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年巴尔干数学奥林匹克)是质数,解:
分析 我们要充分利用是质数的条件。
解若,则无整数解;若,则 由于是质数,由费马小定理即 ①,再由费马小定理 即若则 ②由①知:; 由②知:即,又为质数。而为奇质数,为偶数, 与为质数矛盾。所以此时无解若,由知 ,无解若,则当时:易知:时,,无解,当时,两边模4,知无解;时,左边小于0,无解;当时:两边模4, 时,左边小于0。当时:同理 无解;时,左边小于0。当时:无解;时,满足条件。为一组解。当时,无解;时,无整数解;当时, 为一组解。综上,;为解。
评注 在处理有关质数的幂的问题中,费马小定理常发挥重要作用。
四同余定理
例7设p是奇素数,a是连续数列 ①中的任一数,则数列
②中必有一个且只有一个数关于模p与1同余,设此数为ia,则i为①中一数且与a相异。
分析 利用为素数
证明因为①中各数均小于p,p为素数,所以①中每一个数均与p互素。由于a是①中某数,故因此,由定理11,数列与数列①代表同一类数,也就是说,数列②表示模p的除p的倍数外,其余的一切类数。因此②中必有一数,使 。这个i决不能等
您可能关注的文档
最近下载
- 水利副高级工程师答辩题库.docx VIP
- KS焊线机培训教材.pptx VIP
- 2024综合气象观测题库含解析.pdf
- 临床冠脉定量血流分数(QFR)检查技术规范.pdf VIP
- 新人教版高中数学选择性必修第三册全套课件及配套课时作业(1600页).pptx VIP
- 2025四组30个人民日报精选高考作文热点人物素材集合第2期-备战2025年高考语文写作热点素材讲练(全国通用).docx VIP
- 《企业经营管理仿真实训》课程大纲(本科).pdf VIP
- 高速公路日常养护安全作业指南.pdf VIP
- LEGO乐高积木拼砌说明书10268,Vestas风力发电机,LEGO®CREATORExpert(年份2018)安装指南.pdf
- 施工总体部署及现场总平面布置.docx VIP
文档评论(0)