定义
若p为素数, (a, p) = 1, 则
ap−1≡1(modp)
证明
引理1 若(a, m) = 1, 则
a,2a,3a,...,(m−1)a
的最小剩余(mod m) 按某种次序排列后为1,2,3,...,m−1
//关于引理1的证明不作赘述,主要是证明两两的最小剩余不重复,使用反证法即可。
有了引理 1,即可证明费马小定理。证明如下:
由引理1易知:
a∗2a∗3a∗⋯∗(p−1)a≡1∗2∗3∗⋯∗(p−1)(modp)
即ap−1(p−1)!≡(p−1)!(modp)
又(p, (p-1)!) = 1, 即p与(p-1)!互素,则ap−1≡1(modp)
得证。
求逆元
请转到 => 乘法逆元: 扩展欧几里德 费马小定理 递推 带余数同余式的一般解法
降幂*
推论 若p为素数, 则对**一切**a,有
ap≡a(modp)
//注意这里是一切a,即a和p不一定互素。
当指数比较大的时候,可以使用下面的公式进行降幂
若p为素数,且p不能整除a(或能整除则结果为0),有
an≡an mod(p−1)(modp)
下证此式:
设如下变量:
k : n / (p-1)
b : n % (p-1)
即 n = k * (p-1) + b,则有an≡ak∗(p−1)+b(modp)
即an≡(ak)p−1∗ab(modp)
又(ak)p−1≡1(modp)
所以an≡ab(modp)
得证。
例题