转自：https://www.bilibili.com/video/BV12E411c7QH
≡
一，引入
（a+b）%p = (a%p + b%p) %p
(a - b) %p = ( a%p + b%p) %p
(a * b) %p = ( a%p * b%p) %p
(a / b) %p = ( a%p / b%p) %p
上式中，第四个是不成立的，即除法不存在逆元。这就让计算 (a / b) %p 变的十分复杂，
因为：① 分配律的好处：可以在大数运算时候先取余让数变小，在进行加减乘运算
② 除法的弊端 ：除法会掉精度
于是就有人想出乘法的逆元来解决这个问题。
二，
定义：若在 mod p 的情况下，对于一个整数 a，有 a*x ≡ 1 (mod p)，那么这个整数 x 即为 a 的
乘法逆元，同时 a 也为 x 的乘法逆元 （ ≡ 表示 同余；(mod p) 表示 该式子在两边都 mod p 的情况下成立）
充要条件：a 存在 mod p 的乘法逆元的充要条件是 gcd ( a , p ) = 1，即 a 与 p 互质。
应用：求取 (a / b) %p。该值 等同与 a*(b 的逆元) % p
证明：( a/b ) % p = a*(b 的逆元) % p
即证：设 b 的逆元 为 x.，则 b*x ≡ 1 ( mod p )，则可以把 x 认为是 b 在数论上的倒数，
式子 ① ： （a / b） %p = m
将 ① * b ： a%p = m * b %p，
即 a ≡ m * b ( mod p ) .......式子②
将 ② * x ： a * x ≡ m * b * x ( mod p )
因为：b*x ≡ 1 ( mod p )
所以：原式 = a * x ≡ m ( mod p )
得证。
求 b 的逆元：费马小定理（p 为质数）：在竞赛通常 p 为 质数，因为 p 不为质数时容易找到余数的规律。
费马小定理：假如 a 是一个整数， p 是一个质数，那么
1，如果 a 是 p 的倍数，a^p ≡ a (mod p)
2, 如果 a 不是 p 的倍数，a^(p-1) ≡ 1 (mod p)
同余式：a ≡ b (mod n) 表示 a， b 都模 n 后的值相等
因为 乘法逆元必须满足，a p 互质，所以只需要考虑第二种情况。
由 2 可得：a * a^(p-2) ≡ 1 ( mod p )
所以 a%p * (a^(p-2) % p) = 1 %p
即 a^(p-2) % p 为 a 的逆元，其中 p-2 次方可用快速幂求解。
总结：
( a/b ) % p = a*(a^(p-2) % p) % p
=========== ========== ========= ========= ======== ====== ==== === == =
我饮不须劝，正怕酒尊空。别离亦复何恨，此别恨匆匆。头上貂蝉贵客，花外麒麟高冢，人世竟谁雄。一笑出门去，千里落花风。
孙刘辈，能使我，不为公。余发种种如是，此事付渠侬。但觉平生湖海，除了醉吟风月，此外百无功。毫发皆帝力，更乞鉴湖东。