垂足三角形

ユークリッド幾何学において、垂足三角形(すいそくさんかくけい、英:Pedal triangle)とは三角形と点に対して定義される三角形の一つである。

$△ ABC$ と $A, B, C$ でない点 $P$ について、 $P$ から直線 $BC, AC, AB$ に垂線を降ろし、垂線とそれぞれの直線の交点(垂足)を $L, M, N$ とする。このとき $△ LMN$ を垂足三角形と言う。

$△ ABC$ が鋭角三角形で $△ LMN$ の角がそれぞれ $180° - 2 A$ , $180° - 2 B$ , $180° - 2 C$ ならば、 $P$ は $△ ABC$ の垂心である^[1]。日本語ではこのときの $△ LMN$ のみを垂足三角形と呼ぶ場合もある。

特別な点の垂足三角形の例を挙げる。

垂心の垂足三角形は垂足三角形(orthic triangle)である。
内心の垂足三角形はジェルゴンヌ三角形である。
外心の垂足三角形は中点三角形である。
外接円上の点の垂足三角形は退化してシムソン線となる。
等力点の垂足三角形は正三角形となる。

内部の $P$ の垂足三角形の頂点について、以下の等式が成り立つ。これはカルノーの定理(英語版)と呼ばれる^[2]。

|AN|^{2}+|BL|^{2}+|CM|^{2}=|NB|^{2}+|LC|^{2}+|MA|^{2}.

三線座標[編集]

$P$ の三線座標を $p: q : r$ とし、Pの垂足三角形の頂点 $P$ の座標は以下の様に与えられる。

{\begin{array}{ccccccc}L&=&0&:&q+p\cos C&:&r+p\cos B\\[2pt]M&=&p+q\cos C&:&0&:&r+q\cos A\\[2pt]N&=&p+r\cos B&:&q+r\cos A&:&0\end{array}}

反垂足三角形[編集]

点 $L'$ を、 $B$ を通る $BP$ の垂線と $C$ を通る $CP$ の垂線の交点とする。点 $M'$ , $N'$ も同様に定義する。 $△ L'M'N'$ を $P$ の反垂足三角形(Antipedal triangle)と言い、それら点の三線座標は以下の様に与えられる。

{\begin{array}{ccrcrcr}L'&=&-(q+p\cos C)(r+p\cos B)&:&(r+p\cos B)(p+q\cos C)&:&(q+p\cos C)(p+r\cos B)\\[2pt]M'&=&(r+q\cos A)(q+p\cos C)&:&-(r+q\cos A)(p+q\cos C)&:&(p+q\cos C)(q+r\cos A)\\[2pt]N'&=&(q+r\cos A)(r+p\cos B)&:&(p+r\cos B)(r+q\cos A)&:&-(p+r\cos B)(q+r\cos A)\end{array}}

特別な点に対する反垂足三角形の例を挙げる^[3]。

内心の反垂足三角形は傍心三角形である。
外心の反垂足三角形は外接三角形である。
垂心の反垂足三角形は反中点三角形である。

$P$ を直線 $BC,CA,AB$ 上にない点、 $P -1$ を $P$ の等角共役点(英語版)とする。 $P$ の垂足三角形と $P -1$ の反垂足三角形は相似の位置にある。相似の中心の三線座標は以下の様に与えられる。

ap(p+q\cos C)(p+r\cos B)\ :\ bq(q+r\cos A)(q+p\cos C)\ :\ cr(r+p\cos B)(r+q\cos A)

$P$ の垂足三角形と

P -1

の反垂足三角形の面積の積は

△ ABC

の面積の二乗に等しい。

垂足円[編集]

垂足三角形の外接円を垂足円(Pedal circle)という。ただし三角形の外接円上の点の垂足円は定義できない。

等角共役点の垂足円[編集]

三角形の外接円上にない点 $P$ について $P$ の垂足円と $P$ の等角共役点 $P*$ の垂足円は一致する。また、垂足円の中心は $P$ と $P*$ の中点であることが知られている^[4]。

例えば $P$ が垂心であるとき垂足円は九点円であり、 $P*$ は外心なのでこの垂足円も九点円になる。 $P$ が内心であるとき内接円である。

垂足円に対する垂足三角形の対蹠点[編集]

Pの垂足三角形の各頂点を垂足円の中心で鏡映した点の成す三角形と、元の三角形は配景の関係にある^[5]。この配景の中心をPのpedal antipodal perspectorという。例えば、それぞれ内心、垂心のpedal antipodal perspectorはナーゲル点、プラソロフ点である。

出典[編集]

^ “Trigonometry/Circles and Triangles/The Pedal Triangle - Wikibooks, open books for an open world”. en.wikibooks.org. 2020年10月31日閲覧。
^ Alfred S. Posamentier; Charles T. Salkind (1996). Challenging problems in geometry. New York: Dover. pp. 85-86. ISBN 9780486134864. OCLC 829151719
^ Weisstein, Eric W.. “Antipedal Triangle” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。
^ Honsberger, Ross (1995-01-01). Episodes in Nineteenth and Twentieth Century Euclidean Geometry. The Mathematical Association of America. ISBN 978-0-88385-951-3
^ “ENCYCLOPEDIA OF TRIANGLE CENTERS X(2)”. faculty.evansville.edu. 2024年4月25日閲覧。

外部リンク[編集]

Mathworld: Pedal Triangle
Simson Line
Pedal Triangle and Isogonal Conjugacy
pedal triangle and pedal circle - interactive illustration

[1] “Trigonometry/Circles and Triangles/The Pedal Triangle - Wikibooks, open books for an open world”. en.wikibooks.org. 2020年10月31日閲覧。

[2] Alfred S. Posamentier; Charles T. Salkind (1996). Challenging problems in geometry. New York: Dover. pp. 85-86. ISBN 9780486134864. OCLC 829151719

[3] Weisstein, Eric W.. “Antipedal Triangle” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。

[4] Honsberger, Ross (1995-01-01). Episodes in Nineteenth and Twentieth Century Euclidean Geometry. The Mathematical Association of America. ISBN 978-0-88385-951-3

[5] “ENCYCLOPEDIA OF TRIANGLE CENTERS X(2)”. faculty.evansville.edu. 2024年4月25日閲覧。

[1]

[2]

[3]

[4]

[5]