python之逆元（数论倒数）

倒数想必大家都知道吧
a的倒数是b，那么$a\times b=1$。
那数论倒数呢？数论基本就是取模同余，应该也能猜到了吧
在模p意义下，a的逆元是b，有$a\times b\equiv 1(modp)$
也就是$a\times b$可以是1,也可以是1+p，也可以是1+2p……
注意：只有gcd(a,p)=1时才有解，也就是a和p互质。为啥捏？假设gcd(a,p)=n（注意n不是1），那么
n ∣ p ⇓ 0 ≡ p ( m o d   n ) ⇓ 0 ≡ x × p ( m o d   n ) ⇓ 1 ≡ 1 + x × p ( m o d   n ) ⇓ n ∤ 1 +