费马小定理

数论&&组合数学 专栏收录该内容
49 篇文章 0 订阅

定理内容:若存在整数a,p,满足GCD(a,p)=1,即a,p互质,那么a^(p-1)1 (mod p),即在上述条件下,a^(p-1)%p=1

证明前需要知道一些性质

性质1:若存在三个整数a,b,c,以及一个和c互质的整数m,那么如果a*c≡b*c  (mod m),那么a≡b (mod m)

证明1:若a*c≡b*c  (mod m),则a*c%m = b*c%m,那么(a*c-b*c)%m=0,那么(a-b)*c≡0 (mod m),因为m和c互质,所以(a-b)%m=0,则a≡b (mod m)

性质2:若两个整数m,b互质,{ai}为模m的一个完全剩余系,(完全剩余系就是0~m-1),那么b*{ai}在模m意义下,也是m的一个完全剩余系

证明2:若b*{ai}在模m的意义下,不是一个m的完全剩余系,那么一定存在b*ai≡b*aj (mod m),因为m,b互质,所以由上面的性质1可得上述等式成立的条件为ai=aj,但因为ai和aj为m剩余系中的两个值,所以ai和aj一定不相等,所以可得b*{ai}在模 m的意义下为m的一个剩余系

证明定理过程:现在回到费马小定理的证明,p是一个质数,a和p互质,那么构造p的完全剩余系(将0先视为没有)bi={1,2,…,p-1},再构造a*bi={a*1,a*2,…,a*p-1),将bi累乘得到b1*b2*…*b(p-1),把a*bi累乘得到a*b1*a*b2*…*a*b(p-1),发现第二个式子因为是p-1个式子的连乘,所以一共有p-1个a,所以把a提出来的到a^(p-1),将bi的连乘化简得到(p-1)!,a*bi就变成了a^(p-1)*(p-1)!,由模意义下的乘法不影响取模运算结果可知,(p-1)!≡(p-1)! * a^(p-1) (mod p),两边约去(p-1)!,那么可得a^(p-1)≡1 (mod p)

备注:费马小定理是欧拉定理一个特殊情况下的形式,欧拉定理的证明我会在后面的博文中给出,这篇证明若有不当请联系作者指正,谢谢

  • 0
    点赞
  • 0
    评论
  • 0
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

打赏
文章很值,打赏犒劳作者一下
相关推荐
©️2020 CSDN 皮肤主题: 技术黑板 设计师:CSDN官方博客 返回首页

打赏

AcerMo

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值