高線

在數學中，三角形的高線（或稱高、垂線）是指過它的一個頂點並垂直於對邊的直線，或這條直線上從頂點到與對邊所在直線的交點之間的線段。高線與對邊所在之直線的交點稱為垂足。過一個頂點的高線的長度被稱為三角形在這個頂點上的高，而對應的對邊稱為底邊，其長度稱為底。

三角形的三條高線交於一點，該點稱為三角形的垂心，一般記作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]