费马小定理：求逆元降幂

最新推荐文章于 2020-12-03 22:59:39 发布

_duadua

最新推荐文章于 2020-12-03 22:59:39 发布

阅读量749

点赞数

分类专栏：数论文章标签： acm 数论

本文链接：https://blog.csdn.net/a27038/article/details/77129556

版权

知识点同时被 2 个专栏收录

15 篇文章 0 订阅

订阅专栏

数论

13 篇文章 0 订阅

订阅专栏

定义

若p为素数， (a, p) = 1, 则
$a p - 1 \equiv 1 (mod p)$ $a^{p-1} \equiv 1 \pmod p$

证明

引理1 若(a, m) = 1, 则
$a, 2 a, 3 a, . . ., (m - 1) a$ $a, 2a, 3a, ..., (m-1)a$
的最小剩余(mod m) 按某种次序排列后为 $1, 2, 3, . . ., m - 1$ $1, 2, 3, ..., m-1$
//关于引理1的证明不作赘述，主要是证明两两的最小剩余不重复，使用反证法即可。

有了引理 1，即可证明费马小定理。证明如下:

由引理1易知:
$a * 2 a * 3 a * \dots * (p - 1) a \equiv 1 * 2 * 3 * \dots * (p - 1) (mod p)$ $a*2a*3a*\cdots*(p-1)a \equiv 1*2*3*\cdots*(p-1) \pmod p$
即 $a p - 1 (p - 1)! \equiv (p - 1)! (mod p)$ $a^{p-1}(p-1)! \equiv (p-1)! \pmod p$
又(p, (p-1)!) = 1，即p与(p-1)!互素,则 $a p - 1 \equiv 1 (mod p)$ $a^{p-1} \equiv 1 \pmod p$
得证。

求逆元

请转到 => 乘法逆元: 扩展欧几里德费马小定理递推带余数同余式的一般解法

降幂*

推论若p为素数，则对**一切**a，有
$a p \equiv a (mod p)$ $a^p \equiv a \pmod p$
//注意这里是一切a，即a和p不一定互素。

当指数比较大的时候，可以使用下面的公式进行降幂

若p为素数，且p不能整除a(或能整除则结果为0)，有

$a n \equiv a n m o d (p - 1) (mod p)$ $a^n \equiv a^{n \ mod {(p-1)}} \pmod p$

下证此式:

设如下变量:
k : n / (p-1)
b : n % (p-1)
即 n = k * (p-1) + b,则有
$a n \equiv a k * (p - 1) + b (mod p)$ $a^n \equiv a^{k * (p-1) + b} \pmod p$
即 $a n \equiv (a k) p - 1 * a b (mod p)$ $a^n \equiv (a^k)^{p-1}*a^b \pmod p$
又 $(a k) p - 1 \equiv 1 (mod p)$ $(a^k)^{p-1} \equiv 1 \pmod p$
所以 $a n \equiv a b (mod p)$ $a^n \equiv a^b \pmod p$
得证。