欧拉定理:

若正整数 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)

欧拉定理 证明及推论相关推荐

  1. 离散对数和原根 欧拉定理证明

    http://www.cppblog.com/luyulaile/archive/2012/04/11/170855.aspx 欧拉定理证明 && 欧拉公式 源地址: http://w ...

  2. 伽利略变换的极限式证明及推论

    [摘要]爱因斯坦在创立相对论之初,对牛顿力学中使用伽利略变换研究惯性系理论提出了质疑,理由是:伽利略变换中默认了两惯性系采用相同的时间标准即t' =t,如果没有这个默认,就会有t'≠t,于是爱因斯坦提 ...

  3. 哥尼斯堡七桥——Euler欧拉定理证明

    昨天和同学复习图论,深入讨论了欧拉定理,有了相对透彻的理解,我希望写下来,我的博客就是我的笔记本,记录学习的点点滴滴而已. 定理5.1   设G为非空连通图,则G为 Euler图  <=> ...

  4. 【定积分】区间再现公式的证明及其推论

  5. 三个重要的同余式——威尔逊定理、费马小定理、欧拉定理 + 求幂大法的证明

    一.威尔逊定理 若p为质数,则 p|(p-1)!+1 亦:(p-1)! ≡ p-1 ≡ -1(mod p) 例题: HDU 2973 YAPTCHA (威尔逊定理及其逆定理) 解题报告见http:// ...

  6. 欧拉定理,费马小定理证明

    今天呕心沥血地花了40分钟去研究欧拉定理的证明,终于是明白了,同时,作为欧拉儿子定理的费马小定理,自然毫无压力的搞定了. 为了方便随时查看,在这里转载一下(360百科). 内容: 在数论中,欧拉定理, ...

  7. 欧拉定理与费马小定理的证明过程

    转载自http://blog.csdn.net/Cold_Chair/article/details/52235196 内容: 在数论中,欧拉定理,(也称费马-欧拉定理)是一个关于同余的性质.欧拉定理 ...

  8. 欧拉定理学习20161004

    初等数论四大定理(威尔逊定理,欧拉定理(数论中的欧拉定理),中国剩余定理(又称孙子定理)和费马小定理) 费马小定理(Fermat Theory)是数论中的一个重要定理,其内容为: 假如p是质数,且gc ...

  9. 欧拉定理、快速幂与逆元

    Color the necklace 时间限制:2000 ms  |  内存限制:65535 KB 难度:0 描述 As we all know, girls love necklaces, espe ...

最新文章

  1. fireworks CS5安装教程
  2. 工业交换机和工业级光纤收发器的区别
  3. poj 3026 BorgMaze 最小生成树Kruskal、Prim(Prim VS报错待解决
  4. p2p网络中的NAT穿透技术----常见NAT穿越解决方案
  5. 四部门对蚂蚁集团提出整改要求,蚂蚁集团:已立即着手制定整改方案
  6. 晨哥真有料丨宁缺毋滥会等来一个很好的人吗?
  7. iOS开发之App上架流程(2017)
  8. 四级网络工程师-操作系统
  9. 小球碰撞(理解ing)
  10. Smart3D飞控地方坐标系
  11. linux服务器常用软件部署搭建
  12. boost::bind 详解
  13. gnu coreutils4.5.1 hostid.c源码解读
  14. Cosmos 是什么? 一文了解Cosmos的来龙去脉
  15. 解决ios微信页面回退不刷新的问题
  16. swper 实现滑动切换功能的两种方式
  17. Delphi 鼠标模拟点击
  18. AngularJS博友的笔记教程
  19. phone4s怎么越狱?iphone4s越狱教程图文解...
  20. python time模块_Python time模块和datetime模块

热门文章

  1. 小程序开发总结-SPUSKU
  2. YOLOv8+tracking与YOLOv5+tracking performance score对比
  3. 《Effective Java》阅读笔记(二)
  4. “欧巴,帮我调试个bug好么?”看看12星座程序猿的反应
  5. 重庆自考考籍怎么查询?
  6. oracle的rac环境,ORACLE rac环境配置
  7. ROS学习(四):消息格式
  8. 寻找相似集 similar sets
  9. 学霸必备的超好用APP必备学习软件
  10. 架构师接龙:盛大许式伟VS. 金山张宴