查看“︁高线”︁的源代码

[[File:Triangle.Orthocenter.svg|thumb|right|三角形的三条高线，它们交于一点，称为垂心]]
在[[数学]]中，[[三角形]]的'''高线'''（或称'''高'''、'''垂线'''）是指过它的一个[[頂點 (幾何)|顶点]]并[[垂直]]于对边的[[直线]]，或这条直线上从顶点到与对边所在直线的交点之间的[[线段]]。高线与对边所在之直線的交点称为'''垂足'''。过一个顶点的高线的长度被称为三角形在这个顶点上的'''高'''，而对应的对边称为'''底边'''，其长度称为'''底'''。

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

==高线与垂心==
[[File:Orthocenter proof.png|thumb|right]]
[[任意三角形|任意一个三角形]]的三条高线交于一点，称为该三角形的垂心。证明如下：

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

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

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

垂心坐标为<math>(\frac{\begin{vmatrix} x_2x_3+y_2y_3 & 1 & y_1\\x_3x_1+y_3y_1 & 1 & y_2\\x_1x_2+y_1y_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_2x_3+y_2y_3 & x_1 & 1\\x_3x_1+y_3y_1 & x_2 & 1\\x_1x_2+y_1y_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}})</math>

==性质==
[[File:Orthocenter with marks.PNG|thumb|240px|right|三条高线交于垂心]]
*三角形的高可以用来计算其面积：三角形的面积<math>S</math>等于过一个顶点的高乘以对边的长度再[[除以2]]：
*:<math>S = \frac{ah_a}{2}</math>
其中<math>a</math>为某一条边的边长，<math>h_a</math>为所对的顶点的高。 
*如果三角形<math>ABC</math>是[[等腰三角形]]，<math>AB=AC</math>，那么过<math>A</math>点的高线与过<math>A</math>点的[[中线]]和[[角平分线]]重合。
*直角三角形的垂心是[[斜边]]所对的顶点。如果三角形<math>ABC</math>是[[直角三角形]]，其中角<math>ACB</math>是直角，那么过<math>A</math>点的高线是<math>AC</math>，过<math>B</math>点的高线是<math>BC</math>。三角形的垂心就是点<math>C</math>。
*锐角三角形的垂心在三角形内部；钝角三角形的垂心在三角形外部。
*[[欧拉线|欧拉定理]]断言，三角形的[[重心]]<math>G</math>、[[外心]]<math>O</math>和垂心<math>H</math>共线（称为欧拉线），并且重心是连接外心和垂心的线段的一个三等分点：<math>HG =2GO</math>
*垂心将高线分成的两段的乘积相等：如右图中，<math>A_1 H\times HH1=A_2H\times HH_2=A_3H\times HH_3</math>
*三角形的垂心到一边的距离，等于这边上的高线的延长线从垂足到[[外接圆]]的长度。
*外心<math>O</math>和垂心<math>H</math>为[[等角共轭点]]。
*三角形的三个垂足都在[[九点圆]]的圆周上。每个顶点和垂心所连成的线段的中点也在九点圆上。实际上，九点圆的九个点就是三边的中点和以上的六个点。九点圆的圆心也在欧拉线上，并且在垂心到外心的线段的中点。此外九点圆平分垂心与外接圆上的任一点的连线。
*一个三角形<math>ABC</math>的三个顶点<math>A</math>、<math>B</math>、<math>C</math>和它的垂心<math>H</math>构成一个[[垂心组]]： <math>A</math>、<math>B</math>、<math>C</math>、<math>H</math>。也就是说，这四点中任意的三点的垂心都是第四点。

==垂心的垂足三角形==
[[File:Altitudes and orthic triangle SVG.svg|thumb|三角形<math>abc</math>是三角形<math>ABC</math>的垂心的垂足三角形，它的内心正是''<math>ABC</math>''的垂心<math>H</math>。]]
过平面上一点<math>P</math>分别做垂直于三角形每条边的垂线，与这条边相交于一点（垂足）。这三个点连成的三角形称为点<math>P</math>的[[垂足三角形]]。垂心<math>H</math>的垂足三角形是<math>H_1 H_2 H_3</math>。<math>H</math>是三角形<math>H_1 H_2 H_3</math>的内心，而三角形<math>A_1 A_2 A_3</math>的三个顶点是三角形<math>H_1 H_2 H_3</math>的三个[[旁心]]<ref name=Barker>{{cite book |title=Continuous symmetry: from Euclid to Klein |author= William H. Barker, Roger Howe |url=http://books.google.com/books?id=NIxExnr2EjYC&pg=PA292 |chapter=§ VI.2: The classical coincidences |isbn=0-8218-3900-4 |publisher=American Mathematical Society Bookstore |year=2007|page= 292}} See also: Corollary 5.5, p. 318.
</ref>。

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

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

在三角形<math>A_1 A_2 A_3</math>中，三角形<math>A_1H_2H_3</math>、三角形<math>H_1A_2H_3</math>和三角形<math>H_1H_2A_3</math>的外接圆交于一点，这点就是<math>A_1 A_2 A_3</math>的垂心''<math>H</math>''。

==高线的长度==
过三角形某一顶点的高线的长度称为过这点的高或这一点上的高。三角形<math>ABC</math>的三个顶点 <math>A</math>、<math>B</math>、<math>C</math>上的高通常分别记作<math>h_a</math>、<math>h_b</math>、<math>h_c</math>。它们可以用三角形三边的边长<math>a</math>、<math>b</math>、<math>c</math>（分别是顶点<math>A</math>、<math>B</math>、<math>C</math>的对边：<math>BC</math>、<math>CA</math>和<math>AB</math>的长度）来表示：
:<math>h_a=\frac{2\sqrt{s(s-a)(s-b)(s-c)}}{a}.</math> 
:<math>h_b=\frac{2\sqrt{s(s-a)(s-b)(s-c)}}{b}.</math> 
:<math>h_c=\frac{2\sqrt{s(s-a)(s-b)(s-c)}}{c}.</math> 
其中s是三角形的半周长：<math>2s = a+b+c</math>。这三个关系式可以通过[[海伦公式]]：
::<math>S = \sqrt{s(s-a)(s-b)(s-c)} </math>
以及三角形的面积公式：<math>S = \frac{ah_a}{2}</math>推出来。
 
===高与内切圆半径 ===
三角形[[内切圆]]的半径<math>r</math>与三个顶点上的高<math>h_a</math>、<math>h_b</math>、<math>h_c</math>有如下的关系：
<center><math>\displaystyle \frac{1}{r}=\frac{1}{ h_a }+\frac{1}{ h_b }+\frac{1}{ h_c }.</math></center> 
而三角形的三个[[旁切圆]]的半径也和高有类似的关系：
<center> <math>\displaystyle \frac{1}{r_a}=-\frac{1}{ h_a }+\frac{1}{ h_b }+\frac{1}{ h_c }.</math></center>  

<center><math>\displaystyle \frac{1}{r_b}=\frac{1}{ h_a }-\frac{1}{ h_b }+\frac{1}{ h_c }.</math></center> 
<center> <math>\displaystyle \frac{1}{r_c}=\frac{1}{ h_a }+\frac{1}{ h_b }-\frac{1}{ h_c }.</math></center> 
其中的<math>r_a</math>、<math>r_b</math>、<math>r_c</math>分别指圆心在三个顶点<math>A</math>、<math>B</math>、<math>C</math>射出的内角平分线上的旁切圆<math>J_a</math>、<math>J_b</math>、<math>J_c</math>的半径。

===反海龍公式===
如果设<math>h_s=\frac{h_a^{-1} + h_b^{-1} + h_c^{-1}}{2}</math>，那么有以下类似于海龍公式的三角形面积公式<ref>Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," ''Mathematical Gazette'' 89, November 2005, 494.</ref>：
:<math>A^{-1} = 4 \sqrt{h_s(h_s-h_a^{-1})(h_s-h_b^{-1})(h_s-h_c^{-1})}.</math>

===高與外切圓半徑和面積之關係===
令<math>a, b, c</math>是與三高<math>h_a, h_b, h_c</math>成反比的一組數字：
「三高線之三角形」的外切圓半徑可以表示為此：
<math>R=\frac{abc^2h_c}{8(S_{abc})^2}</math>
「三高線之三角形」的面積可以表示為此：
<math>S=\frac{(ch_c)^2}{4(S_{abc})^2}</math>
。證明在下方。

===高與外切圓半徑、面積之證明===
令<math>a_0:b_0:c_0=h_a^{-1}:h_b^{-1}:h_c^{-1}</math>，將 <math>a_0,b_0,c_0</math>形成一與原三角形相似的三角形

我們可知當 <math>s=\frac{a_0+b_0+c_0}{2}</math> 時，<math>S_{a_0b_0c_0}=\sqrt{s(s-a_0)(s-b_0)(s-c_0)}</math> 

由上可得<math>h_{c_0}=\frac{2S_{a_0b_0c_0}}{c_0}</math>，因此兩三角形之比值<math>r=\frac{h_c}{h_{c_0}}=\frac{c_0h_c}{2S_{a_0b_0c_0}}</math>

故原三角形ABC中<math>a=a_0r</math>，<math>b=b_0r</math>，<math>c=c_0r</math>

所以外切圓半徑<math>R=\frac{ab}{2h_c}=\frac{r^2a_0b_0}{2h_c}=\frac{(\frac{c_0h_c}{2S_{a_0b_0c_0}})^2a_0b_0}{2h_c}=\frac{abc^2h_c}{8(S_{abc})^2}</math>

而面積S則為<math>S=S_{a_0b_0c_0}r^2=S_{a_0b_0c_0}(\frac{c_0h_c}{2S_{a_0b_0c_0}})^2=\frac{(ch_c)^2}{4(S_{abc})^2}</math>

==参见==
*[[垂心组]]
*[[垂足三角形]]
*[[垂直]]
*[[九点圆]]

==参考来源==
{{reflist}}
*{{cite book| author= R.A.约翰逊，单墫 译|title=《近代欧氏几何学》|publisher=上海教育出版社|isbn=7-5320-6392-5|accessdate=2009-10-26}}

{{三角形的特殊点}}
[[Category:三角形几何]]