ユークリッド幾何学において、三線極線(さんせんきょくせん、:trilinear polar)とは三角形と点について一意的に決まる直線のひとつである[1][2][3]1865年フランスの数学者ポンスレ (1788–1867)によって提言された[1][4]

定義

編集
 
Pの三線極線
  ABC
  Pのチェバ三角形 DEF
  Pチェバ線
  三線極線 XYZ

ABC と点Pチェバ三角形配景の軸をP三線極線と言う。

つまりAP, BP, CPBC, CA, ABの交点をD, E, F、それぞれ直線の組(BC, EF), (CA, FD), (DE, AB)の交点をX, Y, Zとすると、デザルグの定理よりX, Y, Z共線である。このとき直線XYZPの三線極線という[1]

ABCにたいして直線Lが三線極線となるような、点PL三線極点(trilinear pole)または三線極と言う。

三線座標Pp : q : rとするとPの三線極線は以下の等式で表される[5]

 

三線極点

編集
 
直線XYZの三線極
  直線XYZ
  ABC
  XYZに対するチェバ三角形UVW
  チェバ線とその交点、三線極点P

LBC, CA, ABの交点をそれぞれX, Y, Z、直線の組(BY, CZ), (CZ, AX), (AX, BY)の交点をそれぞれU, V, Wとする。 ABCUVW は配景の関係にあり、その配景の中心PLの三線極点となる。

三線極線の例

編集

以下に有名な三線極線を挙げる[6]

三線極点の束

編集
 
定点Kを通る直線の三線極の軌跡は外接円錐曲線となる。

三線座標でPX : Y : ZKx0 : y0 : z0 とする。Pの三線極線は以下の式で表される。

 

この直線がKを通る場合、以下のように書くことができる。

 

逆に、この式を満たすPの軌跡は以下の式で表すことができる。

 

この式が表す曲線は外接円錐曲線Eとなる。

ABCと、外接円錐曲線Eに対するPolar triangleKを中心として配景的である[7][8]。 例えば、外接円のPolar triangleは外接三角形で、外接円上の点に対する三線極線は類似重心を通る。

関連

編集

出典

編集
  1. ^ a b c Coxeter, H.S.M. (1993). The Real Projective Plane. Springer. pp. 102–103. ISBN 9780387978895 
  2. ^ 三角形の心”. taurus.ics.nara-wu.ac.jp. 2024年7月13日閲覧。
  3. ^ 『初等幾何学 第1巻 平面之部』山海堂書店、1913年、542,566頁。doi:10.11501/930885 
  4. ^ Coxeter, H.S.M. (2003). Projective Geometry. Springer. pp. 29. ISBN 9780387406237. https://archive.org/details/projectivegeomet00coxe_193 
  5. ^ Weisstein. “Trilinear Polar”. MathWorld—A Wolfram Web Resource. 31 July 2012閲覧。
  6. ^ Weisstein. “Trilinear Pole”. MathWorld—A Wolfram Web Resource.. 8 August 2012閲覧。
  7. ^ Weisstein. “Perspector”. MathWorld—A Wolfram Web Resource.. 3 February 2023閲覧。
  8. ^ Weisstein. “Polar Triangle”. MathWorld—A Wolfram Web Resource.. 3 February 2023閲覧。

外部リンク

編集