中学数学平面几何定理集

前言

前面写过了 中学数学公式集 ，但中学数学还有一些定理形式的知识，这些不方便用公式来表示。因此额外编写一篇关于几何定理的文章。

欧几里德的平面五大公理

序号	内容
公理1	任意一点到另外任意一点可以画直线 。
公理2	一条有限线段可以继续延长。
公理3	以任意点为中心及任意的距离可以画圆。
公理4	凡是直角都彼此相等。
公理5	同平面内一条直线和另外两条直线相交,若在某一侧的两个内角和小于二直角的和,则这二直线经无限延长后在这一侧相交。

注意：公理推理其他命题的起点，是无法被其他命题推理出来的。但公理5并非在所有二维的面上都成立，所以把满足它的几何推理被称为欧几里德几何，简称欧氏几何。便于与后面的黎曼几何进行区分。

直线与角

内容	定理	逆定理
直线	过两点有且只有一条直线。
线段	连接两点的所有线中，线段的长度最短。此时线段的长称为两点的距离。
平行	经过直线外一点，有且只有一条直线与这条直线平行。
平行	如果两条直线都和第三条直线平行，这两条直线也互相平行。
垂直	过一点有且只有一条直线和指定直线垂直。
垂直	直线外一点与直线上各点连接的所有线段中，垂线段最短。
垂直平分线	线段垂直平分线上的点到这条线段两个端点的距离相等。	和一条线段两个端点距离相等的点，在这条线段的垂直平分线上。
角平分线	在角的平分线上的点到这个角的两边的距离相等。	到一个角的两边的距离相同的点，在这个角的平分线上。
平行	同位角相等, 两直线平行	两直线平行,同位角相等
平行	内错角相等,两直线平行	两直线平行,内错角相等
平行	同旁内角互补,两直线平行	两直线平行,同旁内角互补

三角形

三角形三个顶点为$A,B,C$, 记为$\Delta ABC$。角A的对边BC通常用a表示，角B的对边AC通常用b表示，角C的对边AB通常用c表示。

分类

类别	定义
锐角三角形	三个角都是锐角的三角形
直角三角形	有一角都是直角的三角形
钝角三角形	有一角都是钝角的三角形
等腰三角形	有两条边相等的三角形
等边三角形	三条边都相等的三角形

三角中心

	定义	向量表示
重心	三条中线的交点。物理上的质心。	$\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}=0$
垂心	三条高所在直线的交点。	$\overrightarrow{OA}\cdot \overrightarrow{OB}=\overrightarrow{OB}\cdot \overrightarrow{OC}=\overrightarrow{OC}\cdot \overrightarrow{OA}$
内心	三条角平分线的交点。内切接圆的中心。	$a\overrightarrow{OA}+b\overrightarrow{OB}+c\overrightarrow{OC}=0$
外心	三边的垂直平分线的交点。外接圆的中心。	$|OA{|}^2=|OB{|}^2=|OC{|}^2$

百科

九点圆：三角形各边的垂足、中心共圆，同时这圆也经过垂心与各顶点的中心。
欧拉线：在任意三角形中，垂心、外心、重心、九点圆心这些点共线。

相似与全等

如果$\Delta ABC$与$\Delta A^{\prime }{B}^{\prime }{C}^{\prime }$相似，记为$\Delta ABC\sim \Delta A^{\prime }{B}^{\prime }{C}^{\prime }$。同时有：
$$\begin{gathered} \frac{\angle A}{\angle A^{\prime }}=\frac{\angle B}{\angle B^{\prime }}=\frac{\angle C}{\angle C^{\prime }}=1 \\ \frac{|AB|}{|A^{\prime }{B}^{\prime }|}=\frac{|AC|}{|A^{\prime }{C}^{\prime }|}=\frac{|BC|}{|B^{\prime }{C}^{\prime }|}=k \\ {S}_{\Delta ABC}=k^2{S}_{\Delta A^{\prime }{B}^{\prime }{C}^{\prime }} \end{gathered}$$
其中，k为比例系数。

如果$\Delta ABC$与$\Delta A^{\prime }{B}^{\prime }{C}^{\prime }$全等，记为$\Delta ABC\cong \Delta A^{\prime }{B}^{\prime }{C}^{\prime }$。同时有：
$$\begin{gathered} \frac{\angle A}{\angle A^{\prime }}=\frac{\angle B}{\angle B^{\prime }}=\frac{\angle C}{\angle C^{\prime }}=1 \\ \frac{|AB|}{|A^{\prime }{B}^{\prime }|}=\frac{|AC|}{|A^{\prime }{C}^{\prime }|}=\frac{|BC|}{|B^{\prime }{C}^{\prime }|}=1 \\ {S}_{\Delta ABC}=S_{\Delta A^{\prime }{B}^{\prime }{C}^{\prime }} \end{gathered}$$

名称	简写	全等判定	相似判定
边边边	SSS	三条边都对应相等的两个三角形全等	三边成比例的两个三角形相似
边角边	SAS	两边和它们之间的夹角对应相等的两个三角形全等	两边成比例且夹角相等两个三角形相似
角边角	ASA	两角和它们之间的夹边对应相等的两个三角形全等	-
角角边	AAS	两个角和其中一个角的对边对应相等的两个三角形全等	-
角角	AA	-	两角对应相等两个三角形相似
斜边直角边	HL	斜边和一条直角边对应相等的两个三角形全等	一条直角边与斜边成比例的两个直角三角形相似

其他

定理	内容
内角和	三角形三个内角的和等于180°
密铺	任意的三角形都可以密铺平面
三角不等式	三角形任意两边之和大于第三边，即 $|AB|<|AC|+|BC|$。
勾股定理	直角三角形的斜边长的平方等于两直角边长的平方和，即$c^2=a^2+b^2$
勾股定理(逆定理)	如果三角形存在两边长之平方和等于第三边长的平方，那这个三角形是直角三角形，并且最长边对应的角是直角。
直角三角形性质	直角三角形斜边上的中线等于斜边上的一半
等腰三角形性质	等腰三角形的顶角平分线、底边上的中线和高互相重合
勾股定理	$c^2=a^2+b^2$
余弦定理	$c^2=a^2+b^2-2abcosC$
正弦定理	$$\frac{a}{\sin (A)}=\frac{b}{\sin (B)}=\frac{c}{\sin (C)}=2R$$
Heron(海伦)公式	$$\begin{gathered} S=\sqrt{p(p-a)(p-b)(p-c)} \\ p=\frac{a+b+c}{2} \end{gathered}$$
面积公式	$$\frac{1}{2}\left|\begin{array}{ccc}{x}_1& y_1& 1\\ x_2& y_2& 1\\ x_3& y_3& 1\end{array}\right|$$ 三个顶点坐标为$(x_1,y_1),(x_2,y_2),(x_3,y_3)$
外接圆半径	$R=abc/(4S)$
内切圆半径	$r=2S/(a+b+c)$
欧拉三角公式	$$\frac{1}{R+d}+\frac{1}{R-d}=\frac{1}{r}$$ R是外接圆半径，r是内切圆半径，d是圆心距

四边形

平行四边形、菱形、矩形和正方形

	平行四边形	菱形	矩形	正方形
定义	有两组对边分别平行的四边形	有一组邻边相等的平行四边形	有一个内角是直角的平行四边形	有一组邻边相等且有一个内角是直角的平行四边形
继承关系	-	菱形具有平行四边形的一切性质	矩形具有平行四边形的一切性质	正方形具有平行四边形、菱形和矩形的一切性质
边	对边平行且相等	四条边都相等	-	四条边都相等
角	对角相等,两邻角互补	-	四个角都是直角	四个角都是直角
对角线	对角线互相平分	对角线互相垂直平分且平分每一组对角	对角线长度相等且互相平分	对角线长度相等且互相垂直平分
对称轴	-	2条对称轴，即两条对角线所在直线	2条对称轴	4条对称轴

其他性质：
1.连接任意四边形各边的中点所得图形是平行四边形。
2.过平行四边形对角线交点的直线,将平行四边形分成全等的两部分图形。
3.平行四边形对角线把平行四边形面积分成四等分。
4.平行四边形是中心对称图形,对称中心是两条对角线的交点。
5.平行四边形的面积等于底和高的积。
6.平行四边形四条边的平方和等于对角线的平方和。

梯形

定义：只有一组对边平行的四边形是梯形
性质：
1.中位线平行于两底，且长度等于两底的平均数
2.梯形的面积等于中位线和高的积。

两条腰相等的梯形，称为等腰梯形。
等腰梯形两个底角相等。两条对角线相等。

其中一个角是直角的梯形，称为直角梯形。

其他

定理	内容
内角和	四边形四个内角的和等于360°
密铺	任意的四边形都可以密铺平面
欧拉四边形定理	abcd为四边形的边长，pq为四边形的对角线长，x为对角线中心的距离，则有 $a^2+b^2+c^2+d^2=p^2+q^2+4x^2$
四边形的余弦定理	$p^2{q}^2=a^2{c}^2+b^2{d}^2-2abcd\cos (A+C)$
面积Bretschneider公式	$S=\sqrt{(s-a)(s-b)(s-c)(s-d)-abcd{\cos }^2(\frac{A+C}{2})}$, 这里$s=\frac{1}{2}(a+b+c+d)$
面积	$S=\frac{1}{4}\sqrt{4p^2{q}^2-(a^2+c^2-b^2-d^2{)}^2}$
面积	$S=\frac{1}{2}\sqrt{p^2{q}^2-(m^2-n^2{)}^2}$, m,n是双中线，并有$p^2+q^2=2(m^2+n^2)$
面积(向量)	$S=\frac{1}{2}|AC\times BD|$
外接圆半径	$R=\sqrt{(ac+bd)(ad+bc)(ab+cd)}/(4S)$
双心四边形	$$\frac{1}{(R+d{)}^2}+\frac{1}{(R-d{)}^2}=\frac{1}{r^2}$$ R是外接圆半径，r是内切圆半径，d是圆心距

多边形

下面公式中多边形的顶点数为$n$

定理	内容	备注
内角和	$(n-2)\times 180^{\circ }$
外角和	$360^{\circ }$
对角线数量	$\frac{1}{2}n(n-3)$
高斯面积公式	$$\frac{1}{2}|\sum _{i=1}^n(x_i{y}_{i+1}-x_{i+1}{y}_i)|$$	多边形的顶点坐标为$(x_i,y_i)$
正多边形面积	$$S=\frac{a^2}{4}\frac{n}{\tan (180^{\circ }/n)}$$	边长为$a$
海伦公式-圆内接三角形面积	$S^2=(p-a)(p-b)(p-c)p$	$a,b,c$是三角形的边长，$p=\frac{a+b+c}{2}$
婆罗摩笈多公式-圆内接四角形面积	$S^2=(p-a)(p-b)(p-c)(p-d)$	$a,b,c,d$是四边形的边长，$p=\frac{a+b+c+d}{2}$
圆内接五、六边形面积	$$\begin{gathered} u=16S^2 \\ {t}_2=u-4s_2+s_1^2 \\ {t}_3=8s_3+s_1{t}_2-16\sqrt{s_6} \\ {t}_4=t_2^2-64s_4+64s_1\sqrt{s_6} \\ {t}_5=128s_5+32t_2\sqrt{s_6} \\ u{t}_4^3+t_3^2{t}_4^2-16t_3^3{t}_5-18u{t}_3{t}_4{t}_5-27u^2{t}_5^2=0 \end{gathered}$$	$s_i={\Pi }_i(a_1^2,a_2^2,a_3^2,a_4^2,a_5^2,a_6^2)$, 由Robbins (1995)提出，详见 五边形 六边形
可尺规作图的正多边形	$$\begin{gathered} n=2^a{3}^b{5}^{c}17^{d}257^{e}65537^f \\ 0\le a,0\le b,c,d,e,f\le 1 \end{gathered}$$	目前已知的费马质数$F_n=1+2^{2^n},(n=0,1,2,3,4)$
Poncelet’s Porism(彭赛列闭合定理)	平面上给定两条圆锥曲线Ci和Co，若存在一个N边形外切于Co且内接于Ci，则过Ci的每一个点都能作出一个外切于Co且内接于Ci的N边形。	Poncelet’s Porism
双心五边形	$$\begin{gathered} x=(R^2-d^2)/(2r) \\ (R-x)(R+x{)}^2=R(R^2-d^2) \end{gathered}$$	R是外接圆半径，r是内切圆半径，d是圆心距

彭赛列闭合定理示例：如下图，存在无数个三角形，共用同一个内切圆和外接圆：

圆锥曲线

圆形

定义：在平面内，到定点的距离等于定长的点的集合叫作圆。

定理	内容
圆心角定理	对于半径相同的圆，相等的圆心角所对弧相等，所对的弦相等，所对弦的弦心距相等。
圆周角定理	一条弧所对的圆周角等于它所对的圆心角的一半
弦切角定理	弦切角等于它所夹的弧对的圆周角
切线长定理	从圆外一点到圆的两条切线的长相等，那点与圆心的连线平分切线的夹角
相交弦定理	圆内两条弦$AB$、$CD$相交于P点，被交点分成的两条线段长的乘积相等，即$|PA|\times |PB|=|PC|\times |PD|$
切割线定理	圆的一条切线与一条割线相交于P点，切线交圆于C点，割线交圆于A、B两点，则有$|PA|\times |PB|=|PC{|}^2$

椭圆

定义：在平面内，与两个定点F1,F2的距离的和等于常数$2a$的点的轨迹称为椭圆。
这两个定点叫做椭圆的焦点，两焦点间的距离叫做椭圆的焦距。
假设两个焦点坐标为$(\pm c,0)$, 其中 $0\le c<a$，那么椭圆的方程为: $\frac{x^2}{a^2}+\frac{y^2}{a^2-c^2}=1$ 或 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$，其中$a^2-b^2=c^2$。
椭圆与x轴交于两点$(\pm a,0)$, 这两点的距离称为长轴。椭圆与y轴交于两点$(0,\pm b)$, 这两点的距离称为短轴。
离心率：$e=c/a\in [0,1)$
面积：$S=\pi ab$
周长(定义$\lambda =\frac{a-b}{a+b}$)：$$\begin{array}{rl}L& =\pi (a+b)(1+\frac{{\lambda }^2}{4}+\frac{{\lambda }^4}{64}+\frac{{\lambda }^6}{256}+\frac{25{\lambda }^8}{16384}+...)\\ & \approx \pi (a+b)\frac{64-3{\lambda }^4}{64-16{\lambda }^2}\\ & \approx \pi \sqrt{2(a^2+b^2)}\\ & \approx \pi [3(a+b)-\sqrt{(a+3b)(3a+b)}]\\ & \approx \pi (a+b)(1+\frac{3\lambda }{10+\sqrt{4-3\lambda }})\end{array}$$
椭圆的周长无法用初等函数表示，其中倒数两行由 Ramanujan(拉马努金)发现。
反射定理：从一个焦点发出的光线，经过椭圆反射后，必定汇聚到另一个焦点。

双曲线

定义：平面内，到两个定点F1,F2的距离之差的绝对值为常数2a的点的轨迹称为双曲线。
这两个定点叫做椭圆的焦点，两焦点间的距离叫做椭圆的焦距。
假设两个焦点坐标为$(\pm c,0)$, 其中 $0<a<c$，那么双曲线的方程为: $\frac{x^2}{a^2}-\frac{y^2}{c^2-a^2}=1$ 或 $\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$，其中$a^2+b^2=c^2$。
双曲线与x轴交于两点$(\pm a,0)$, 这两点的距离称为实轴。定义其虚轴的两个点为$(0,\pm b)$，刚好对应其共轭双曲线$\frac{y^2}{b^2}-\frac{x^2}{a^2}=1$的实轴。
离心率：$e=c/a>1$
渐近线：$y=\pm \frac{b}{a}x$
反射定理：从一个焦点发出的光线，经过双曲线任意一条分支反射后，必定反射汇聚到另一个焦点。

抛物线

定义：平面内，与一定点F和一定直线的距离相等的点的轨迹。
其中定点F叫抛物线的焦点，定直线叫抛物线的准线。
假设焦点坐标为$(p/2,0)$, 准线方程为$x=-p/2$，那么抛物线的方程为: $y^2=2px$。
离心率：$e=1$
反射定理：从焦点发出的光线，经过抛物线反射后的所有光线互相平行，且均与准线垂直。

通用性质

圆锥曲线，包含椭圆、双曲线、抛物线，这三类都具备圆锥曲线的所有性质。
定义1：由一平面截一圆锥面得到的曲线。
定义2：在平面内， 与定点F的距离和与定直线L的距离之比为常数e的点的轨迹称为圆锥曲线。(此定义不适用于圆。)
这个定点是圆锥曲线的一个焦点，这条直线是圆锥曲线的一条准线。一个焦点到其最近的准线的距离称为焦准距 p.
在极坐标中，以原点为焦点，圆锥曲线的方程为$$\rho =\frac{ep}{1-e\cos \theta }$$

	圆	椭圆	抛物线	双曲线
参数	半径r	半长轴a,半短轴b, $b\le a$	焦准距p	半实轴a,半虚轴b
曲线方程	$x^2+y^2=r^2$	$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$	$y^2=2px$	$\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$
半焦距	$c=0$	$c=\sqrt{a^2-b^2}$	-	$c=\sqrt{a^2+b^2}$
焦点	$(0,0)$	$(\pm c,0)$	$(p/2,0)$	$(\pm c,0)$
离心率	$e=0$	$e=c/a\in [0,1)$	$e=1$	$e=c/a>1$
准线方程	-	$x=\pm \frac{a^2}{c}$	$x=-p/2$	$x=\pm \frac{a^2}{c}$
切线方程	$x_{0}x+y_{0}y=r^2$	$\frac{x_0}{a^2}x+\frac{y_0}{b^2}y=1$	$y_{0}y=p(x0+x)$	$\frac{x_0}{a^2}x-\frac{y_0}{b^2}y=1$

名称	内容	备注
五点定理	经过平面内五个点的圆锥曲线有且只有一条	任意三个点不共线
五直线定理	相切于平面内五条直线的圆锥曲线有且只有一条	任意三条直线不共点
Pascal(帕斯卡)定理	圆锥曲线的内接六边形的三组对边的交点共线
Brianchon(布里昂雄)定理	圆锥曲线的外切六边形的三组对边的交点共线

总结

本篇介绍了平面几何定理集，因篇幅限制，空间几何、解析几何等内容还会在其他文章进行补充。