复习数学之中国剩余定理和欧拉定理和扩展欧几里德

这几个玩意儿忘光了。。。

中国剩余定理

对于线性同余方程组：
$x\equiv a_1 \pmod {m_1}$
$x\equiv a_2 \pmod {m_2}$
$x\equiv a_3 \pmod {m_3}$
$\ldots$
$x\equiv a_n \pmod {m_n}$
定义
$M=\prod_{i=1}^n m$
$M_i=M/m_i$
$t_iM_i \equiv 1 \pmod {m_i}$ 即$t_i$为$M_i$模$m_i$意义下的逆元
那么就可以构造出原方程组的通解：
$x=\sum a_it_iM_i +kM (k \in Z)$
这个东西代进原方程组是很显然成立的，至于证明看起来很难咱懒得看就不说了

那这个东西到底有啥用呢？
在我们需要求大数取模，而所模的数不是一个质数的情况下就需要用到啦
这里答案等于把模数分解质因数成$\prod p_i^{r_i}$的形式然后对每个不同的质数都求模就行了，注意这里如果$r_i>1$的话要用特殊的方法来处理

然后说说求逆，求逆可以通过欧拉定理和扩展欧几里德来求，因为欧拉定理比较简单粗暴所以先说欧拉定理

欧拉定理

$a^{\phi(n)} \equiv 1 \pmod n$其中a和n互质，然后就没了。。。

扩展欧几里德

先说一些性质：
贝祖定理：ax+by=c有解当且仅当gcd(a,b)|c
可以注意到：ax+by=1 （gcd(a,b)==1)好像没什么用。。。
然后就直接上exgcd模板！完美解决！
求出一组解x0,y0之后可以根据性质通过通解公式：
$x=x0+\frac {b}{gcd(a,b)}*t , y=y0-\frac {a}{gcd(a,b)}*t$

求出其他符合条件的解

那么说完这两个东西再说说具体怎么求逆
$ax \equiv 1 \pmod b$
x有解的前提是a,b互质

根据欧拉定理我们可以得到：
$a^{\phi(n)}=a*a^{\phi(n)-1} \equiv 1 \pmod b$
那么显然a的逆元就是$a^{\phi(n)-1}$了

用扩展欧几里德的话由$ax \equiv 1 \pmod b$就可以得到ax+by=1，很显然吧，那么直接套exgcd求出x就是逆元了