乘法逆元

目录

01 - 模运算的性质

(a+b)%p = (a%p + b%p)%p

(a-b)%p = (a%p - b%p)%p

(a * b)%p = ((a%p) * (b%p))%p

---

02 - 乘法逆元

首先说下为什么出现：对于大数的除法，是没有除法的模运算公式的，乘法逆元的出现，把除法转化为了乘法，从而可以取模而不会爆longlong

存在条件 当且仅当b 与 p互质

费马小定理 ：若 p 为质数， 则 b^(p-1) ≡ 1（mod p）

                        ​​​​​​​        ​​​​​​​        ​​​​​​​    即b*b^(p-2) ≡ 1 （mod p）

而 b * b(inv)  ≡ 1（mod）p

最后得到 b(inv) = b ^ (p - 2)