一点数学知识

公约数性质：若两个数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$=$b$
对所有整数a、b和素数p，有$(a+b)^p≡a^p+b^p$ $(mod$ $p)$
若a和b是任意正整数，且满足$a|b$，则对任意$x$，$(x$ $mod$ $b)$ $mod$ $a$=$x$ $mod$ $a$；对任意的$x和y$，如果$x≡y$ $(mod$ $b$)，$x≡y$ $(mod$ $a$)
若$a≡a'$ $(mod$ $n$)，$b≡b'$ $(mod$ $n$)，则$a+b≡a'+b'$ $(mod$ $n$)，$ab≡a'b'$ $(mod$ $n$)
费马小定理 : $p$为质数,$gcd(a,p)=1$时，$a^{p-1}$=$1(mod$ $p)$
欧拉定理：若$p,a$为正整数，且$p,a$互质，即$gcd(a,p) = 1$，则$a^{φ(n)} ≡ 1 (mod$ $n)$。
[欧拉定理可以算是费马小定理的扩充]

---

$$\sum_{i=1}^n i^2 =\frac{i+(i+1)+(2*i+1)}{6}$$
$$\sum_{i=1}^n i^3 ={{\frac{n(n+1)}{2^2}}}^2$$

均值不等式：$a+b≥2\sqrt{ab}$，当且仅当a=b时取等；
柯西不等式：$(a^2+b^2)(c^2+d^2) ≥ (ac+bd)^2$，即两向量模积的平方大于等于点积的平方
绝对值不等式：$|a+b|≤|a|+|b|$

$$平均值不等式：\frac{\sum_{i=1}^n a_i}{n} ≥ \sqrt[n]{\prod_{i=1}^n a_i},当且仅当a_i都相等时等号成立$$
$$排序不等式：\sum_{i=1}^n |x_i| ≥ |\sum_{i=1}^n x_i|$$
$$二项式定理：（x+a）^n=\sum_{k=0}^n\binom{n}{k}x^k a^{n-k}$$