欧拉定理:对于互质的两个正整数 aaa 和 mmm,若 (a,m)=1(a,m) = 1(a,m)=1,那么 aϕ(m)≡1(modm)a^{\phi(m)}\equiv 1\pmod maϕ(m)≡1(modm) 。注意 m>1m>1m>1 。

根据欧拉定理我们知道,aϕ(m)≡1(modm)a^{\phi(m)}\equiv 1\pmod maϕ(m)≡1(modm) 。因此,a1,a2,...a^1,a^2,...a1,a2,... 这样一个数列在模 mmm 意义下将有一个长度为 ϕ(m)\phi(m)ϕ(m) 的循环节。

我们定义最短的循环节长度为 ordmaord_maordm​a 。严格地,定义 aaa 在模 mmm 的意义下的阶是同余方程 ax≡0(modm)a^x\equiv 0\pmod max≡0(modm) 的最小正整数解。

显然,ordmaord_maordm​a 一定是 ϕ(m)\phi(m)ϕ(m) 的因数。特别地,当 ordma=ϕ(m)ord_ma=\phi(m)ordm​a=ϕ(m) 时,就称 aaa 为模 mmm 下的一个原根。

并不是所有数都存在原根。正整数有原根的充要条件为:它能表示为下列形式之一:2,4,pn,2pn2,4,p^n,2p^n2,4,pn,2pn 。其中 ppp 为奇素数。

那么如何判断一个数有多少原根?如果 aaa 是 mmm 的一个原根,当且仅当 (b,ϕ(m))=1(b,\phi(m))=1(b,ϕ(m))=1 时,aba^bab 在模 ppp 意义下也是原根。证明如下:根据幂运算的性质,ab∗ord(ab)≡1(modm)a^{b*ord(a^b)}\equiv 1\pmod mab∗ord(ab)≡1(modm) 。那么底数相同,得到 ϕ(m)∣b∗ord(ab)\phi(m)|b*ord(a^b)ϕ(m)∣b∗ord(ab) ,即是 ord(ab)=ϕ(m)(ϕ(m),b)ord(a^b)=\frac{\phi(m)}{(\phi(m),b)}ord(ab)=(ϕ(m),b)ϕ(m)​ 。当且仅当 (b,ϕ(m))=1(b,\phi(m))=1(b,ϕ(m))=1 时 ord(ab)=ϕ(m)ord(a^b)=\phi(m)ord(ab)=ϕ(m) 。

又因为 a1,a2,...,aϕ(m)a^1,a^2,...,a^{\phi(m)}a1,a2,...,aϕ(m) 在模 mmm 意义下互不相同,其中 as∣(s,ϕ(m))=1a^s|(s,\phi(m))=1as∣(s,ϕ(m))=1 是原根,而 sss 一共有 ϕ(ϕ(m))\phi(\phi(m))ϕ(ϕ(m)) 种取值,所以一共有 ϕ(ϕ(m))\phi(\phi(m))ϕ(ϕ(m)) 个原根(容易证明它们就是 mmm 的所有原根,因为模 mmm 最多有 ϕ(m)\phi(m)ϕ(m) 种取值)。

这同时启示我们,求原根时,只需要找到一个原根,就很容易得到全部原根。因为最小原根不超过 n0.25n^{0.25}n0.25 。

威尔逊定理:设正整数 p≥2p\geq 2p≥2。当且仅当 ppp 是素数时,(p−1)!≡p−1(modp)(p-1)!\equiv p-1\pmod p(p−1)!≡p−1(modp) 。否则如果 p=4p=4p=4 ,那么 (p−1)!≡2(modp)(p-1)!\equiv 2\pmod p(p−1)!≡2(modp) ;其余情况 (p−1)!≡0(modp)(p-1)!\equiv 0\pmod p(p−1)!≡0(modp) 。注意 p=4p=4p=4 要特判。

扩展欧拉定理:设 m>1m>1m>1 ,aaa 和 mmm 不互质,如果 b≥ϕ(m)b\geq \phi(m)b≥ϕ(m) , 那么 ab≡abmodϕ(m)+ϕ(m)(modm)a^{b}\equiv a^{b\bmod \phi(m)+\phi(m)}\pmod mab≡abmodϕ(m)+ϕ(m)(modm) 。

证明:考虑把 mmm 质因数分解,只要对于任意 piqip_i^{q_i}piqi​​ 满足 ab≡abmodϕ(m)+ϕ(m)(modpiqi)a^{b}\equiv a^{b\bmod \phi(m)+\phi(m)}\pmod {p_i^{q_i}}ab≡abmodϕ(m)+ϕ(m)(modpiqi​​) 即可。

现在再分类讨论 piqip_i^{q_i}piqi​​ 。

  • 若 (piqi,a)=1(p_i^{q_i},a)=1(piqi​​,a)=1 那么根据欧拉定理有 aϕ(m)≡1(modm)a^{\phi(m)}\equiv 1\pmod maϕ(m)≡1(modm) 。又因为 ab≡a⌊b/ϕ(m)⌋∗ϕ(m)+bmodϕ(m)(modpiqi)a^{b}\equiv a^{\lfloor b/\phi(m)\rfloor *\phi(m)+b\bmod \phi(m)}\pmod {p_i^{q_i}}ab≡a⌊b/ϕ(m)⌋∗ϕ(m)+bmodϕ(m)(modpiqi​​) ,注意到欧拉函数是 积性函数 ,所以 ϕ(piqi)∣ϕ(m)\phi(p_i^{q_i})|\phi(m)ϕ(piqi​​)∣ϕ(m),因此上述结论是显然的。
  • 若 (piqi,a)≠1(p_i^{q_i},a)\neq 1(piqi​​,a)​=1 ,则 aaa 一定是 pip_ipi​ 的倍数,注意到 ϕ(m)≥ϕ(piqi)=piqi−1(pi−1)≥qi\phi(m)\geq \phi(p_i^{q_i})=p_i^{q_i-1}(p_i-1)\geq q_iϕ(m)≥ϕ(piqi​​)=piqi​−1​(pi​−1)≥qi​ ,所以 piqi∣aϕ(m)p_i^{q_i}|a^{\phi(m)}piqi​​∣aϕ(m) ,同时因为 b≥ϕ(m)b\geq \phi(m)b≥ϕ(m) 所以 piqi∣abp_i^{q_i}|a^bpiqi​​∣ab ,等式左右都为 0 所以是成立的。

证毕。

注意这个式子只对 b≥ϕ(m)b\geq \phi(m)b≥ϕ(m) 成立。(从第二条证明可以看出)。

【学习笔记】原根 + 欧拉定理 + 威尔逊定理相关推荐

  1. 【学习笔记】矩阵树定理(Matrix-Tree)

    整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 目录 一.矩阵树定理 二.常用定理 三.例题 1. Luogu P6178 [模板]Matrix-Tr ...

  2. lucas定理 学习笔记

    lucas定理 学习笔记 文章目录 lucas定理 学习笔记 介绍 combination 题目描述 输入格式 输出格式 样例 输入样例1 输出样例2 分析 code 扩展lucas 介绍 lucas ...

  3. PointNet学习笔记(二)——支撑材料(理论证明)

    PointNet学习笔记(二)--支撑材料(理论证明) 这一部分记录了PointNet中两个定理的证明和博主的学习笔记.具体的定理可以参见论文学习笔记,这里仅给出证明.更新于2018.10.12. 文 ...

  4. 7. 数论四大定理(威尔逊定理、欧拉定理、费马小定理、孙子定理)

    一.准备工作 点击查看数论基础知识 二.威尔逊定理 威尔逊定理给出了判定一个自然数是否为素数的充分必要条件.但是由于阶乘是呈爆炸增长的,其结论对于实际操作意义不大. 1. 定理及其变形 当且仅当p为素 ...

  5. 关于素数常用结论--威尔逊定理、欧拉定理、费马小定理、米勒罗宾算法

    再需要判定的数比较大时,用枚举法肯定不行的,但目前数学界也没有任何一种又快又准确的判定素数的方法,并且也证明了素数不存在任何一种通项表达式.但作为初等数论中最大的一部分内容,数学家们对素数性质进行了大 ...

  6. poj12652954 [皮克定理 格点多边形]【学习笔记】

    Q:皮克定理这种一句话的东西为什么还要写学习笔记啊? A:多好玩啊... PS:除了蓝色字体之外都是废话啊...  Part I 1.顶点全在格点上的多边形叫做格点多边形(坐标全是整数) 2.维基百科 ...

  7. 【学习笔记】关于最大公约数(gcd)的定理

    [学习笔记]关于最大公约数(gcd)的定理 手动博客搬家: 本文发表于20181004 00:21:28, 原地址https://blog.csdn.net/suncongbo/article/det ...

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

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

  9. 冈萨雷斯《数字图像处理》学习笔记(4)--图像复原与重建(含傅里叶切片定理推导)

    一.图像复原模型 若H是线性的,空间不变的过程,则退化图像在空间域通过下式给出: g(x,y)=h(x,y)∗f(x,y)+δ(x,y)g(x,y)=h(x,y)*f(x,y)+\delta(x,y) ...

最新文章

  1. animation与transition区别
  2. 为什么老外不愿意用 MyBatis?
  3. Laravel 5.5 的错误异常处理机制以及应用实例
  4. 使用码云git的webhook实现生产环境代码的自动pull
  5. 初次见面,如何令人永远难忘
  6. jQuery学习之四---Ajax请求
  7. 宽带服务器盒信号灯红色闪烁,宽带出现光信号灯是红色是怎么回事
  8. Robocode:下载安装及迁移至IntelliJ
  9. Excel自动化教程之通过python将Excel与Word集成无缝生成自动报告
  10. HZAU 1001 Handing Out Candies
  11. 网络营销中促销的含义、特点和功能
  12. linux下4g拨号上网问题,解决 Ubuntu 18.04 下无法建立 4G 拨号的问题
  13. Java 序列化对象为json字符串,属性首字母大写,并按照属性首字母排序
  14. 三星mzvlb1t0hblr是什么固态_固态硬盘跑分速度天梯图/天梯表,最全搜集。
  15. 计算机勾兑双绝是谁发明,勾兑大师范玉平之“舌尖上的五粮液”
  16. 网络扫描技术揭秘读书笔记3--TCP SYN扫描
  17. 【深度学习/机器学习】为什么要归一化?归一化方法详解
  18. 在win10系统上使用Hyper-v创建虚拟机(win7)并设置文件共享
  19. SQL中“||”的作用
  20. 面试”作弊“,不看绝对会后悔!

热门文章

  1. 九月开始复习计算机考研,2019计算机考研复习不要盲目开始
  2. php 会员 开源,会员组_POSCMS_PHP开源_迅睿CMS系统
  3. Object.values()
  4. JAVA:不使用第三个变量,交换两个变量的值
  5. Verilog中的Signed Decimal与Signed Magnitude区别
  6. 软考是什么?为什么要考?
  7. tree.js 酷炫的效果,人脸识别签到思路,html5 3D微信头像自动抽奖代码
  8. 自动化运维工具Ansible(2)ad-hoc
  9. 从原理层面掌握@RequestAttribute、@SessionAttribute的使用【享学Spring MVC】
  10. c语言内存池中 二维数组,C语言内存池使用模型-2 - Mr.南柯 - 51Testing软件测试网 51Testing软件测试网-软件测试人的精神家园...