费马-欧拉定理证明

最新推荐文章于 2022-03-02 16:00:11 发布

lleozhang

最新推荐文章于 2022-03-02 16:00:11 发布

阅读量2.1k

点赞数

分类专栏：数论文章标签：数论

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/lleozhang/article/details/82820017

版权

数论专栏收录该内容

14 篇文章 0 订阅

订阅专栏

费马小定理： $a^{p-1} \equiv 1 mod p$

引理：若集合{f}={f1,f2,f3...fm-1}中元素对m取模的结果遍历了（1~m-1）所有值，且k与m互质，则{f1k,f2k,f3k...}对m取模的结果同样遍历（1~m-1）所有值

（或者用偏理论的语言描述：如果{a1,a2,a3...am}是m的一个完全剩余系，且k与m互质，则{a1k,a2k...amk}也是m的一个完全剩余系）

证明：

应用反证法，假设:

$fp*k\equiv fq*k (mod m)$

于是：

设 $fp*k=a1*m+b1$ ①

$fq*k=a2*m+b1$ ②

②-①，得： $(fq-fp)*k =(a2-a1)*m$

即 $(fq-fp)*k$ 与m不互质

又∵k与m互质

∴ $(fq-fp)$ 与m不互质

不妨设 $(fq-fp)=cm$

于是 $fq=fp+cm$

两侧对m取模，得：

$fq\equiv fp (mod m)$

这与{f}是m的一个完全剩余系矛盾

∴假设不成立，原命题得证

即：{f*k}也是m得一个完全剩余系

证明：

构造序列{bn}，令bi=i·a（i<=p-1），则:

$\prod bi=(\prod i )*a^{n-1}$

又∵ a,p互质，由引理：

∴ $\prod i mod p\equiv \prod (i*a) mod p$

又∵ $\prod i*amod p=\prod i mod p*a^{p-1}mod p$

∴ $a^{n-1} \equiv 1 mod p$

证毕

应用相同方法，可以证明欧拉定理： $a^{\phi (p)}\equiv 1 mod p$

证明方法完全一致

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
费马-欧拉定理证明

费马小定理：引理：若集合{f}={f1,f2,f3...fm-1}中元素对m取模的结果遍历了（1~m-1）所有值，且k与m互质，则{f1k,f2k,f3k...}对m取模的结果同样遍历（1~m-1）所有值（或者用偏理论的语言描述：如果{a1,a2,a3...am}是m的一个完全剩余系，且k与m互质，则{a1k,a2k...amk}也是m的一个完全剩余系）证明：应用反证法，假设:...
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。