参考资料: t h i s \rm this this a n d \rm and and t h i s \rm this this
费马小定理
定义:若 p p p 是质数,且 gcd ( a , p ) = 1 \gcd(a,p)=1 gcd(a,p)=1 ,那么 a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1 \pmod p ap−1≡1(modp) 。
为了方便理解,下面给出一种比较通俗易懂的证明:
对 a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1 \pmod p ap−1≡1(modp) 进行变形:
a p − 1 × ( p − 1 ) ! ≡ ( p − 1 ) ! ( m o d p ) a^{p-1}\times (p-1)! \equiv (p-1)! \pmod{p} ap−1×(p−1)!≡(p−1)!(modp)
∏ i = 1 p − 1 i × a ≡ ∏ i = 1 p − 1 i