= √[p(p-a)(p-b)(p-c)]
其中，S△ABC =√[p(p-a)(p-b)(p-c)] 就是著名的海伦公式，在希腊数学家海伦的著作《测地术》中有记载。
二、 海伦公式的推广
由于在实际应用中，往往需计算四边形的面积，所以需要对海伦公式进行推广。由于三角形内接于圆，所以猜想海伦公式的推广为：在任意内接与圆的四边形ABCD中，设p= ,则S四边形= 现根据猜想进行证明。
证明：如图，延长DA，CB交于点E。 设EA = e EB = f
∵∠1+∠2 =180○ ∠2+∠3 =180○ ∴∠1 =∠3 ∴△EAB～△ECD ∴ = = =
解得： e = ① f = ②
由于S四边形ABCD = S△EAB
将①，②跟b = 代入公式变形④，得到： ∴S四边形ABCD =
所以，海伦公式的推广得证。 8、欧拉线 定义
三角形的外心、重心、九点圆圆心、垂心，依次位于同一直线上，这条直线就叫三角形的欧拉线。 莱昂哈德·欧拉于1765年在它的著作《三角形的几何学》中首次提出定理：三角形的重心在欧拉线上，即三角形的重心、垂心和外心共线。他证明了在任意三角形中，以上四点共线。欧拉线上的四点中，九点圆圆心到垂心和外心的距离相等，而且重心到外心的距离是重心到垂心距离的一半。
9、共角比例定理
若两个三角形ABC与A1B1C1满足角CAB=角C1A1B1,则ABC面积/A1B1C1面积=AC*AB/A1C1*A1B1
证明可直接由面积公式S(ABC)=1/2*a*b*sinC得到 10、四边形蝴蝶定理
若四边形一条对角线平分另一对角线，则过其交点的两条直线，以四边交点（邻边）的连线，与被平分的对角线的两个交点到对角线焦点距离相等。 证明过程中用到共边比例定理、共角比例定理。 如图：BG=CG,求证：EG=FG 连接CP，BS，BR，CQ
EG/BE*CF/FG=S△PGQ/S△PBQ* S△SCR/S△SGR=S△ABD/S△PBQ * S△SCR/S△ACD * S△PGQ/S△SGR
=AB*BD/BP*BQ * SC*CR/AC*DC * PG*QG/RG*SG =AB*BD/BP*BQ * SC*CR/AC*DC * PG/RG*QG/SG
=S△ABC*S△BCD/S△BCP*BCQ * S△BCS*S△BCR/S△ABC*S△BCD * S△BCP/S△BCR*S△BCQ/S△BCS =1
EG*CF=FG*BE ∵EG+BE=CF+FG
∴EG=GF
11、燕尾定理
燕尾定理，因此图类似燕尾而得名，是一个关于三角形的定理（如图△ABC，D、E、F为BC、CA、AB 上的点，AD、BE、CF 交于O点）。
S△ABC中，S△AOB：S△AOC=S△BDO：S△CDO=BD：CD； 同理，S△AOC：S△BOC=S△AFO：S△BFO=AF：BF；
S△BOC：S△BOA=S△CEO：S△AEO=EC：EA。
帕斯卡定理
定义
圆内接六边形的三双对边(所在直线)的交点共线。这条直线称为该六边形的帕斯卡线。因法国数学家帕斯卡发现而得名。 定义的推广
本定理可推广为：圆锥曲线内接六边形的三双对边(所在直线)的交点共线。
正式证明：
考察上图即得。
笛沙格定理
1、 笛沙格同调定理（同调三角形定理）
平面上有两个三角形△ABC、△DEF，设它们的对应顶点（A和D、B和E、C和F）的连线交于一点，这时如果对应边或其延长线相交，则这三个交点共线。
相异平面上有两个三角形△ABC、△DEF，设它们的对应顶点（A和D、B和E、C和F）的连线交于一点，这时如果对应边或其延长线相交，则这三个交点共线。 P.S:其逆定理也成立
笛沙格对偶定理Desargues' Involution Theorem
一条直线与一个完全四点形*的三双对边的交点与外接于该四点形的圆锥曲线构成一个对合的四个点偶. 一个点与一个完全四线形*的三双对顶点的连线和从该点向内切于该四线形的圆锥曲线所引的切线构成一个对合的四个射线偶合.
一个完全四点形（四线形）实际上含有四点（线）1，2，3，4和它们的六条连线交点23，14，31，24，12，34；其中23与14、31与24、12与34称为对边（对顶点）.
笛沙格研究了两空间笛沙格构图成透射时的透射比问题,它是继两空间笛沙格构图成透射的条件及透射定位参数的确定问题之后,针对透射参数的研究.在过去研究工作基础上,运用几何分析方法,得到了求两空间笛沙格构图成透射时的透射比的计算公式,给出精确计算结果.将两空间笛沙格构图成透射的参数补齐.得到的透射比公式中含有耦合配位三角形中的几何关系,使透射比的表达更加简明.
2、笛沙格定理（平面）
如图，从O引射线A1A2、B1B2、C1C2。则B1A1与B2A2交于X，B1C1与B2C2交于Y，A1C1与A2C2交于Z，则X、Y、Z共线。可以用梅涅劳斯定理证明。
圆幂定理
圆幂定理是对相交弦定理、切割线定理及割线定理（切割线定理推论）以及它们推论统一归纳的结果。 定义
圆幂=|PO^2-R^2|（该结论为欧拉公式）
所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。 相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。 切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。
割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有
PA·PB=PC·PD。
统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PA·PB=PC·PD。 进一步升华（推论）
过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D。则PA·PB=PC·PD。若圆半径为r，则PC·PD=(PO-r)·(PO+r)=PO^2-r^2=|PO^2-r^2| （要加绝对值，原因见下）为定值。这个值称为点P到圆O的幂。（事实上所有的过P点与圆相交的直线都满足这个值） 若点P在圆内，类似可得定值为r^2-PO^2=|PO^2-r^2|
故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于A、B，那么PA·PB等于圆幂的绝对值。（这就是“圆幂”的由来）
巴斯加线定理
1 巴斯加线性质1 1.1 性质
在一个二次点列上任意给定6个点所作的60条巴斯加线中，每4条巴斯加线交于一个点——对边交点。
圆内接六边形ABCDEF（不论其六顶点排列次序如何），
其三组对边AB与DE、BC与EF、CD与FA的交点P、Q、R共线。
角平分线的 --- 库斯顿定理
定理：在三角形中，其中一个角的角平分线的平方等于夹这个角的两边的乘积与截对边的两条线段的乘积之差。
如图，在△ABC中，AD为∠BAC的角平分线交BC于D 则有 AD^2=AB*AC-BD*CD
内角平分线定理