前言
本文主要是写给自己看的因为实在是太简单了但还是记不住啊
推导
求x在模p意义下的逆元
首先有(这里的模数是x)
p≡y(modx)
显然可以得到
p−⌊xp⌋x=y
然后转回同余方程(注意这里的模数变成了p)
−⌊xp⌋x≡y(modp)
交换一下xy的位置
−⌊xp⌋y−1≡x−1(modp)
x−1≡−⌊xp⌋y−1(modp)
好吧用人话再写一遍
p mod x=y
p-(p/x)*x=y (注意这里的除是整除)
-(p/x)*x mod p=y
-(p/x)*y-1 mod p=x-1
x-1=-(p/x)*y-1 mod p
因为y=p mod x<x,所以可以顺推