- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
数学
高二数学竞赛班二试讲义
第2讲 欧拉定理、威尔逊定理
班级 姓名
一、知识点金
1.算术基本定理:任何一个正整数,都可以唯一分解成素因数乘积的形式,
其中。均为素数,为非负整数。
记是的正约数的个数,是的正约数的和,则,
2.为平方数的充分必要条件是为奇数
3.完系和缩系:在模的个剩余类中各任取一个数作为代表,这样的个数称为模的一个完全剩余系,简称完系。如果和互素,则易知同余类中所有数都和互素,这样的同余类称为模缩同余类,我们将模缩同余类的个数记作,称为欧拉函数。
在个缩同余类中各任取一个数作为代表,这样的个数称为模的一个缩剩余系,简称缩系(也称简系)。
4.设,是任意整数。
( = 1 \* roman i)是模的完系。叫做模的生成元。
( = 2 \* roman ii)若是模的完系,则也是模的完系。
( = 3 \* roman iii)若是模的缩系,则也是模的缩系。
证明:,
( = 1 \* roman i)假设,,则,因为,所以,矛盾!
( = 2 \* roman ii)假设,,则,所以,矛盾!
( = 3 \* roman iii),假设,,则,矛盾!
5.欧拉函数,它表示不大于且与互素的正整数的个数,设,均为素数,则。
因此,若,则
证明:由容斥原理
因为,则没有相同素因子,由公式易得
6.欧拉定理:设,则
证明:当时,若是模的缩系,
则也是模的缩系。
所以,即,所以
费尔马小定理:为素数,且,则。
即为素数,且,
证明:当为素数,且时,,,由欧拉定理得
费尔马小定理的推论:为素数,对任意正整数,都有。
7.威尔逊定理:设为素数,则
证明:若,则由4( = 3 \* roman iii)可知,存在使得。我们称为关于模的逆,记作或。
当时结论显然成立。如,由上述结论知,对每个,,有唯一的,使得
当时,等价于,则
所以个数可配为对,每对满足。
因此,
二、例题分析
例1.(1)证明:完全平方数模4同余于0或1
(2)证明:奇数的平方模8同余于1
(3)证明:完全立方数模9同余于0,1
例2.设是奇数,为正整数,证明:
例3.设是不同的奇素数,,则,反之亦然。
例4.若正整数满足,则称为完全数。证明:偶数为完全数的充分必要条件是,且是素数。
三、同步检测
1.设,是素数。证明:若,则。
2.证明:有无穷多个形式的素数,也有无穷多个形式的素数(为正整数)。
3.设是给定的正整数。证明:存在连续个正整数,其中每一个都不是素数。
4.设是偶数,与都是模的完系。证明:不是模的完系。
5.设是素数,与都是模的缩系。
证明:不是模的缩系。
6.设是一个素数,为正整数,则
(1),对成立。
(2),对成立。
第2讲 欧拉定理、威尔逊定理
例1.证明略
例2.对归纳。时易证。假设时结论成立,即,两边平方,
则,所以
例3.,知,
所以,由费尔马小定理,,所以
同理
例4.设,其中。由公式得出,故
,但及都是的约数,而为的所有正约数之和,故只有这两个约数,即为素数,且
1.由带余除法得
2.设形如的素数只有有限多个,设为,考虑奇数,易知,故有素数因子。如果这些素数因子都是形式,则它们的积也是这种形式。但是的形式,从而必有一个素数因子形如,又显然不同于,矛盾。
3.可取
4.反证法:假设有一组与使是模的完系,则
即。因为是偶数,这不能成立。
5.由威尔逊定理,模的任一缩系的乘积
6.(1)因,故,但显然,所以。
(2)因,故,对归纳得出证明。
文档评论(0)