高线

在数学中，三角形的高线（或称高、垂线）是指过它的一个顶点并垂直于对边的直线，或这条直线上从顶点到与对边所在直线的交点之间的线段。高线与对边所在之直線的交点称为垂足。过一个顶点的高线的长度被称为三角形在这个顶点上的高，而对应的对边称为底边，其长度称为底。

三角形的三条高线交于一点，该点称为三角形的垂心，一般记作。

高线与垂心
任意一个三角形的三条高线交于一点，称为该三角形的垂心。证明如下：

设有三角形。过顶点做的高线交于点，过顶点做的高线交于点；直线和交于点（如右图）。只需证明直线垂直于，就证明了是过点的高线，即三条高线相交于一点。因为欧氏几何中，给定一點與一直線，只存在一條直線過这个定點並與給定的直線垂直。

下证垂直于。设和的交点为。由于角和角（右图中蓝色角）都是直角，、、、四点共圆，同理，、、、四点共圆。所以角等于角，角等于角等于角（红色角相等）。

然而角与角（绿色角）的和是90度，所以角与角的和也是90度，即角与角的和是90度。因此三角形是直角三角形，角（紫色角）是直角。也就是说垂直于。因此三角形的三条高线交于一点。证毕。

垂心坐标为

性质
三角形的高可以用来计算其面积：三角形的面积等于过一个顶点的高乘以对边的长度再除以2：

其中为某一条边的边长，为所对的顶点的高。 
如果三角形是等腰三角形，，那么过点的高线与过点的中线和角平分线重合。
直角三角形的垂心是斜边所对的顶点。如果三角形是直角三角形，其中角是直角，那么过点的高线是，过点的高线是。三角形的垂心就是点。
锐角三角形的垂心在三角形内部；钝角三角形的垂心在三角形外部。
欧拉定理断言，三角形的重心、外心和垂心共线（称为欧拉线），并且重心是连接外心和垂心的线段的一个三等分点：
垂心将高线分成的两段的乘积相等：如右图中，
三角形的垂心到一边的距离，等于这边上的高线的延长线从垂足到外接圆的长度。
外心和垂心为等角共轭点。
三角形的三个垂足都在九点圆的圆周上。每个顶点和垂心所连成的线段的中点也在九点圆上。实际上，九点圆的九个点就是三边的中点和以上的六个点。九点圆的圆心也在欧拉线上，并且在垂心到外心的线段的中点。此外九点圆平分垂心与外接圆上的任一点的连线。
一个三角形的三个顶点、、和它的垂心构成一个垂心组： 、、、。也就是说，这四点中任意的三点的垂心都是第四点。

垂心的垂足三角形
过平面上一点分别做垂直于三角形每条边的垂线，与这条边相交于一点（垂足）。这三个点连成的三角形称为点的垂足三角形。垂心的垂足三角形是。是三角形的内心，而三角形的三个顶点是三角形的三个旁心 See also: Corollary 5.5, p. 318.。

锐角三角形的所有内接三角形中，有最小周长的是垂心的垂足三角形。如果一束光从三角形的某一个高线垂足、或出发沿着三角形的边的方向射出，那么它的光路将是闭合的，也就是三角形Bryant, V., and Bradley, H., "Triangular Light Routes," Mathematical Gazette 82, July 1998, 298-299.。这个性质仅对于垂心的垂足三角形成立：如果从三角形某一边某一点出发的光线经过反射能形成一个三角形的闭合光路，那么这个光路必然是三角形。

垂心H 的垂足三角形的各个边分别平行于三角形的外接圆在各个顶点处的切线。

在三角形中，三角形、三角形和三角形的外接圆交于一点，这点就是的垂心。

高线的长度
过三角形某一顶点的高线的长度称为过这点的高或这一点上的高。三角形的三个顶点 、、上的高通常分别记作、、。它们可以用三角形三边的边长、、（分别是顶点、、的对边：、和的长度）来表示：



其中s是三角形的半周长：。这三个关系式可以通过海伦公式：

以及三角形的面积公式：推出来。

高与内切圆半径 
三角形内切圆的半径与三个顶点上的高、、有如下的关系：

而三角形的三个旁切圆的半径也和高有类似的关系：




其中的、、分别指圆心在三个顶点、、射出的内角平分线上的旁切圆、、的半径。

反海龍公式
如果设，那么有以下类似于海龍公式的三角形面积公式Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.：

高與外切圓半徑和面積之關係
令是與三高成反比的一組數字：
「三高線之三角形」的外切圓半徑可以表示為此：

「三高線之三角形」的面積可以表示為此：

。證明在下方。

高與外切圓半徑、面積之證明
令，將 形成一與原三角形相似的三角形

我們可知當  時， 

由上可得，因此兩三角形之比值

故原三角形ABC中，，

所以外切圓半徑

而面積S則為

参见
垂心组
垂足三角形
垂直
九点圆

参考来源

Category:三角形几何