众所周知 abmod p\frac{a}{b}\mod pbamodp 在 gcd(b,p)=1\gcd(b,p)=1gcd(b,p)=1 时,等于 a×b−1mod pa\times b^{-1}\mod pa×b−1modp。
但是当 gcd(b,p)>1\gcd(b,p)>1gcd(b,p)>1 时,就不存在逆元了,如果我没记错的话,这个情况下,是有 gcd(b,p)\gcd(b,p)gcd(b,p) 个小于 ppp 的自然数 xxx 满足 x×b≡a(modp)x\times b\equiv a\pmod px×b≡a(modp) 的,那 abmod p\frac{a}{b}\mod pbamodp 应该等于其中的哪一个呢?