頂垂線 (三角形)

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

三角形の三本の頂垂線は一点（垂心）において交わる。鋭角三角形の垂心はその三角形の内部に存在する。

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

直角三角形において、各鋭角からの頂垂線はその足および対辺と交点がともに直角を成す頂点に一致する。すなわち直角をなす頂点は直角三角形の垂心に等しい。

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

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

直角三角形において、直角を持つ頂点から斜辺 c へ引いた垂線によって斜辺を二つの線分（それぞれ長さ p および q）に分割する。この頂垂線の長さを h_c と書けば、

$${\displaystyle h_{c}={\sqrt {pq}}}$$

なる関係が成り立つ（(幾何平均定理)（英語版））。

鈍角三角形の各鋭角から引いた頂垂線は、もとの三角形のまったく外側に存在する。H は垂心である。

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

• 三角形の各辺を頂垂線との交点で分割し、分割後のそれぞれの長さの辺を持つ正方形を作り（6つ）、図のように時計回りに赤・青・赤・青・赤・青とグループ分けして、赤と青の面積を求めると、両面積は等しくなっている。

• 三角形においては、頂垂線（或いはその延長線）上における垂心から足まで長さと足から三角形の外接円と延長線上の交点（当該頂垂線が関わる頂点ではない側）までの長さが一致する。図の中の外接円が書かれた黄色の三角形の各辺の両側にある赤・青・緑の領域は、それぞれ辺を軸とする線対称な形となっている。

• ある三角形の頂垂線の足3箇所を円周上に持つ正円について、その円周上には同じ三角形の各辺を二等分する点3箇所も存在し、その面積は同じ三角形の外接円の面積の4分の1となっている。

• 三角形の三辺の位置と長さそのものを直径とする三つの円によって生じる3本の共通弦は、その三角形の3本の頂垂線となる。

• 三角形の一辺が頂垂線の足で分割される場合、分割後の長さの辺を持つ正方形同士の面積の差分は、当該三角形の他の二辺で作られる正方形同士の面積の差分と等しくなっている。

• 鋭角三角形（橙）の各辺を用いた各正方形を係る辺の向かいの頂点からの頂垂線の延長線で分割した場合、分割後に生じる長方形について同色のもの同士の面積は互いに等しくなっている。

垂心

詳細は「垂心」を参照

「(垂心系)（英語版）」も参照

 

三つの頂垂線は垂心で交わる

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

三角形の頂点およびそのなす角を同じ文字 A, B, C で表し、対応する辺の長さを a = |BC|, b = |CA|, c = |AB| とする（しばしば辺自体も同じ文字で表す）とき、垂心の(三線座標)（英語版）は

$${\displaystyle \sec A:\sec B:\sec C=\cos A-\sin B\sin C:\cos B-\sin C\sin A:\cos C-\sin A\sin B}$$

 

で与えられ^[3]、また(重心座標)（英語版）は

$${\displaystyle {\begin{aligned}&(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{aligned}}}$$

 

で与えられる。

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

ガウス平面において、点 A, B, C はそれぞれ複素数 z_A, z_B, z_C を表現するものであり、三角形 ABC の外接円がガウス平面の原点に中心を持つと仮定すれば、複素数

$${\displaystyle z_{H}:=z_{A}+z_{B}+z_{C}}$$

 

を表現する点 H は三角形 ABC の垂心である^{[4](p. 90, Proposition 3)}。これにより、垂心 H の自由ベクトルによる特徴付け

$${\displaystyle {\vec {OH}}=\sum _{\text{cyclic}}{\vec {OA}},\qquad 2\cdot {\vec {HO}}=\sum _{\text{cyclic}}{\vec {HA}}}$$

 

が直接的に得られる。前者の式は「シルベスターの問題」と呼ばれるベクトルの等式で、ジェームス・ジョセフ・シルベスターが提案した^[5]:142。

性質

三角形の各頂点 A, B, C から降ろした垂線の足をそれぞれ D, E, F と書けば:

• 一つの頂垂線を垂心によって分けた二つの線分の長さの積は、どの頂垂線に対しても等しい値となる:^[6][7]
  $${\displaystyle AH\cdot HD=BH\cdot HE=CH\cdot HF.}$$

   
  この値の平方を半径とする H に中心を持つ円は、もとの三角形の(極円)（英語版）である^[8]。
• 三つの頂垂線に亘る、各頂垂線の長さに対する底面から垂心までの距離の比の和は、1 に等しい:^[9]
  $${\displaystyle {\frac {HD}{AD}}+{\frac {HE}{BE}}+{\frac {HF}{CF}}=1.}$$

   
  この性質と次の性質は、任意の内点とそれを通る三つの(チェヴァ線)（英語版）に関するより一般の性質の応用である。
• 各頂垂線に対する垂心から頂点への長さの比を、三つの頂垂線に関して加えたものは 2 に等しい:^[9]
  $${\displaystyle {\frac {AH}{AD}}+{\frac {BH}{BE}}+{\frac {CH}{CF}}=2.}$$

   
• 垂心の(同角共軛)（英語版）はその三角形の外心である^[10]
• 垂心の(同辺共軛)（英語版）は(反中点三角形)（英語版）の類似重心である^[11]
• 平面上の四点で、そのうちの一点が残りの三点の成す三角形の垂心となっているような組を(垂心系)（英語版）または垂心四角形 (orthocentric quadrangle) と言う。

円および円錐曲線との関係

三角形の(外接半径)を R とすれば

$${\displaystyle a^{2}+b^{2}+c^{2}+AH^{2}+BH^{2}+CH^{2}=12R^{2}}$$

 

が成り立つ^[12][13]。

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

$${\displaystyle r_{a}+r_{b}+r_{c}+r=AH+BH+CH+2R,}$$

 

$${\displaystyle r_{a}^{2}+r_{b}^{2}+r_{c}^{2}+r^{2}=AH^{2}+BH^{2}+CH^{2}+(2R)^{2}}$$

 

が満足される^[14]。

任意の頂垂線、例えば AD を延長して外接円と交わる点を P とし、外接円の弦 AP を作れば、その足 D は線分 HP を二等分する（すなわち ${\textstyle HD=DP}$ ）^[7]。

三角形の一辺とほかの二辺の延長とに外接 (externally tangent) する任意の抛物線の(準線)（英語版）は、その三角形の垂心を通過する^[15]

三角形の垂心を通る(外接円錐曲線)（英語版）は直角双曲線である^[16]。

他の中心との関係

詳細は「九点円」を参照

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

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

三角形の三辺の長さ a, b, c, (内半径) r および (外半径) R を用いて、以下が成立する^[19]:

${\textstyle OH^{2}=R^{2}-8R^{2}\cos A\cos B\cos C=9R^{2}-(a^{2}+b^{2}+c^{2}),}$ ^[20]:449

${\textstyle HI^{2}=2r^{2}-4R^{2}\cos A\cos B\cos C.}$ 

垂足三角形

 

Triangle abc (respectively, DEF in the text) is the orthic triangle of triangle ABC

三角形 ABC が(斜三角形)（英語版）（直角を含まない）ならば、もとの三角形の垂心に関する(垂足三角形)（英語版） (pedal triangle) を、単にその三角形の垂足三角形 (orthic triangle, altitude triangle) と呼ぶ。つまり、斜三角形のすべての頂垂線の足の成す三角形 DEF が垂足三角形である。垂足三角形 DEF の内心は、もとの三角形 ABC の垂心に一致する^{[21](p. 292, See also: Corollary 5.5, p. 318)}。

垂足三角形の頂点に対する(三線座標系)（英語版）は以下で与えられる:

• D = 0 : sec B : sec C,
• E = sec A : 0 : sec C,
• F = sec A : sec B : 0.

垂足三角形の(延長辺)（英語版）は、その基準三角形の対延長辺と三つの共線点で交わる^[22][23][21]。

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

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

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

垂足三角形は(外接三角形)（英語版）に近い関係を持つ。L_A を三角形 ABC の頂点 A における外接円の接線とし、同様に各頂点に対して外接円の接線 L_B, L_C も定義する。三つの交点 A" ≔ L_B ∩ L_C, B" ≔ L_C ∩ L_A, C" ≔ L_C ∩ L_A の成す三角形 A"B"C" をもとの三角形の外接三角形と呼び、その辺は三角形 ABC の外接円に頂点 A, B, C において接する。この外接三角形は垂足三角形の(中心相似形)（英語版）である。外接三角形の外心および、外接三角形と垂足三角形の(相似の中心)（英語版）はオイラー線上にある^[20]:447。

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

• A" = −a : b : c;
• B" = a : −b : c;
• C" = a : b : −c.

垂足三角形に関するより詳細は(垂心系#一般の垂足三角形)（英語版）の項を参照。

いくつかの垂線定理

辺の垂線定理

任意の三角形に対して、その辺の長さを a, b, c, 半周長を s = (a + b + c) / 2 と置けば、辺 a に対する頂垂線の長さは

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

 

で与えられる。

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

内半径定理

任意の三角形を考え、その辺の長さを a, b, c, 対応する頂垂線の長さをそれぞれ h_a, h_b, h_c とするとき、これら頂垂線の長さと(内半径) r は

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

 

なる関係を持つ^{[29](Lemma 1)}。

外半径定理

三角形の一辺 a に対応する頂垂線の長さを h_a とし、残りの二辺の長さを b, c と置けば、その三角形の外半径 R によって、頂垂線の長さは

$${\displaystyle h_{a}={\frac {bc}{2R}}}$$

 

で与えられる^[30]。

内点

三角形の内点 P に対し、P から各辺への垂直距離をそれぞれ p₁, p₂, p₃ とし、対応する辺における頂垂線の長さを h₁, h₂, h₃ とすれば

$${\displaystyle {\frac {p_{1}}{h_{1}}}+{\frac {p_{2}}{h_{2}}}+{\frac {p_{3}}{h_{3}}}=1}$$

 

が成り立つ^[31]。

面積定理

任意の三角形の三辺を a, b, c とそれぞれに対応する頂垂線の長さを h_a, h_b, h_c と書けば、頂垂線の長さの逆数和の半分 ${\textstyle H=(h_{a}^{-1}+h_{b}^{-1}+h_{c}^{-1})/2}$  に対して三角形の面積 Area は

$${\displaystyle {\mathord {\text{Area}}}^{-1}=4{\sqrt {H(H-h_{a}^{-1})(H-h_{b}^{-1})(H-h_{c}^{-1})}}}$$

 

を満足する^[32]。

垂線上の一般点

任意の三角形 ABC の頂垂線 AD 上の任意の点 E に対し

$${\displaystyle AC^{2}+EB^{2}=AB^{2}+CE^{2}}$$

 

が成り立つ^[33]:77–78。

特別な三角形の場合

正三角形

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

直角三角形

直角三角形の三つの頂垂線の長さ h_a, h_b, h_c（ただし前の二つはそれぞれの対辺への足の長さ b, a にそれぞれ等しいものとする）は

$${\displaystyle {\frac {1}{h_{a}^{2}}}+{\frac {1}{h_{b}^{2}}}={\frac {1}{h_{c}^{2}}}}$$

 

なる関係を持つ^[34][35]。

脚注

[脚注の使い方]

注釈

1. ^ 次元を上げて、頂点から底面への垂線も同様に頂垂線と呼ぶ
2. ^ より一般に、多角形の辺に対してそれを含む直線を得ることを「辺の延長」、得られた直線を「延長された辺」または「(辺の延長線)（英語版）」と呼ぶ。

出典

1. ^ Smart 1998, p. 156.
2. ^ ^{a b} Berele & Goldman 2001, p. 118.
3. ^ Clark Kimberling's Encyclopedia of Triangle Centers “”. 2012年4月19日時点のオリジナルよりアーカイブ。2012年4月19日閲覧。
4. ^ Andreescu, Titu; Andrica, Dorin (2006), Complex numbers from A to...Z, Boston: Birkhäuser, ISBN (978-0-8176-4326-3) 
5. ^ Dörrie, Heinrich (1965), 100 Great Problems of Elementary Mathematics. Their History and Solution, New York: Dover Publications, ISBN (0-486-61348-8) 
6. ^ Johnson 2007, p. 163, Section 255.
7. ^ ^{a b} Orthocenter of a triangle, http://www.pballew.net/orthocen.html 
8. ^ Johnson 2007, p. 176, Section 278.
9. ^ ^{a b} Panapoi, Ronnachai, Some properties of the orthocenter of a triangle, (University of Georgia), http://jwilson.coe.uga.edu/EMAT6680Fa06/Panapoi/assignment_8/assignment8.htm 
10. ^ Smart 1998, p. 182.
11. ^ Weisstein, Eric W. "Isotomic conjugate". MathWorld (英語).
12. ^ Weisstein, Eric W. "Orthocenter". MathWorld (英語).
13. ^ Altshiller-Court 2007, p. 102.
14. ^ Bell, Amy (2006), “Hansen's right triangle theorem, its converse and a generalization”, Forum Geometricorum 6, http://forumgeom.fau.edu/FG2006volume6/FG200639.pdf 
15. ^ Weisstein, Eric W. "Kiepert Parabola". MathWorld (英語).
16. ^ Weisstein, Eric W. "Jerabek Hyperbola". MathWorld (英語).
17. ^ Berle & Goldman 2001, p. 123.
18. ^ Berele & Goldman 2001, pp. 124–126.
19. ^ Gras, Marie-Nicole (2014), “Distances between the circumcenter of the extouch triangle and the classical centers”, Forum Geometricorum 14: 51-61, http://forumgeom.fau.edu/FG2014volume14/FG201405index.html 
20. ^ ^{a b} Smith, Geoff; Leversha, Gerry (November 2007), “Euler and triangle geometry”, Mathematical Gazette 
21. ^ ^{a b} William H. Barker, Roger Howe (2007). “§ VI.2: The classical coincidences”. Continuous symmetry: from Euclid to Klein. American Mathematical Society. ISBN (0-8218-3900-4). https://books.google.com/books?id=NIxExnr2EjYC&pg=PA292 
22. ^ Johnson 2007, p. 199, Section 315.
23. ^ Altshiller-Court 2007, p. 165.
24. ^ Johnson 2007, p. 168, Section 264.
25. ^ Berele & Goldman 2001, pp. 120–122.
26. ^ Johnson 2007, p. 172, Section 270c.
27. ^ Bryant, V., and Bradley, H., "Triangular Light Routes," Mathematical Gazette 82, July 1998, 298-299.
28. ^ Kay, David C. (1993), College Geometry / A Discovery Approach, HarperCollins, p. 6, ISBN (0-06-500006-4) 
29. ^ Andrica, Dorin; Marinescu, Dan Sțefan (2017), “New Interpolation Inequalities to Euler’s R ≥ 2r”, Forum Geometricorum 17: 149–156, http://forumgeom.fau.edu/FG2017volume17/FG201719.pdf 
30. ^ Johnson 2007, p. 71, Section 101a.
31. ^ Johnson 2007, p. 74, Section 103c.
32. ^ Mitchell, Douglas W. (November 2005), “A Heron-type formula for the reciprocal area of a triangle”, Mathematical Gazette 89: 494 
33. ^ (Posamentier, Alfred S.); Salkind, Charles T. (1996), Challenging Problems in Geometry (second revised edition ed.), Dover Publishing 
34. ^ Voles, Roger (July 1999), “Integer solutions of ${\textstyle a^{-2}+b^{-2}=d^{-2}}$ ”, Mathematical Gazette 83: 269–271 
35. ^ Richinick, Jennifer (July 2008), “The upside-down Pythagorean Theorem”, Mathematical Gazette: 313–317 

参考文献

• (Altshiller-Court, Nathan) (2007) [1952], College Geometry, Dover Publications 
• Berele, Allan; Goldman, Jerry (2001), Geometry / Theorems and Constructions, Prentice Hall, ISBN (0-13-087121-4) 
• Johnson, Roger A. (2007) [1960], Advanced Euclidean Geometry, Dover, ISBN (978-0-486-46237-0) 
• Smart, James R. (1998), Modern Geometries (5th ed.), Brooks/Cole, ISBN (0-534-35188-3) 

関連項目

• 三角形の中心
• 中点

外部リンク

• Weisstein, Eric W. "Altitude". MathWorld (英語).
• Orthocenter of a triangle With interactive animation
• Animated demonstration of orthocenter construction Compass and straightedge.
• Fagnano's Problem by Jay Warendorff, Wolfram Demonstrations Project.