tmpfile-线性筛逆元

证明一
结论：若有$(ka)^{-1}=m(mod$ $p)$①
则有$a^{-1}=km\%p(mod$ $p)$②
$\Rightarrow a^{-1}=k(ka)^{-1}(mod\quad p)$

因为由①可得
$ka\times m\equiv 1(mod\quad n)$
$\Rightarrow$$a\times km \equiv 1(mod\quad n)$

证明二

$$\left\{ \begin{aligned} -(p-a)^{-1} &=-a^{-1} & & (mod\quad p)\\ gcd(a,p)& = 1\\ \end{aligned} \right.$$

设$x = a^{-1}$，$y=(p-a)^{-1}$
那么则有：

$$\left\{ \begin{aligned} xa\%p=1&&①\\ y(p-a)\%p=1&&② \end{aligned} \right.$$
② $\Rightarrow (yp-ya)\%p=1 \Rightarrow -ya\%p=1$③
①、③ $\Rightarrow x=-y$

证明三
结论：$a^{-1}=\lfloor\frac{p}{a}\rfloor (p-p\%a)^{-1}$

令$k=\lfloor\frac{p}{a}\rfloor$
∵$a^{-1}=k(ka)^{-1}$，$ka = p-p\%a$
∴$a^{-1}=k(p-p\%a)^{-1}$
∵$(p-p\%a)^{-1}=-(p\%a)^{-1}$
∴$a^{-1}=-k(p\%a)^{-1}$
带入$k$得
$a^{-1}=-\lfloor\frac{p}{a}\rfloor (p\%a)^{-1}=\lfloor\frac{p}{a}\rfloor (p-p\%a)$