【拓欧+逆元】

个人整理的关于拓欧逆元的不会markdown只会乱七八糟复制粘贴一般人看不懂系列 

欧几里德： gcd(a, b) = gcd(b , a%b) 

扩展欧几里德算法是用来在已知a, b求解一组x，y，使它们满足贝祖等式： ax+by = gcd(a, b) =c（解一定存在，根据数论中的相关定理）

之前一直不太懂为什么gcd(a,b)|c是有解条件，大佬口胡了一句就懂了。

所以我们拓欧求逆元的时候ax+by=1，有个条件gcd(a,b)=1，b就是mod。

只要我们找到一组特殊的解 x0 和 y0 那么，我们就可以用 x0 和 y0 表示出整个不定方程的通解：

        x = x0 + (b/gcd)*t

        y = y0 – (a/gcd)*t

下面的证明我觉得特别好，感动

对于正整数和，如果有，那么把这个同余方程中的最小正整数解叫做模的逆元。

费马小定理(Fermat's little theorem)是数论中的一个重要定理，在1636年提出，其内容为： 假如p是质数，且gcd(a,p)=1，那么 a(p-1)≡1（mod p），即：假如a是整数，p是质数，且a,p互质(即两者只有一个公约数1)，那么a的(p-1)次方除以p的余数恒等于1。

逆元一般用扩展欧几里得算法来求得，如果为素数，那么还可以根据费马小定理得到逆元为。

 

推导过程如下

                            

还有一个欧拉定理求逆元没用过

上面的算法都有要求gcd(a,m)=1，还有一个通用的东西来着还没学。