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