[部分内容摘自网络]性质定理小结
1. 给定四个点，判断能否组成正方形
求出任意两点之间的六条边后，从小到大排序。
如果前四条边相等，后两条边相等，且后两条边的长度大于前四条边边，则可以组成正方形。
2.
连通图：
设一个二维几何图形的顶点数为V，划分区域数为Ar，一笔画笔数为B,则有：
V+Ar-B=1
(如：矩形加上两条对角线所组成的图形，V=5,Ar=4,B=8)定理内容
（ 欧拉公式的推广形式 ） 对于具有 k (k ≥ 1) 个连通分支的平面图 G ，有 n – m + r = k+1 。
在同一个三角形中，它的外心Circumcenter、重心Gravity、九点圆圆心Nine-point-center、垂心Orthocenter共线。
3. 费马小定理是数论中的一个重要定理，其内容为： 假如p是质数，且(a,p)=1，那么 a^(p-1) ≡1（mod p）。即：假如p是质数，且a,p互质，那么a的(p-1)次方除以p的余数恒等于1。
4.
5. 欧拉函数
定义：用于计算 p(n)，比n小的所有与n互质的数。
计算公式：p(n)=n*(1-1/p1)*(1-1/p2)....*(1-1/pk)【p1,p2,pk都是n的素因子】
另：若n=p1^q1*p2^q2*.....*pk^qk
则，p(n)=(p1-1)*p1^(q1-1)*(p1-1)*p2^(q2-1)......*(pk-1)*pk^(qk-1)
性质：若m,n互质，φ(mn)=φ(m)φ(n)。当n为奇数时，φ(2n)=φ(n)
6. 欧拉定理：
a,m互质，a^φ(m)≡1(mod m)
例：2,3互质，那么，2^2%3=1
推论：对于互质的数a、n，满足a^(φ(n)+1) ≡ a (mod n)
欧拉公式的延伸：小于n 与n互质的数的和 是euler(n)*n/2
多个数的最小公倍数 每个数分解因子 质因子最高次幂相乘之积
7. 反素数
反素数 = 求约数最多的数 ：对于任何正整数x,其约数的个数记做g(x).例如g(1)=1,g(6)=4.如果某个正整数x满足:对于任意i(0<i<x),都有g(i)<g(x),则称x为反素数.
性质一:一个反素数的质因子必然是从2开始连续的质数.
性质二:p=2^t1*3^t2*5^t3*7^t4.....必然t1>=t2>=t3>=....
8. 约瑟夫：
f[1] = 0; f[i] = (f[i-1]+m)%i;
9. 高次幂取模：
a^b%c = a ^(b%eular(c)+eular(c)) % c。 eular（c)为欧拉函数
10. 鸽巢原理 ： 若有n个笼子和n+1只鸽子，所有的鸽子都被关在鸽笼里，那么至少有一个笼子有至少2只鸽子。
若有n个笼子和kn+1只鸽子，所有的鸽子都被关在鸽笼里，那么至少有一个笼子有至少k+1只鸽子。
推广定理 拉姆齐（Ramsey）定理: 又称拉姆齐二染色定理，是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
Pick定理是说，在一个平面直角坐标系内，如果一个多边形的顶点全都在格点上，那么这个图形的面积恰好就等于边界上经过的格点数的一半加上内部所含格点数再减一。
10. pick定理的一些应用
11. 内切圆半径
直角三角形中
1、两直角边相加的和减去斜边后除以2，得数是内切圆的半径：
r=(a+b-c)/2（注：s是Rt△的面积，a, b是Rt△的2个直角边，c是斜边）
2、两直角边乘积除以直角三角形周长，得数是内切圆的半径：
r=ab/ (a+b+c)
1)对于一般的三角形，内切圆半径公式如下：
[(s-a)(s-b)(s-c)/s]^(1/2)
s=(a+b+c)/2
12. 外接圆半径
```c++
R= abc/(4S)
= ¼ abc/√[p(p-a)(p-b)(p-c)]
=abc/√[(a+b+c)(-a+b+c)(a-b+c)(a+b-c)]
```
13.
球面距离计算公式：
d(x1,y1,x2,y2)=r*arccos(sin(x1)*sin(x2)+cos(x1)*cos(x2)*cos(y1-y2))
x1,y1是纬度\经度的弧度单位，r为地球半径
14.
已知任意四面体（三棱锥）六条棱的棱长，求其体积。
不妨记同一顶点引出的三条棱棱长的平方分别为a，b，c，它们的对棱棱长的平方分别为d，e，f，则四面体的体积V满足：
V=
sqrt[ad(b+c+e+f-a-d)+be(a+c+d+f-b-e)+cf(a+b+d+e-c-f)-abf-bcd-cae-def)]/12
15. 几何中的欧拉定理
设R为三角形外接圆半径，r为内切圆半径，d为外心到内心的距离，则：
d^2=R^2-2Rr
16. 多面体
设v为顶点数，e为棱数，f是面数，则 v-e+f=2-2p
p为欧拉示性数，例如
p=0 的多面体叫第零类多面体
p=1 的多面体叫第一类多面体
