zoukankan      html  css  js  c++  java
  • 费马小定理

    内容

    (p)为质数,(a)为正整数,且(gcd(a,p)=1),则(a^{p-1}≡1pmod p)

    证明

    首先我们要证明三个小性质

    (gcd((p-1)!,p)=1)

    因为p为质数,所以(gcd(i,p)=1(1 <= i < p , i)为整数())

    由此可推出①

    ②没有一个整数 (a) (不是(p)的倍数)和整数 (i) ,使得(a * i = 0 pmod p)

    因为(gcd(a,p) = 1),所以(gcd(i * a,p) = 1)

    由此可推出②

    (i∗a)中没有任何两个数在模(p)意义下同余

    (a=b∗p+r),则 (gcd(i * r,p) = 1) ,没有一个(i∗r)(p)的倍数( ② )。

    假设有两个(i∗r)在模(p)意义下同余,即设(c ∗ r≡d ∗ rpmod p(c<d))

    那么((d − c) ∗ r ≡ 0 pmod p),即$p | (d−c) ∗ r

    由于 (1≤d−c≤p−1), 这与没有一个(i ∗ r)(p)的倍数矛盾。

    所以(i∗r)中没有任何两个数在模(p)意义下同余得证。

    由此可推出③

    最终证明

    由②③可得(i ∗ a % p) 之后一定是(1,2,3,…,p−1)的一个排列,也就是:

    (a ∗ 2a ∗ 3a ∗ ... ∗ (p−1) * a ≡ 1 ∗ 2 ∗ 3 ∗ ... ∗ (p−1) pmod p)

    ((p-1)! * a^{p-1} ≡ (p-1)!pmod p)

    两边同除((p - 1)!) , 即得:

    (a^{p-1}≡1pmod p)

  • 相关阅读:
    PIE SDK云图动画导出
    PIE SDK地图书签
    PIE SDK元素的保存与打开
    Jenkins简单入门:下载-安装-配置-构建
    Vue.js—60分钟快速入门
    程序员分享学习平台
    IOC+EF+Core项目搭建EF封装(一)
    python+django学习四
    python+django学习三
    Django2.0 应用 Xadmin 报错二
  • 原文地址:https://www.cnblogs.com/PPLPPL/p/13392339.html
Copyright © 2011-2022 走看看