数论(9):费马小定理与欧拉定理

概述:

费马小定理和欧拉定理是数论中非常重要的两个定理,对解决整除问题和同余问题有着强大的功能。

费马小定理与欧拉定理

费马小定理:m 为质数且 a 不为 m 的倍数(即:gcd(a,m)=1时有 am11 mod (m)

另一个形式:对于任意整数 a ,有 ama(modm)

根据费马小定理可知: am2 就是 a 在模 m 意义下的逆元.

欧拉定理:a , m 互质时, aϕ(m) 1 mod (m) (这个式子也可以求逆元)

其实根据欧拉函数,我们可以看出费马小定理就是欧拉定理的特殊情况,因为若 m 为质数:ϕ(m)=m1

简单来说欧拉函数 φ(n) 是小于等于 n 的正整数中与 n 互质的数的个数。

费马小定理证明

设一个质数为 p ,我们取一个不为 p 倍数的数 a

构造一个序列: A={1,2,3,p1} ,这个序列有着这样一个性质:

i=1n Aii=1n(Ai×a)(modp)

证明:

(Ai,p)=1,(Ai×a,p)=1

又因为每一个 Ai×a(modp) 都是独一无二的,且 Ai×a(modp)<p

得证(每一个 Ai×a 都对应了一个 Ai )

f=(p1)! , 则 fa×A1×a×A2×a×A3×Ap1(modp)

ap1×ff(modp)ap11(modp)

证毕。

应用

首先看一个基本的例子。

a=3n=5,这两个数是互素的。

5 小的正整数中与 5 互素的数有 1234,所以 φ(5)=4

计算: aφ(n)=34=81,而 81=80+11mod 5

与定理结果相符。

简化幂的模运算

这个定理可以用来简化幂的模运算。

比如计算7222的个位数,实际是求722210除的余数。

710互素,且φ(10)=4

由欧拉定理知741 (mod 10)

所以7222=(74)55(72)15572499 (mod 10)

欧拉定理证明

实际上这个证明过程跟上文费马小定理的证明过程是非常相似的: 构造一个与 m 互质的数列 ,再进行操作。

r1,r2,,rφ(m) 为模 m 意义下的一个简化剩余系,则 ar1,ar2,,arφ(m) 也为模 m 意义下的一个简化剩余系。所以 r1r2rφ(m)ar1ar2arφ(m)aφ(m)r1r2rφ(m)(modm) ,可约去 r1r2rφ(m) ,即得 aφ(m)1(modm)

m 为素数时,由于 φ(m)=m1 ,代入欧拉定理可立即得到费马小定理。

参考

Wiki:https://zh.wikipedia.org/wiki/%E8%B4%B9%E9%A9%AC%E5%B0%8F%E5%AE%9A%E7%90%86

欧拉定理

费马小定理、欧拉定理与扩展欧拉定理(含证明)

数论四大定理之欧拉定理

RSA算法原理(一)之欧拉定理

posted @   RioTian  阅读(1595)  评论(0编辑  收藏  举报
编辑推荐:
· 探究高空视频全景AR技术的实现原理
· 理解Rust引用及其生命周期标识(上)
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
· 没有源码,如何修改代码逻辑?
· 一个奇形怪状的面试题:Bean中的CHM要不要加volatile?
阅读排行:
· Obsidian + DeepSeek:免费 AI 助力你的知识管理,让你的笔记飞起来!
· 分享4款.NET开源、免费、实用的商城系统
· 解决跨域问题的这6种方案,真香!
· 一套基于 Material Design 规范实现的 Blazor 和 Razor 通用组件库
· 5. Nginx 负载均衡配置案例(附有详细截图说明++)
点击右上角即可分享
微信分享提示

📖目录