直極点
From Wikipedia, the free encyclopedia
幾何学において直極点（ちょっきょくてん、英:Orthopole）は、三角形と直線に対して定義される特別な点の一つである[1][2]。△ABCと直線lについて、A, B, Cからlに降ろした垂線の足をそれぞれA', B', C'とする。A', B', C'から△ABCの辺BC, CA, ABに降ろした垂線は一点で交わる。この点をlの直極点という[3][4][5]。例えば、オイラー線の直極点はジェラベク双曲線の中心、ブロカール軸の直極点はキーペルト双曲線の中心である。
直極点は多くの性質を持つために 、様々な文献の対象となっている[6]。特に、ある点を直極点とする直線や、直極円（orthopolar circle）と呼ばれる円が重要なテーマとなっている[7][8]。
シムソン線との関係
- 直線が平行に動くとき、その直極点は直線と等距離に動き、直線に垂直な直線を成す[9]。
- 三角形の辺の直極点は垂心である。
- 中心を反中点三角形の頂点とし直線に接する円の根心はその直線の直極点である[10]。
- 垂心を通る直線の直極点をその直線で鏡映した点は九点円上にある[10]。
- 四角形ABCDについて、4頂点のうち3点から成る4つの三角形に対する、直線の直極点は共線である。その線はOrthopolar Lineと呼ばれる。
- 4本の直線から成る四角形、完全四辺形と直線lについて、4本の直線のうち3本の直線が成す三角形に対するlの直極点は共線である。さらにそれら直極点のlに対する垂足から残りの1本の直線へ降ろした垂線は共点である[11][12]。これをこの四角形に対するlの直極点という。
円錐曲線との関係
任意の点Pを通る直線の直極点の軌跡は円錐曲線、特に楕円を成す[9][14][15]。この楕円はシュタイナーデルトイドと接する。楕円が線分に退化するときは、Pが外接円上にあるときである（掛谷集合も参照）。Pが外心であるとき、楕円は九点円となる。
ルモワーヌの定理
直極点をHとする直線上の任意の点Pの垂足円に対するHの方べきの値は一定である[16]。1904年、ティモレオン・ルモワーヌによって示された[17]。この定理の系にグリフィスの定理または第二フォントネーの定理、一般化にエイヤールの定理がある。
一般化
直極点は対垂三角形の関係にある一方の三角形を退化させたものの対垂の中心としてみることができる[18]。このとき、もう一方の対垂の中心は平行な垂線が交わる点、無限遠点となる。
また直極点は任意の角に対する一般化が可能である[19][20][21]。△ABCと直線lについて、AA', BB', CC'がlと有向角θを成すようにl上に点A', B', C'をとる。それぞれA', B', C'を通り、BC, CA, ABと有向角π - θを成す直線は一点で交わる。これを斜極点（Isopole）という[22]。
直線lへのA, B, Cの垂線の足をそれぞれA', B', C'とする。線分AA', BB', CC'をそれぞれ点P, Q, Rが一定の比で分つとすると、P, Q, RからBC, CA, ABに降ろした垂線は共点である。比を0:1にすると直極点を得る[23]。