除法取模与逆元

我们经常在做题时会看到这样一句话：由于答案较大，请输出答案mod m的结果。（其中m一般为一个大质数）
我们经常会使用以下几个等式：

$$(a+b)\equiv (a\mod m + b\mod m) \pmod m$$
$$(a-b)\equiv (a\mod m - b\mod m + m) \pmod m (a>b)$$
$$(a\times b)\equiv (a\mod m \times b\mod m) \pmod m$$
但是很容易发现，这三个等式中并没有除法。
那我们怎样处理除法呢? 这里就要使用到逆元。

我们定义若$b \times b1 \mod c = 1$，则称b1为b模c的乘法逆元。
并且有 $(a \div b) \mod c = (a \times b1) \mod c$。（其中$a\div b$为整除）

证明（反证法）：
假设$b \times b1 % c == 1$，则$( a\div b ) \mod c \neq ( a\times b1 ) % c$
令，$a\div b = k1\times c + y1$, $a\times b1 = k2\times c+y2$

<=>若$b\times b1 \mod c = 1$，则 $y1 \neq y2$
两式相减，则$a\div b-a \times b1 = (k1-k2)\times c + (y1-y2)$
设 $k = k1-k2$，$y = y1-y2$
有，$a\div b-a\times b1 = k\times c + y$
左右乘以b，有 $a\times(1-b\times b1) = k\times b\times c + b\times y$
左右模上c，
左边 $= a\times (1-b\times b1)\mod c$
$= ( a\times( 1\mod c - b\times b1\mod c ) )\mod c$
$= 0$
右边 $= (k\times b\times c + b\times y)\mod c$
$= b\times y\mod c$
$a\div b$为整除，b显然不会是0，那么y必须是0，这与命题矛盾，证毕