OI里的数论：简单数论

OI里的数论：简单数论

零、二项式定理

P.S.在膜$n$意义下时$(x+y{)}^n\equiv x^n+y^n$。

---

一、欧几里得算法

即辗转相除法。$gcd(a,b)=gcd(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$。

---

二、裴蜀定理

对于不定方程 $ax+by=m$ , 其有解的充要条件为 $gcd(a,b)|m$

---

三、拓展欧几里得

求$ax+by=gcd(a,b)$的整数解。

求特解：对于方程$ax+by=gcd(a,b)$，我们可以不断的往下变成$bx+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y=gcd(a,b)$ ，按照欧几里得的过程，$b$会变成$0$，$a$就等于$gcd(a,b)$，所以得到由原方程往下推了不知道多少次的方程 $ax=gcd(a,b)$ 来说，得到一个解$x=1,y=0$。现在得到了这个方程的解，再回溯回去，就可以得出原方程$ax+by=gcd(a,b)$的一个特解。

求所有解：对于关于$x，y$的方程$ax+by=g$来说，让$x$增加$\frac{b}{g}$，让$y$减少$\frac{y}{g}$，等式两边还相等。

---

四、乘法逆元

tip：p的倍数的逆元无法求出。

扩展欧几里得

void Exgcd(ll a, ll b, ll &x, ll &y) {
    if (!b) x = 1, y = 0;
    else Exgcd(b, a % b, y, x), y -= a / b * x;
}

其他的扩展

---

五、费马小定理

若$p$质数，$a$不是$p$的倍数，则$a^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。

---

六、欧拉定理

欧拉函数：$\phi (n)$表示$1$到$n-1$与$n$互质的数。

欧拉函数求法：$\phi (n)=n\ast (1-\frac{1}{p_1})\ast (1-\frac{1}{p_2})\ast ...\ast (1-\frac{1}{p_k})$。（时间复杂度$O(\sqrt{n})$）

欧拉定理：若$a,p$互质,则有$a^{\phi (p)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。

---

七、扩展欧拉定理

$a^c\equiv \{\begin{array}{ll}{a}^{c\mathrm{m}\mathrm{o}\mathrm{d}\phi (m)}& gcd(a,m)=1\\ a^c& gcd(a,m)\ne 1\wedge c\le \phi (m)\\ a^{c\mathrm{m}\mathrm{o}\mathrm{d}\phi (m)+\phi (m)}& gcd(a,m)\ne 1\wedge \phi (m)\le c\end{array}$

---

八、中国剩余定理

中国剩余定理:设正整数$m_1,m_2,$……$m_k$两两互素，则同余方程组

$\{\begin{array}{l}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ......\\ x\equiv a_k(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)\end{array}$

有整数解，则解在$\mathrm{m}\mathrm{o}\mathrm{d}M={\prod }_{i=1}^k{m}_i$下有意义，则$x=(a_1\times M_1\times M_1^{-1}+a_2\times M_2\times M_2^{-1}+......+a_k\times M_k\times M_k^{-1})\mathrm{m}\mathrm{o}\mathrm{d}M$

其中$M_i=M/m_i,M_i^{-1}\times M_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$

---

九、扩展中国剩余定理：不保证两两互素

先从简单的情况考虑

$\because \{\begin{array}{l}x\equiv c_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv c_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\end{array}$

$\therefore x\equiv inv(\frac{m_1}{\gcd (m_1,m_2)},\frac{m_2}{\gcd (m_1,m_2)})\times \frac{c_2-c_1}{\gcd (m_1,m_2)}\times m_1+c_1(\mathrm{m}\mathrm{o}\mathrm{d}\frac{m_1\times m_2}{\gcd (m_1,m_2)})$

因此运算时可以选取两个式子进行推广。

---

十、二次剩余

解决形如$x^2\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}p)$的问题

定义勒让德符号$(\frac{n}{p})$，当$p$是$n$的倍数则为$0$，否则若$n$是$p$的二次剩余则为$1$，否则为$-1$。

欧拉判别准则$\left(\frac{n}{p}\right)\equiv n^{\frac{p-1}{2}}(\mathrm{m}\mathrm{o}\mathrm{d}p)$。

找$a$满足$(\frac{a^2-n}{p})=-1$。设$\omega =\sqrt{a^2-n}$

$\therefore x=(a+\omega {)}^{\frac{p+1}{2}}$

---

十一、n次剩余

咕咕咕

---

十二、卢卡斯定理

${(}_{sp+q}^{tp+r})\equiv {(}_s^t)\ast {(}_q^r)(\mathrm{m}\mathrm{o}\mathrm{d}p)$

---

十三、扩展卢卡斯定理