高线

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

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

高线与垂心

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

设有三角形ABC。过顶点A做BC的高线交BC于点D，过顶点B做AC的高线交AC于点E；直线AD和BE交于点H（如右图）。只需证明直线CH垂直于AB，就证明了CH是过C点的高线，即三条高线相交于一点H。因为欧氏几何中，给定一点与一直线，只存在一条直线过这个定点并与给定的直线垂直。

下证CH垂直于AB。设CH和AB的交点为F。由于角AEB和角ADB（右图中蓝色角）都是直角，A、B、D、E四点共圆，同理，C、D、H、E四点共圆。所以角DCH等于角DAB，角DCH等于角DEB等于角DAB（红色角相等）。

然而角DAB与角ABD（绿色角）的和是90度，所以角DCH与角ABD的和也是90度，即角FCB与角FBC的和是90度。因此三角形BCF是直角三角形，角BFC（紫色角）是直角。也就是说CH垂直于AB。因此三角形的三条高线交于一点H。证毕。

垂心坐标为 $({\frac {\begin{vmatrix}x_{2}x_{3}+y_{2}y_{3}&1&y_{1}\\x_{3}x_{1}+y_{3}y_{1}&1&y_{2}\\x_{1}x_{2}+y_{1}y_{2}&1&y_{3}\end{vmatrix}}{\begin{vmatrix}x_{1}&y_{1}&1\\x_{2}&y_{2}&1\\x_{3}&y_{3}&1\end{vmatrix}}},{\frac {\begin{vmatrix}x_{2}x_{3}+y_{2}y_{3}&x_{1}&1\\x_{3}x_{1}+y_{3}y_{1}&x_{2}&1\\x_{1}x_{2}+y_{1}y_{2}&x_{3}&1\end{vmatrix}}{\begin{vmatrix}x_{1}&y_{1}&1\\x_{2}&y_{2}&1\\x_{3}&y_{3}&1\end{vmatrix}}})$

性质

三条高线交于垂心

三角形的高可以用来计算其面积：三角形的面积 $S$ 等于过一个顶点的高乘以对边的长度再除以2：
$S={\frac {ah_{a}}{2}}$

其中 $a$ 为某一条边的边长， $h_{a}$ 为所对的顶点的高。

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

垂心的垂足三角形

三角形abc 是三角形ABC 的垂心的垂足三角形，它的内心正是ABC的垂心H.

过平面上一点P 分别做垂直于三角形每条边的垂线，与这条边相交于一点（垂足）。这三个点连成的三角形称为点P 的垂足三角形。垂心H 的垂足三角形是H₁H₂H₃。H 是三角形H₁H₂H₃的内心，而三角形A₁A₂A₃的三个顶点是三角形H₁H₂H₃的三个旁心^[1]。

锐角三角形A₁A₂A₃的所有内接三角形中，有最小周长的是垂心H 的垂足三角形H₁H₂H₃。如果一束光从三角形的某一个高线垂足H₁、H₂或H₃出发沿着三角形H₁H₂H₃的边的方向射出，那么它的光路将是闭合的，也就是三角形H₁H₂H₃^[2]。这个性质仅对于垂心的垂足三角形成立：如果从三角形某一边某一点出发的光线经过反射能形成一个三角形的闭合光路，那么这个光路必然是三角形H₁H₂H₃。

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

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

高线的长度

过三角形某一顶点的高线的长度称为过这点的高或这一点上的高。三角形ABC的三个顶点A、B、C上的高通常分别记作 $h_{a}$ 、 $h_{b}$ 、 $h_{c}$ 。它们可以用三角形三边的边长 $a$ 、 $b$ 、 $c$ （分别是顶点A、B、C的对边：BC、CA和AB的长度）来表示：

h_{a}={\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{a}}.

h_{b}={\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{b}}.

h_{c}={\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{c}}.

其中s是三角形的半周长： $2s=a+b+c$ 。这三个关系式可以通过海伦公式：

S={\sqrt {s(s-a)(s-b)(s-c)}}

以及三角形的面积公式： $S={\frac {ah_{a}}{2}}$ 推出来。

高与内切圆半径

三角形内切圆的半径r与三个顶点上的高 $h_{a}$ 、 $h_{b}$ 、 $h_{c}$ 有如下的关系：

\displaystyle {\frac {1}{r}}={\frac {1}{h_{a}}}+{\frac {1}{h_{b}}}+{\frac {1}{h_{c}}}.

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

\displaystyle {\frac {1}{r_{a}}}=-{\frac {1}{h_{a}}}+{\frac {1}{h_{b}}}+{\frac {1}{h_{c}}}.

\displaystyle {\frac {1}{r_{b}}}={\frac {1}{h_{a}}}-{\frac {1}{h_{b}}}+{\frac {1}{h_{c}}}.

\displaystyle {\frac {1}{r_{c}}}={\frac {1}{h_{a}}}+{\frac {1}{h_{b}}}-{\frac {1}{h_{c}}}.

其中的 $r_{a}$ 、 $r_{b}$ 、 $r_{c}$ 分别指圆心在三个顶点A、B、C射出的内角平分线上的旁切圆 $J_{a}$ 、 $J_{b}$ 、 $J_{c}$ 的半径。

反海龙公式

如果设 $h_{s}={\frac {h_{a}^{-1}+h_{b}^{-1}+h_{c}^{-1}}{2}}$ ，那么有以下类似于海龙公式的三角形面积公式^[3]：

A^{-1}=4{\sqrt {h_{s}(h_{s}-h_{a}^{-1})(h_{s}-h_{b}^{-1})(h_{s}-h_{c}^{-1})}}.

高与外切圆半径和面积之关系

令 $a,b,c$ 是与三高 $h_{a},h_{b},h_{c}$ 成反比的一组数字： “三高线之三角形”的外切圆半径可以表示为此： $R={\frac {abc^{2}h_{c}}{8(S_{abc})^{2}}}$ “三高线之三角形”的面积可以表示为此： $S={\frac {(ch_{c})^{2}}{4(S_{abc})^{2}}}$ 。证明在下方。

高与外切圆半径、面积之证明

令 $a_{0}:b_{0}:c_{0}=h_{a}^{-1}:h_{b}^{-1}:h_{c}^{-1}$ ，将 $a_{0},b_{0},c_{0}$ 形成一与原三角形相似的三角形

我们可知当 $s={\frac {a_{0}+b_{0}+c_{0}}{2}}$ 时， $S_{a_{0}b_{0}c_{0}}={\sqrt {s(s-a_{0})(s-b_{0})(s-c_{0})}}$

由上可得 $h_{c_{0}}={\frac {2S_{a_{0}b_{0}c_{0}}}{c_{0}}}$ ，因此两三角形之比值 $r={\frac {h_{c}}{h_{c_{0}}}}={\frac {c_{0}h_{c}}{2S_{a_{0}b_{0}c_{0}}}}$

故原三角形ABC中 $a=a_{0}r$ ， $b=b_{0}r$ ， $c=c_{0}r$

所以外切圆半径 $R={\frac {ab}{2h_{c}}}={\frac {r^{2}a_{0}b_{0}}{2h_{c}}}={\frac {({\frac {c_{0}h_{c}}{2S_{a_{0}b_{0}c_{0}}}})^{2}a_{0}b_{0}}{2h_{c}}}={\frac {abc^{2}h_{c}}{8(S_{abc})^{2}}}$

而面积S则为 $S=S_{a_{0}b_{0}c_{0}}r^{2}=S_{a_{0}b_{0}c_{0}}({\frac {c_{0}h_{c}}{2S_{a_{0}b_{0}c_{0}}}})^{2}={\frac {(ch_{c})^{2}}{4(S_{abc})^{2}}}$

参见

参考来源

^ William H. Barker, Roger Howe. § VI.2: The classical coincidences. Continuous symmetry: from Euclid to Klein. American Mathematical Society Bookstore. 2007: 292. ISBN 0-8218-3900-4. See also: Corollary 5.5, p. 318.
^ Bryant, V., and Bradley, H., "Triangular Light Routes," Mathematical Gazette 82, July 1998, 298-299.
^ Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.

R.A.约翰逊，单墫译. 《近代欧氏几何学》. 上海教育出版社. ISBN 7-5320-6392-5.

[Barker-1] William H. Barker, Roger Howe. § VI.2: The classical coincidences. Continuous symmetry: from Euclid to Klein. American Mathematical Society Bookstore. 2007: 292. ISBN 0-8218-3900-4. See also: Corollary 5.5, p. 318.

[2] Bryant, V., and Bradley, H., "Triangular Light Routes," Mathematical Gazette 82, July 1998, 298-299.

[3] Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.

[1]

[2]

[3]