逆元简介:
已知 a , b ( g c d ( a , b ) = 1 ) a, b(gcd(a, b) = 1) a,b(gcd(a,b)=1)对于
a ∗ x ≡ 1 ( m o d b ) a*x \equiv 1 (mod ~b) a∗x≡1(mod b)
我们称 x x x 为 a a a 模 b b b 意义下的逆元, 记做 a − 1 a^{-1} a−1,逆元常常用于模意义下的除法。
引理: a a a 在 ( 0 , b ] (0,b] (0,b] 的逆元 x x x 唯一
证明
反证法:设 y y y也为 a a a的逆元 ( 0 < y < b ) (0<y<b) (0<y<b), 即 a ∗ y ≡ 1 ( m o d b ) a*y \equiv 1 (mod ~~b) a∗y≡1(mod b),不妨令 y > x y > x y>x,
于是有 a ∗ ( y − x ) ≡ 0 ( m o d b ) a*(y-x)\equiv 0(mod~~b) a∗(y−x)≡0(mod b),因为