费马小定理，也称费马定理，是一个数论中的基本定理，是指在模质数下，任取一个不是该质数倍数的整数a，其幂次为p-1时，模质数的结果恒为1，即：a^(p-1)
≡ 1 (mod p)
其中，p为一个素数，a为任意一个满足1 <= a < p的整数。
费马小定理最早由法国数学家费马于17世纪提出，它是欧拉定理和欧拉-费马定理的基础，被广泛应改族用于密码学、编码、计算坦誉机科学等领域。
费马小定理的证明可以采用数学归纳法，设核信弊k为一个正整数，则有：
当k=1时，a^0 ≡ 1 (mod p)，结论成立。
当k>1时，假设a^(p-1) ≡ 1 (mod p)成立，则有：
a^(kp-k) ≡ (a^(p-1))^k * a^(-k) ≡ 1^k * a^(-k) ≡ a^(p-1)
* a^(-k) ≡ a^(p-1-k) (mod p)
因此，当k>1时，a^(kp-k) ≡ a^(p-1-k)
(mod p) 成立。
因为p是素数，a是不是p的倍数的整数，所以a和p互质，即它们没有公共因数。由欧拉定理可知，a^(φ(p)) ≡ 1 (mod p)，其中φ(p)表示小于p且与p互质的正整数的个数，因此有φ(p)
≤ p-1。
根据算术基本定理，p是质数，所以φ(p) = p-1，因此有：
a^(p-1) ≡ 1 (mod p)
费马小定理的应用非常广泛，其中一个重要的应用领域是密码学。在加密算法中，选择两个大质数p和q，将它们乘积pq作为公共模数，并选择一个整数e作为公钥，使得e与(p-1) *
(q-1)互质，然后选择一个整数d作为私钥，使得d*e ≡ 1
(mod (p-1) * (q-1))，这样就可以利用费马小定理对加密和解密进行高效的处理。
标签：费马,定理
