頂垂線 (三角形)

初等幾何学における三角形の**頂垂線**（ちょうすいせん、）または単に垂線は、その三角形のひとつの頂点からその対辺（この場合、その頂点に対する「底辺」と呼ぶ）を含む直線へ垂直に引いた線分を言う。この対辺を含む直線のことを、その頂点または頂垂線に対する「延長された底辺」（*extended base*）あるいは「底辺の延長（線）」と呼ぶ。（頂）垂線と底辺（の延長線）との交点は、（頂）垂線の**足**（*foot*）と言う。頂垂線の「長さ」（しばしばこれを「**高さ**」〈"the altitude"〉と呼ぶ）は、頂点と底辺（の延長線）との間の距離（すなわち、頂点とそこから引いた頂垂線の足との間の距離）を言う。頂点から頂垂線をその足まで描くことを、頂点から「垂線を降ろす」（*dropping the altitude*）と言い、それは直交射影の特別の場合である。

高さは三角形の面積の計算にも用いることができる: 三角形の面積は、底辺の長さと頂垂線の長さの積の半分に等しい。したがって、三角形の最長の頂垂線は最短辺に垂直である。また、頂垂線と各辺は三角函数を通じて関係している。

二等辺三角形（二つの合同な辺を持つ三角形）において、合同でない辺を底辺として持つ頂垂線は、その辺の中点を足に持つ。また合同でない辺を底辺とする頂垂線は、その頂角の二等分線である。

頂垂線またはその長さを表すのにしばしば文字 （**h**eight に由来) が用いられ、対応する頂点を表す記号をしばしば添字として付けてどの頂点からの垂線なのかを表す。

直角三角形において、直角を持つ頂点から斜辺  へ引いた垂線によって斜辺を二つの線分（それぞれ長さ  および ）に分割する。この頂垂線の長さを  と書けば、h_c=\sqrt{pq}  なる関係が成り立つ（幾何平均定理）。

鋭角三角形および直角三角形に対しては、すべての頂垂線の足は三角形の（延長線上でない）辺上に載っている。（一つの鈍角を含む）鈍角三角形においては、鈍角を持つ頂点からの垂線は対辺の内部に足を降ろすが、残りの鋭角を持つ二頂点からの垂線はそれぞれの対辺の延長線上（すなわち三角形の外）に足を降ろす。


AltitudeAndSquares Tomoyuki Mogi.gif|三角形の各辺を頂垂線との交点で分割し、分割後のそれぞれの長さの辺を持つ正方形を作り（6つ）、図のように時計回りに赤・青・赤・青・赤・青とグループ分けして、赤と青の面積を求めると、両面積は等しくなっている（カルノーの定理の特別な場合)。
AltitudeAndCircles Tomoyuki Mogi.gif|三角形においては、頂垂線（或いはその延長線）上における垂心から足まで長さと足から三角形の外接円と延長線上の交点（当該頂垂線が関わる頂点ではない側）までの長さが一致する。図の中の外接円が書かれた黄色の三角形の各辺の両側にある赤・青・緑の領域は、それぞれ辺を軸とする線対称な形となっている。
CircumscribedCircleAndAltitudesAndQuarterCircle_TomoyukiMogi.gif|right|ある三角形の頂垂線の足3箇所を円周上に持つ正円について、その円周上には同じ三角形の各辺を二等分する点3箇所も存在し、その面積は同じ三角形の外接円の面積の4分の1となっている。
三角形の各辺を直径とする正円同士の共通弦が頂垂線となる図.gif|三角形の三辺の位置と長さそのものを直径とする三つの円によって生じる3本の共通弦は、その三角形の3本の頂垂線となる。
TriangleAltSqr TomoyukiMogi.png|三角形の一辺が頂垂線の足で分割される場合、分割後の長さの辺を持つ正方形同士の面積の差分は、当該三角形の他の二辺で作られる正方形同士の面積の差分と等しくなっている。
TomoyukiMogi DivideSquareWithAltitudeAboutTriangle.gif|鋭角三角形（橙）の各辺を用いた各正方形を係る辺の向かいの頂点からの頂垂線の延長線で分割した場合、分割後に生じる長方形について同色のもの同士の面積は互いに等しくなっている。


## 垂心

三角形の三つの頂垂線（場合によってはその延長線）は、三角形の**垂心**  と呼ばれる一点において交わる。。垂心が三角形の内部にあるための必要十分条件はその三角形が鋭角三角形（すべての角が直角以上になることがない三角形）となることである。一つの角が直角ならば、垂心はその直角を成す頂点に一致する。

三角形の頂点およびそのなす角を同じ文字  で表し、対応する辺の長さを  とする（しばしば辺自体も同じ文字で表す）とき、垂心のは 
  \sec A:\sec B:\sec C = \cos A-\sin B \sin C:\cos B-\sin C \sin A:\cos C-\sin A\sin B
 で与えられ、または \begin{align}
 &(a^2+b^2-c^2)(a^2-b^2+c^2) : (a^2+b^2-c^2)(-a^2+b^2+c^2) : (a^2-b^2+c^2)(-a^2+b^2+c^2)\\
 &\qquad =\tan A:\tan B:\tan C
\end{align} で与えられる。

重心座標系は三角形の内点に対してすべての座標が正となるが、外部の点では少なくとも一つの座標が負であり、また頂点において二つの座標の値が零となるから、垂心に対して与えられる上記の重心座標は、垂心が鋭角三角形の内部にあり、直角三角形の直角を成す頂点上にあり、また鈍角三角形の外部にあることを示すものになっている。

ガウス平面において、点  はそれぞれ複素数  を表現するものであり、三角形  の外接円がガウス平面の原点に中心を持つと仮定すれば、複素数 z_H :=z_A+z_B+z_C を表現する点  は三角形  の垂心である。これにより、垂心  の自由ベクトルによる特徴付け 
 \vec{OH}=\sum_{\text{cyclic}}\vec{OA},\qquad 2\cdot\vec{HO}=\sum_{\text{cyclic}}\vec{HA} が直接的に得られる。前者の式は「シルベスターの問題」と呼ばれるベクトルの等式で、ジェームス・ジョセフ・シルベスターが提案した。

### 性質
三角形の各頂点  から降ろした垂線の足をそれぞれ  と書けば:

* 一つの頂垂線を垂心によって分けた二つの線分の長さの積は、どの頂垂線に対しても等しい値となる:AH \cdot HD = BH \cdot HE = CH \cdot HF. この値の平方を半径とする  に中心を持つ円は、もとの三角形の極円である。
* 三つの頂垂線に亘る、各頂垂線の長さに対する底面から垂心までの距離の比の和は、 に等しい: \frac{HD}{AD} + \frac{HE}{BE} + \frac{HF}{CF} = 1. この性質と次の性質は、任意の内点とそれを通る三つのチェバ線に関するより一般の性質の応用である。
* 各頂垂線に対する垂心から頂点への長さの比を、三つの頂垂線に関して加えたものは  に等しい: \frac{AH}{AD} + \frac{BH}{BE} + \frac{CH}{CF} = 2.
* 垂心の等角共役はその三角形の外心である
* 垂心の等長共役は反中点三角形のである
* 平面上の四点で、そのうちの一点が残りの三点の成す三角形の垂心となっているような組をまたは垂心四角形 (orthocentric quadrangle) と言う。

### 円および円錐曲線との関係
三角形の外接半径を  とすれば a^2+b^2+c^2+AH^2+BH^2+CH^2 = 12R^2 が成り立つ。

さらに外接半径  とともに、三角形の内接半径を , 傍接半径を  とすれば、頂点から垂心への距離に関して以下の関係 
  r_a+r_b+r_c+r=AH+BH+CH+2R,

  r_a^2+r_b^2+r_c^2+r^2=AH^2+BH^2+CH^2+(2R)^2
 が満足される。

任意の頂垂線、例えば  を延長して外接円と交わる点を  とし、外接円の弦  を作れば、その足  は線分  を二等分する（すなわち HD = DP）。

三角形の一辺とほかの二辺の延長とに外接 (externally tangent) する任意の放物線のは、その三角形の垂心を通過する（シュタイナー線）。

三角形の垂心を通る外接円錐曲線はである（ポンスレ束）。

### 他の中心との関係

垂心 , 重心 , 外心 , および九点円の中心  はすべて同一直線上にあり、その直線はオイラー線と呼ばれる。九点円の中心は垂心と外心を結ぶオイラー線の中点の位置にあり（したがって OH=2NH）、重心と外心の間の距離は重心と垂心との距離の半分に等しい（2OG=GH）。

垂心は内心  との距離が、重心との距離より小さく（HI ）、また垂心は重心からの距離が内心よりも大きい（HG > IG）。

三角形の三辺の長さ , 内半径  および 外半径  を用いて、以下が成立する:
: OH^2 = R^2 -8R^2 \cos A \cos B \cos C=9R^2-(a^2+b^2+c^2),
: HI^2 = 2r^2 -4R^2 \cos A \cos B \cos C.

## 垂足三角形

三角形  が（直角を含まない）ならば、もとの三角形の垂心に関する垂足三角形 (pedal triangle) を、単にその三角形の**垂足三角形** (*orthic triangle*, *altitude triangle*) と呼ぶ。つまり、斜三角形のすべての頂垂線の足の成す三角形  が垂足三角形である。垂足三角形  の内心は、もとの三角形  の垂心に一致する。

垂足三角形の頂点に対するは以下で与えられる:
* ,
* ,
* .

垂足三角形のは、その基準三角形の対延長辺と三つの共線点で交わる。

任意の鋭角三角形において、周長最小となる内接三角形はその垂足三角形である。 これは1775年に提示されたファニャノの問題の解である。垂足三角形の辺は、その外接円のもとの三角形の頂点における接線に平行である。

鋭角三角形の垂足三角形は triangular light route を与える。

三角形  の各辺の中点における九点円の接線は、垂足三角形の辺に平行であり、垂足三角形に相似な三角形を成す。

垂足三角形は外接三角形に近い関係を持つ。 を三角形  の頂点  における外接円の接線とし、同様に各頂点に対して外接円の接線  も定義する。三つの交点 , ,  の成す三角形   をもとの三角形の外接三角形と呼び、その辺は三角形  の外接円に頂点  において接する。この外接三角形は垂足三角形のである。外接三角形の外心および、外接三角形と垂足三角形の相似の中心はオイラー線上にある。

外接三角形の頂点の三線座標系は以下で与えられる:
* ;
* ;
* .

垂足三角形に関するより詳細はの項を参照。

## いくつかの垂線定理
### 辺の垂線定理
任意の三角形に対して、その辺の長さを , 半周長を  と置けば、辺  に対する頂垂線の長さは h_a=\frac{2\sqrt{s(s-a)(s-b)(s-c)}}{a} で与えられる。

これは三角形の面積を辺の長さで表すヘロンの公式と面積公式 （を辺  とその対角  からの垂線に対して適用したもの）を組み合わせれば導出できる。

### 内半径定理
任意の三角形を考え、その辺の長さを , 対応する頂垂線の長さをそれぞれ  とするとき、これら頂垂線の長さと内半径  は 
  \frac{1}{r}=\frac{1}{h_a}+\frac{1}{h_b}+\frac{1}{h_c}
 なる関係を持つ。

### 外半径定理
三角形の一辺  に対応する頂垂線の長さを  とし、残りの二辺の長さを  と置けば、その三角形の外半径  によって、頂垂線の長さは h_a=\frac{bc}{2R} で与えられる。

### 内点
三角形の内点  に対し、 から各辺への垂直距離をそれぞれ  とし、対応する辺における頂垂線の長さを  とすれば 
  \frac{p_1}{h_1} +\frac{p_2}{h_2} + \frac{p_3}{h_3} = 1
 が成り立つ。

### 面積定理
任意の三角形の三辺を  とそれぞれに対応する頂垂線の長さを  と書けば、頂垂線の長さの逆数和の半分 H = (h_a^{-1} + h_b^{-1} + h_c^{-1})/2 に対して三角形の面積  は \mathord{\text{Area}}^{-1} = 4 \sqrt{H(H-h_a^{-1})(H-h_b^{-1})(H-h_c^{-1})} を満足する。

### 垂線上の一般点
任意の三角形  の頂垂線  上の任意の点  に対し AC^2+EB^2=AB^2+CE^2 が成り立つ。

### 特別な三角形の場合

#### 正三角形
正三角形内の任意の点  に対し、三辺への垂線の長さの和はその三角形の頂垂線の長さに等しい。これはヴィヴィアーニの定理である。

#### 直角三角形
直角三角形の三つの頂垂線の長さ （ただし前の二つはそれぞれの対辺への足の長さ  にそれぞれ等しいものとする）は \frac{1}{h_a ^2}+\frac{1}{h_b ^2}=\frac{1}{h_c ^2} なる関係を持つ。

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 

## 関連項目
* 三角形の中心
* 中点

## 外部リンク
* 
*Orthocenter of a triangle With interactive animation
*Animated demonstration of orthocenter construction Compass and straightedge.
* Fagnano's Problem by Jay Warendorff, Wolfram Demonstrations Project.