公约数性质:若两个数a,b的公约数为d,则
d|a,d|b
;
进而有
d|(a+b),d|(a−b)
=> 对于任意整数x,y有
d|(ax+by)
且若
a|b
,那么
|a|≤|b|
,或
b=0
,则
a|b且b|a
=>
a=±b
最大公约数性质:
gcd(a,b)=gcd(b,a)=gcd(−a,b)=gcd(|a|,|b|)
gcd(a,0)=|a|,gcd(a,ka)=|a|(k∈Z)
gcd(a,gcd(a,b))=gcd(gcd(a,b),c)
推论:
gcd(an,bn)=ngcd(a,b)
[欧几里得算法和扩展欧几里得算法实施的必要基础]
素数小理:对于任意整数a、b和p,如果 gcd(a,p)=1 且 gcd(b,p)=1 ,则 gcd(ab,p)=1
模相关
若
a>b>0
,且
c=a+b
,则
c
mod
a
=
对所有整数a、b和素数p,有
(a+b)p≡ap+bp
(mod
p)
若a和b是任意正整数,且满足
a|b
,则对任意
x
,
若
费马小定理 :
欧拉定理:若
p,a
为正整数,且
p,a
互质,即
gcd(a,p)=1
,则
aφ(n)≡1(mod
n)
。
[欧拉定理可以算是费马小定理的扩充]
均值不等式:
a+b≥2ab−−√
,当且仅当a=b时取等;
柯西不等式:
(a2+b2)(c2+d2)≥(ac+bd)2
,即两向量模积的平方大于等于点积的平方
绝对值不等式:
|a+b|≤|a|+|b|