费马小定理

费马小定理简述

本篇内容参考百度百科

定理内容

若 p 是质数， a 与 p 互质，那么$a^{p-1}\equiv 1(modp)$

证明

引理1

若 a，b，c是任意3个整数，m 为正整数且 m 与 c 互质（之后写作$(m,c)=1$），则当$$ac\equiv bc(modm)$$时，有$$a\equiv b(modm)$$

引理1证明

可知：$$(a-b)c\equiv 0(modm)$$即$$(a-b)c=km(k为整数)$$由于$(m,c)=1$，所以 c 可约去，有$$a-b\equiv 0(modm)$$$$a\equiv b(modm)$$

引理2

m 是大于1的整数， a 是整数且$(m,a)=1$。如果 { b [ i ] } ( i ∈ [ 1 , m ] ) \{b[i]\}(i\in[1,m]) {b[i]}(i∈[1,m])是模 m 的一个完全剩余系，则 { a ⋅ b [ i ] } ( i ∈ [ 1 , m ] ) \{a·b[i]\}(i\in[1,m]) {a⋅b[i]}(i∈[1,m])也是模 m 的一个完全剩余系。

引理2证明

若存在两个整数 $a\cdot b[i],a\cdot b[j]$同余，那么$$a\cdot b[i]\equiv a\cdot b[j](modm)$$由引理1$$b[i]\equiv b[j](modm)$$与原定义矛盾，故不存在两个整数 $a\cdot b[i],a\cdot b[j]$同余。
所以 { a ⋅ b [ i ] } ( i ∈ [ 1 , m ] ) \{a·b[i]\}(i\in[1,m]) {a⋅b[i]}(i∈[1,m])是模 m 的一个完全剩余系

模运算乘法的性质

若有$$a\equiv b(modm)，p\equiv q(modm)$$那么有$$a\cdot p\equiv b\cdot q(modm)$$证明:因为$$a=k_{1}m+b，p=k_{2}m+q$$$$a\cdot p=k_1{k}_2{m}^2+(k_{1}q+k_{2}b)m+b\cdot q$$于是$$a\cdot p\equiv b\cdot q(modm)$$

费马小定理证明

设 p 是一个大于1的素数，构造 p 的一个完全剩余系 { i } ( i ∈ [ 1 , p − 1 ] ) \{i\}(i\in[1,p-1]) {i}(i∈[1,p−1])，设 a 是与 p 互质的整数，由引理2， { a ⋅ i } ( i ∈ [ 1 , p − 1 ] ) \{a·i\}(i\in[1,p-1]) {a⋅i}(i∈[1,p−1])也是 p 的一个完全剩余系。
所以对于每一个 $i(i\in [1,p-1])$，总存在一个 $j$ 使得$$i\equiv a\cdot j(modp)$$将每个方程相乘得：$$(p-1)!\equiv (p-1)!\ast a^{p-1}(modp)$$ p 显然与 (p-1)! 互质，根据引理1：$$a^{p-1}\equiv 1(modp)$$

费马小定理求逆元

若 p 是质数， a 是与 p 互质的整数，则在 p 模中，a 的逆元是 $a^{p-2}$，因为：$$a\cdot a^{p-2}\equiv a^{p-1}\equiv 1(modp)$$