前言

学基础数论的时候看过证明,然而很快就忘了,最近在学习高深一点的数论,于是再复习一下欧拉定理和费马小定理。

欧拉定理

内容

若正整数 \(a,n\) 互质,则 \(a^{\varphi(n)}\equiv1(mod \ n)\) 。

证明

设 \(x_1,x_2,...,x_{\varphi(n)}\) 为 \(n\) 以内与 \(n\) 互质的数。

它们具有以下性质:

  1. 任意两个数模 \(n\) 的余数一定不同。
  2. 对于任意 \(ax_i\) 与 \(n\) 互质。

以上性质显然,证明略。

我们将 \(x_1,x_2,...,x_{\varphi(n)}\) 定为一个集合, \(ax_1(mod \ n),ax_2(mod \ n),...,ax_{\varphi(n)}(mod \ n)\) 定为另一个集合,显而易见,这两个集合是相等的。

于是有

\[x_1*x_2*...*x_{\varphi{n}}=ax_1(mod \ n)*ax_2(mod \ n)*...*ax_{\varphi(n)}(mod \ n)\]

所以

\[ax_1*ax_2*...*ax_{\varphi(n)}\equiv x_1*x_2*...*x_{\varphi(n)}\]

\[a^{\varphi(n)}\equiv 1(mod \ n)\]

得证。

费马小定理

内容

对于质数 \(p\) ,任意整数 \(a\) ,均满足 \(a^p\equiv a(mod \ p)\) 。

证明

我们可以利用欧拉定理来证。

先将式子作一个简单变换

\[a^{p-1}*a\equiv a(mod \ p)\]

\[a^{p-1}\equiv 1(mod \ p)\]

因为 \(p\) 为质数,所以 \(\varphi(p)=p-1\) ,于是得到了这个式子

\[a^{\varphi(p)}\equiv 1(mod \ p)\]

根据欧拉定理,若 \(a,p\) 互质,则式子成立;若 \(a,p\) 不互质,因为 \(p\) 是质数,所以 \(a\) 是 \(p\) 的倍数,显然 \(a^p \ mod \ p=a \ mod \ p=0\) ,定理成立。

综上,费马小定理成立。

欧拉定理的推论

内容

若正整数 \(a,n\) 互质,那么对于任意正整数 \(b\) ,有 \(a^b\equiv a^{b \ mod \ \varphi(n)}(mod \ n)\) 。

证明

变形得

\[a^{b \ - \ b \ mod \ \varphi(n)}*a^{b \ mod \ \varphi(n)}\equiv a^{b \ mod \ \varphi(n)}(mod \ n)\]

\[a^{b \ - \ b \ mod \ \varphi(n)}\equiv 1(mod \ n)\]

因为 \(b \ - \ b \ mod \ \varphi(n)|\varphi(n)\) ,不妨设 \(b \ - \ b \ mod \ \varphi(n)=p*\varphi(n)\) ,于是有

\[(a^p)^{\varphi(n)}\equiv 1(mod \ n)\]

因为 \(a,n\) 互质,所以 \(a^p,n\) 互质,由欧拉定理可证,推论成立。

参考

orz

转载于:https://www.cnblogs.com/hlw1/p/11523427.html

欧拉定理 费马小定理相关推荐

  1. 算法 {欧拉函数,欧拉定理,费马小定理}

    欧拉函数 定义 ϕ ( x ) , x ∈ N + \phi(x), \ \ x \in N^+ ϕ(x),  x∈N+ means the number of y ∈ N + y \in N^+ y ...

  2. 【BZOJ】3398: [Usaco2009 Feb]Bullcow 牡牛和牝牛(排列组合+乘法逆元+欧拉定理/费马小定理)...

    http://www.lydsy.com/JudgeOnline/problem.php?id=3398 以下牡牛为a,牝牛为b. 学完排列计数后试着来写这题,"至少"一词可以给我 ...

  3. 初等数论四大定理(威尔逊定理,欧拉定理,费马小定理,中国剩余定理)

    初等数论四大定理 1. 威尔逊定理 (1) 结论 当且仅当ppp为素数时,(p−1)!≡−1(modp)(p-1)!\equiv -1(\mod p)(p−1)!≡−1(modp). (2) 证明 充 ...

  4. 密码学基础——辗转相除法,费马小定理,欧拉定理,裴蜀定理,中国剩余定理

    文章主要根据百度百科和维基百科相关相关知识点整理而成! 辗转相除法 辗转相除法, 又名欧几里德算法(Euclidean algorithm),是求最大公约数的一种方法.它的具体做法是:用较小数除较大数 ...

  5. 数论四大定理(欧拉定理、费马小定理、中国剩余定理、威尔逊定理)

    前置知识 同余 假设 a,ba,ba,b 都是整数,如果 nnn 是一个正整数,且存在整数 kkk 使得 a−b=k×na−b=k \times na−b=k×n,则称 a,ba,ba,b 模 nnn ...

  6. 同余定理 逆元 中国剩余定理 费马小定理

    同余定理 同余定理是数论中的重要概念.给定一个正整数m,如果两个整数a和b满足(a-b)能够被m整除,即(a-b)/m得到一个整数,那么就称整数a与b对模m同余,记作a≡b(mod m). 两个整数a ...

  7. 「欧拉定理」学习笔记(费马小定理)

    欧拉定理:对于互质的两个正整数$a, n$,满足$a^{φ(n)} ≡ 1\  (mod\ n)$ 证明: 设集合$S$包含所有$n$以内与$n$互质的数,共有$φ(n)$个:$$S = \{ x_1 ...

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

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

  9. 初等数论--同余--欧拉函数、欧拉定理、费马小定理

    初等数论--同余--欧拉函数.欧拉定理.费马小定理 概念 同余类,既约同余类 欧拉函数 完全剩余系,既约剩余系 关于完全剩余系.既约剩余系一些比较简单的定理 欧拉定理.费马小定理 博主是初学初等数论( ...

最新文章

  1. Chapter 2 Open Book——29
  2. 计算机网络各种传输介质说明
  3. 写给计算机的大学生!
  4. 远洋整站下载器不能用https_最后下载个喜马拉雅
  5. ThinkPHP3.2.3执行页面循环案例代码(部分)
  6. java invocationtarget,Java异常处理之java.lang.reflect.InvocationTargetException
  7. 数据库: asc和desc的意思
  8. 图解算法之排序算法(6)——快速排序
  9. QUIC 将会是 WebRTC 的未来么?
  10. python调用matlab函数_python调用matlab的m自定义函数方法
  11. python运维实战pdf_python运维实例.pdf
  12. python数据集获取与基本使用(sklearn自带的数据集、UCI数据集)
  13. Java 堆排序(大根堆及小根堆)
  14. skimage rescale_intensity函数
  15. C语言指针的正确打开方式!
  16. 啦啦啦啦啦啦啦啦啦啦啦啦这是一篇分界线
  17. html easyui怎么实现折叠面板,Easyui 创建折叠面板_EasyUI 教程
  18. CSS图片3D旋转效果
  19. python音频 降噪_python降噪_python音频降噪_python图片降噪 - 云+社区 - 腾讯云
  20. 在一家信息安全公司工作是什么感受?

热门文章

  1. 2022-2028年中国急救中心行业发展战略规划及未来前景展望报告
  2. 如何定位并优化慢查询Sql
  3. java通过异常处理错误,java基础之通过错误处理异常
  4. Docker学习(五)-----Docker查看日志
  5. 【Sql Server】DateBase-连接查询
  6. 【运维学习笔记】生命不息,搞事开始。。。
  7. web服务器tornada,flask问题
  8. 方差协方差以及协方差矩阵
  9. 智能驾驶计算平台算力技术
  10. pytorch空间变换网络