$\frac{a}{b} \equiv ax \pmod m$

好多题解都写

$a \equiv abx \pmod m$

然后 $1 \equiv bx \pmod m$

但是为什么可以除以a呢？

是不是可以理解为：

我们是要找一个充分条件，而不是必要条件。

不能够用“因为，所以”的逻辑

而是

$\frac{a}{b} \equiv ax \pmod m$

只需

$\frac{a}{b} \equiv \frac{a}{b} \pmod m$

$1 \equiv bx \pmod m$

即可。

所以这是一个充分条件而不是一个必要条件是吗qwq？