数学--数论--（逆元）扩展欧几里求解+证明

欧几里得与扩展欧几里得

先解释一下符号：

$$A\equiv B（modC）符号代表A模C与B模C相等，即A/C与B/C同余。$$

$inv（a）代表a的逆元$

定义：
$b\ast b^{-1}\equiv 1(modc)，那么称b^{-}{1}^{为}b模c的乘法逆元。$
$则Inv（b）=b^{-1}$

定理：

$\frac{a}{b}(\mathrm{m}\mathrm{o}\mathrm{d}c)=a\ast inv(b)(\mathrm{m}\mathrm{o}\mathrm{d}c)成立的条件是inv(b)存，在即b与c互质。$

用途：

乘法逆元可以用来求解部分除法的取模问题（分母是一个整数，并且与被取模数互质）
$$b\ast b^{-1}\equiv 1(modc)$$$$可以转化为使用拓展欧几里得求解bx+cy=1的解，求解x即为b的逆元$$
证明:
学数论不证明，是不能锻炼逻辑思维能力的。

$$\begin{gathered} 因为a\ast inv(a)\equiv 1(modc) \\ 所以设a\ast inv(a)=k\ast c+1 \\ 移项得a\ast inv(a)-k\ast c=1 \\ 取K=-k得a\ast inv(a)+K\ast c=1 \end{gathered}$$
原结论得证

小技巧：
但是这里的inv(a)可能解除负值，我们可以再加上c来保证他是正整数