欧拉定理 费马小定理
前言
学基础数论的时候看过证明,然而很快就忘了,最近在学习高深一点的数论,于是再复习一下欧拉定理和费马小定理。
欧拉定理
内容
若正整数 \(a,n\) 互质,则 \(a^{\varphi(n)}\equiv1(mod \ n)\) 。
证明
设 \(x_1,x_2,...,x_{\varphi(n)}\) 为 \(n\) 以内与 \(n\) 互质的数。
它们具有以下性质:
- 任意两个数模 \(n\) 的余数一定不同。
- 对于任意 \(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
欧拉定理 费马小定理相关推荐
- 算法 {欧拉函数,欧拉定理,费马小定理}
欧拉函数 定义 ϕ ( x ) , x ∈ N + \phi(x), \ \ x \in N^+ ϕ(x), x∈N+ means the number of y ∈ N + y \in N^+ y ...
- 【BZOJ】3398: [Usaco2009 Feb]Bullcow 牡牛和牝牛(排列组合+乘法逆元+欧拉定理/费马小定理)...
http://www.lydsy.com/JudgeOnline/problem.php?id=3398 以下牡牛为a,牝牛为b. 学完排列计数后试着来写这题,"至少"一词可以给我 ...
- 初等数论四大定理(威尔逊定理,欧拉定理,费马小定理,中国剩余定理)
初等数论四大定理 1. 威尔逊定理 (1) 结论 当且仅当ppp为素数时,(p−1)!≡−1(modp)(p-1)!\equiv -1(\mod p)(p−1)!≡−1(modp). (2) 证明 充 ...
- 密码学基础——辗转相除法,费马小定理,欧拉定理,裴蜀定理,中国剩余定理
文章主要根据百度百科和维基百科相关相关知识点整理而成! 辗转相除法 辗转相除法, 又名欧几里德算法(Euclidean algorithm),是求最大公约数的一种方法.它的具体做法是:用较小数除较大数 ...
- 数论四大定理(欧拉定理、费马小定理、中国剩余定理、威尔逊定理)
前置知识 同余 假设 a,ba,ba,b 都是整数,如果 nnn 是一个正整数,且存在整数 kkk 使得 a−b=k×na−b=k \times na−b=k×n,则称 a,ba,ba,b 模 nnn ...
- 同余定理 逆元 中国剩余定理 费马小定理
同余定理 同余定理是数论中的重要概念.给定一个正整数m,如果两个整数a和b满足(a-b)能够被m整除,即(a-b)/m得到一个整数,那么就称整数a与b对模m同余,记作a≡b(mod m). 两个整数a ...
- 「欧拉定理」学习笔记(费马小定理)
欧拉定理:对于互质的两个正整数$a, n$,满足$a^{φ(n)} ≡ 1\ (mod\ n)$ 证明: 设集合$S$包含所有$n$以内与$n$互质的数,共有$φ(n)$个:$$S = \{ x_1 ...
- 关于素数常用结论--威尔逊定理、欧拉定理、费马小定理、米勒罗宾算法
再需要判定的数比较大时,用枚举法肯定不行的,但目前数学界也没有任何一种又快又准确的判定素数的方法,并且也证明了素数不存在任何一种通项表达式.但作为初等数论中最大的一部分内容,数学家们对素数性质进行了大 ...
- 初等数论--同余--欧拉函数、欧拉定理、费马小定理
初等数论--同余--欧拉函数.欧拉定理.费马小定理 概念 同余类,既约同余类 欧拉函数 完全剩余系,既约剩余系 关于完全剩余系.既约剩余系一些比较简单的定理 欧拉定理.费马小定理 博主是初学初等数论( ...
最新文章
- Chapter 2 Open Book——29
- 计算机网络各种传输介质说明
- 写给计算机的大学生!
- 远洋整站下载器不能用https_最后下载个喜马拉雅
- ThinkPHP3.2.3执行页面循环案例代码(部分)
- java invocationtarget,Java异常处理之java.lang.reflect.InvocationTargetException
- 数据库: asc和desc的意思
- 图解算法之排序算法(6)——快速排序
- QUIC 将会是 WebRTC 的未来么?
- python调用matlab函数_python调用matlab的m自定义函数方法
- python运维实战pdf_python运维实例.pdf
- python数据集获取与基本使用(sklearn自带的数据集、UCI数据集)
- Java 堆排序(大根堆及小根堆)
- skimage rescale_intensity函数
- C语言指针的正确打开方式!
- 啦啦啦啦啦啦啦啦啦啦啦啦这是一篇分界线
- html easyui怎么实现折叠面板,Easyui 创建折叠面板_EasyUI 教程
- CSS图片3D旋转效果
- python音频 降噪_python降噪_python音频降噪_python图片降噪 - 云+社区 - 腾讯云
- 在一家信息安全公司工作是什么感受?