逆元简介:
已知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

本文介绍了三种求模逆元的方法:递推法适用于求1~n的逆元,费马小定理在模数为质数时有效,而拓展欧几里得算法对模数无特定要求。通过引理证明逆元的唯一性,并提供了每种方法的详细代码实现。
最低0.47元/天 解锁文章
2919





