逆元的定义与计算

参考:博客

---

对于整数$a,m$,如果存在整数$b$,满足$ab=1(modm)$,那么称$b$是$a$的模$m$乘法逆元。

• 比如说要你求A/B%C等于多少，但是存在除法取模问题（因为(A/B）%C ！= (A%C)/(B%C)，而对于乘法却有(AB）%C = (A%C)(B%C)
  所以要把A/B%C==>A*(1/B)%C 转换成A*X%C的形式，现在就是如何求X。(X在乘法上是B的逆元，意思是我们用B的逆元取代1/B就行了）这样就解决了除法取模问题

• 现在讲讲逆元的定义：

• 我们称 7^-1=13(mod15),称13是7模15的逆元，因为7 * 13=91=1(mod15).这样就有4/7=4 * 13= 7(mod15)

在这里就是： 如果有BX=1(modC),那么最小的正整数X就是B模C的逆元，
所以有 (A/B) * (1)(modC)=(A/B)(BX)(modC)=AX(modC) ---->[证明]

求逆元实现代码如下：

用费马小定理：若a与m互质，有a^m-1=1(mod m)

所以a^m-2是a模m的逆元

LL quick_mod(LL x, LL n){
   //用矩阵快速幂求逆元，求的是x模（n+2）的逆元
    LL res = 1LL ;
    while( n ){
   
        if(n&1)res=res*x%mod;
        x=x*x%mod;
        n>>=1;
    }
    return res;
}

欧拉定理 :

$a^{\varphi (m)}\equiv 1（modm）$

所以$a^{\varphi (m)-1}$为a的逆元$a^{\varphi (m)-1}$为a的逆元 (ϕ(m)是欧拉函数）

用扩展欧几里得求解：（关于欧几里得的博客）

• 定理： 对整数$a,m(m>0),ax=1(modm)$有解，当且仅当$gcd(a,m)=$