解释
在两个数1/a,b modE的情况下,若两数同余.则b为a的逆元
性质
若
a
,
b
a,b
a,b互为逆元,则
k
/
a
k/a
k/a与
k
∗
b
k*b
k∗b同余
并且当mod的数p为质数时,a与
a
p
−
2
a^{p-2}
ap−2互为逆元(费马小定理),下为示例:
要求:
(
3
/
2
)
m
o
d
  
5
(3/2)\mod5
(3/2)mod5
2
5
−
2
=
8
,
8
m
o
d
  
5
=
3
2^{5-2}=8,8\mod5=3
25−2=8,8mod5=3,故2和3互为逆元
(
3
/
2
)
m
o
d
  
5
=
(
3
∗
3
)
m
o
d
  
5
=
4
(3/2)\mod5=(3*3)\mod5=4
(3/2)mod5=(3∗3)mod5=4.
验证:
4
m
o
d
  
5
=
4
4\mod5=4
4mod5=4 ->
(
8
/
2
)
m
o
d
  
5
=
4
(8/2)\mod5=4
(8/2)mod5=4 ->
(
3
/
2
)
m
o
d
  
5
=
4
(3/2)\mod5=4
(3/2)mod5=4;
这同样可以用欧几里得算法来求
应用
在求需要取模的组合数时,因为涉及到除法,直接让阶乘的得数相除时会影响结果,可以先求除数的逆元(它的取模数-2次方),再乘即可避免误差