欧拉定理 证明及推论
欧拉定理:
若正整数 a , n 互质,则 aφ(n)≡1(mod n) 其中 φ(n) 是欧拉函数(1~n) 与 n 互质的数。
证明如下:
不妨设X1,X2 ...... Xφn是1~n与n互质的数。
首先我们先来考虑一些数:aX1,aX2 ...... aXφn
这些数有如下两个性质:
(1)任意两个数模n余数一定不同:(反证)
若存在aX1≡aX2(mod n),则 n |( aX1 - aX2 ),
而a,n互质且(X1 - X2)< n,所以n不可能整除( aX1 - aX2 ),也就是说不存在aX1≡aX2(mod n)。
归纳法:对于任意的与n互质的Xi均成立。故得证。
那么因为有 φn 个这样的数,Xi mod n(i=1~φn)所以就有 φn 个不同的余数,并且都是模数自然是(0~n-1)。
(2)对于任意的aXi(mod n)都与n互质。
这不难想,因为a与n互质这是欧拉函数的条件,Xi是(1~n)与n互质的数的集合中的元素。
所以如果 a*Xi 做为分子,n做为分母,那么
他们构成的显然就是一个最简分数,也就是aXi和n互质。
接下来就可以用欧几里得算法:
因为:gcd(aXi,n)==1
所以:gcd(aXi,n)== gcd(n,aXi%n)== 1
切入正题
这样,我们把上面两个性质结合一下来说,aX1(mod n),aX2(mod n) ...... aXφn(mod n)构成了一个集合(性质1证明了所有元素的互异性),并且这些数是1~n与n互质的所有数构成的集合(性质1已说明)。
这样,我们巧妙的发现了,集合{ aX1(mod n),aX2(mod n) ...... aXφn(mod n)}
经过一定的排序后和集合{ X1,X2 ...... Xφn }
完全 一 一 对应。
那么:aX1(mod n)* aX2(mod n)* ...... * aXφn(mod n)= X1 * X2 * ...... * Xφn
因此:我们可以写出以下式子:
aX1 * aX2 * ...... * aXφn ≡ X1 * X2 * ...... * Xφn (mod n),即:(aφn -1)X1 * X2 * ...... * Xφn ≡ 0 (mod n)
又因为X1 * X2 * ...... * Xφn与n互质,所以, (aφn -1)| n,那么aφn ≡ 1(mod n)。
欧拉定理得证。
欧拉定理的推论:
若正整数a,n互质,那么对于任意正整数b,有ab≡ab mod φ(n)(mod n)
证明如下:(类似费马小定理的证明)
把目标式做一简单变形:ab - b mod φ(n)* ab mod φ(n)≡ ab mod φ(n)(mod n),
所以接下来只需要证明 ab - b mod φ(n)≡ 1 (mod n),
又因为:( b - b mod φ(n))| φ(n),
不妨设:( b - b mod φ(n))= q*φ(n)(q为自然数),
则有aq*φ(n)== (aq)φ(n),
因为a,n互质,那么(aq)与n也互质,
那么就转换到了欧拉定理:(aq)φ(n)≡ 1 (mod n),成立。
所以我们这个推论成立。
不过,这个推论能干嘛呢???
这个推论可以帮助我们在求幂运算的时候缩小数据范围和计算次数。
具体的说:在求乘方运算时,可以先把底数对mod取模,再把指数对b mod φ(n)取模。
特别的,如果a,mod不互质,且b>φ(n)时,ab ≡ ab mod φ(n)+ φ(n)(mod n)。
欧拉定理 证明及推论相关推荐
- 离散对数和原根 欧拉定理证明
http://www.cppblog.com/luyulaile/archive/2012/04/11/170855.aspx 欧拉定理证明 && 欧拉公式 源地址: http://w ...
- 伽利略变换的极限式证明及推论
[摘要]爱因斯坦在创立相对论之初,对牛顿力学中使用伽利略变换研究惯性系理论提出了质疑,理由是:伽利略变换中默认了两惯性系采用相同的时间标准即t' =t,如果没有这个默认,就会有t'≠t,于是爱因斯坦提 ...
- 哥尼斯堡七桥——Euler欧拉定理证明
昨天和同学复习图论,深入讨论了欧拉定理,有了相对透彻的理解,我希望写下来,我的博客就是我的笔记本,记录学习的点点滴滴而已. 定理5.1 设G为非空连通图,则G为 Euler图 <=> ...
- 【定积分】区间再现公式的证明及其推论
- 三个重要的同余式——威尔逊定理、费马小定理、欧拉定理 + 求幂大法的证明
一.威尔逊定理 若p为质数,则 p|(p-1)!+1 亦:(p-1)! ≡ p-1 ≡ -1(mod p) 例题: HDU 2973 YAPTCHA (威尔逊定理及其逆定理) 解题报告见http:// ...
- 欧拉定理,费马小定理证明
今天呕心沥血地花了40分钟去研究欧拉定理的证明,终于是明白了,同时,作为欧拉儿子定理的费马小定理,自然毫无压力的搞定了. 为了方便随时查看,在这里转载一下(360百科). 内容: 在数论中,欧拉定理, ...
- 欧拉定理与费马小定理的证明过程
转载自http://blog.csdn.net/Cold_Chair/article/details/52235196 内容: 在数论中,欧拉定理,(也称费马-欧拉定理)是一个关于同余的性质.欧拉定理 ...
- 欧拉定理学习20161004
初等数论四大定理(威尔逊定理,欧拉定理(数论中的欧拉定理),中国剩余定理(又称孙子定理)和费马小定理) 费马小定理(Fermat Theory)是数论中的一个重要定理,其内容为: 假如p是质数,且gc ...
- 欧拉定理、快速幂与逆元
Color the necklace 时间限制:2000 ms | 内存限制:65535 KB 难度:0 描述 As we all know, girls love necklaces, espe ...
最新文章
- fireworks CS5安装教程
- 工业交换机和工业级光纤收发器的区别
- poj 3026 BorgMaze 最小生成树Kruskal、Prim(Prim VS报错待解决
- p2p网络中的NAT穿透技术----常见NAT穿越解决方案
- 四部门对蚂蚁集团提出整改要求,蚂蚁集团:已立即着手制定整改方案
- 晨哥真有料丨宁缺毋滥会等来一个很好的人吗?
- iOS开发之App上架流程(2017)
- 四级网络工程师-操作系统
- 小球碰撞(理解ing)
- Smart3D飞控地方坐标系
- linux服务器常用软件部署搭建
- boost::bind 详解
- gnu coreutils4.5.1 hostid.c源码解读
- Cosmos 是什么? 一文了解Cosmos的来龙去脉
- 解决ios微信页面回退不刷新的问题
- swper 实现滑动切换功能的两种方式
- Delphi 鼠标模拟点击
- AngularJS博友的笔记教程
- phone4s怎么越狱?iphone4s越狱教程图文解...
- python time模块_Python time模块和datetime模块