逆元知识总结

逆元

Z 整数集合
N 自然数集合
N* N+ 正整数集合
Q 有理数集和
R 实数集合
C 复(虚)数集合

整除

a|b
就是b%a==0
a整除b 或 b可被a整除
a为b的因子
(a,b):a和b的最大公约数，即gcd(a,b)
(a,b,c,…):a,b,c,…的最大公约数，即gcd(a,b,c,…)
[a,b]:a和b的最小倍数数，即lcm(a,b)
[a,b,c,…]:a,b,c,…的最小倍数数，即lcm(a,b,c,…)

性质

1.a|b => -a|b => a|-b => |a|||b| 正负没有影响
2.a|b，b|c =>a|c
3.a|b,a|c 等价于对任意整数x,y，有a|(bx+cy)
4.设m！=0 ，那么a|b =>ma/mb
5.若(m,a)=1,m|ab,则m|b

同余

a%m=b%m
设m！=0，若m|a-b，即a-b=km，k为整数，则a同余于b模m，记作：
a=b(mod m)
a%m=b%m => a%m-b%m=0 => (a-b)%m=0 => m|a-b
这个式子还称为b是a对模m的剩余，若1<=b<m,则称b是a对模m的最小正剩余

性质

1.a=a(mod m) 自反，
2.b=a(mod m) 对称
3.a=b(mod m),b=c(mod m) => a=c(mod m) 传递
4.a+c=b+c(mod m) 同加
5.ac=bc(mod,m),ac=bd(mod m) 则c=d(mod m)
6.aⁿ=bⁿ(mod m)
7.若a mod p=x,a mod q=x, p,q互质，则 a mod pq=x
8.m|d,a=b(mod m) 则 a=b(mod m)
9.ca=cb(mod m),等价于a=b(mod m/(c,m))

逆元

在模运算中，inv(a) 代表a分之一，所以乘法逆元也称为“数论倒数”
(a+b)%c=(a%c+b%c)%c
(a-b)%c=(a%c-b%c)%c
(ab)%c=(a%cb%c)%c
但除法不行！
a/b%c (不能出现小数)
将这转换成a*t%c (t为整数)
使t%c=1/b%c

费马小定理

如果p是一个质数，且a不是p的倍数，则有：
a^(p-1)=1(mod p)
a*a^(p-2)=1(mod p)

例：
求3/2%7
a/b/p=a/bb^-1b%p
b^-1b%p=1
bb^-1%p=1
aa^(p-2)=1(mod p)
b^-1%p=b^p-2%p
a/b%p=ab^p-2%p
3/2%7=3*2⁵%7=5