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)

  • 相关阅读:
    http协议之状态码
    HTTP协议入门基础
    CI框架使用(一)
    memcache常见现象(一)雪崩现象
    memcached分布式一致性哈希算法
    编译php扩展
    memcached--delete--replace--set--get--incr--decr--stats
    memcached--add使用
    php5.3之命名空间
    MySQL优化(一)
  • 原文地址:https://www.cnblogs.com/PPLPPL/p/13392339.html
Copyright © 2011-2022 走看看