接円錐曲線

ユークリッド幾何学において、接円錐曲線は外接円錐曲線（がいせつえんすいきょくせん、英:Circumconic）と内接円錐曲線（ないせつえんんすいきょくせん、英:inconic）のことである。それぞれ、三角形の3つの頂点を通る円錐曲線 、3つの辺（またはその延長線上）に接する円錐曲線を指す。それぞれ外接2次曲線、内接2次曲線ともいう。

テンプレート:Math について テンプレート:Math を単に テンプレート:Mvarとかく。テンプレート:Mvar,テンプレート:Mvarも同様である。また辺について$a=|BC|,b=|CA|,c=|AB|$ とする。

三線座標$X=x:y:z$において、外接円錐曲線はテンプレート:Mathを用いて以下の様に表すことができる。

$uyz+vzx+wxy=0,$

外接円錐曲線上の点テンプレート:Mvarの等角共役点が成す直線は以下のように書ける。

$ux+vy+wz=0.$

テンプレート:Mathの外接円と、この直線が、0,1,2点で交わっているとき、 その外接円錐曲線の形はそれぞれ楕円、放物線、双曲線となる。

テンプレート:Math の内接円錐曲線は以下の様に表すことができる。

$u^2{x}^2+v^2{y}^2+w^2{z}^2-2vwyz-2wuzx-2uvxy=0.$

中心と接線

外接円錐曲線

外接円錐曲線の中心は

$u(-au+bv+cw):v(au-bv+cw):w(au+bv-cw).$

である。外接円錐曲線が垂心を通る場合、九点円上に位置する。

テンプレート:Mvar での接線はそれぞれ以下の式となる。

$\begin{array}{cc}wv+vz& =0,\\ uz+wx& =0,\\ vx+uy& =0.\end{array}$

内接円錐曲線

内接円錐曲線の中心は以下の式で与えられる。

$cv+bw:aw+cu:bu+av.$

各辺との接点はテンプレート:Mathである。

他の性質

外接円錐曲線

• テンプレート:Mathの頂点でない外接円と、外接円錐曲線の交点の三線座標は以下の式で与えられる。

$(cx-az)(ay-bx):(ay-bx)(bz-cy):(bz-cy)(cx-az)$

• $P=p:q:r$ が外接円錐曲線上にあるとき,その外接円錐曲線のテンプレート:Mvarを通る接線は以下の式で表される。

$(vr+wq)x+(wp+ur)y+(uq+vp)z=0.$

• 外接円錐曲線が放物線であることと、以下の式が成立することは同値である。

$u^2{a}^2+v^2{b}^2+w^2{c}^2-2vwbc-2wuca-2uvab=0,$

双曲線であることは以下の式が成立することと同値である。

$u\cos A+v\cos B+w\cos C=0.$

• 楕円に内接する三角形のうち、最も面積が大きいものの重心は楕円の中心と一致する。逆に三角形に外接する楕円のうち、最も面積の大きいものの中心は三角形の重心と一致し、その楕円はシュタイナーの外接楕円である。

内接円錐曲線

• 内接円錐曲線が放物線であることと、以下の式が成立することは同値である。

$ubc+vca+wab=0,$

このとき、三角形の辺との接点のうち、1つは三角形の辺上にあり、他2つは辺の延長線上で接する。また、ブリアンション点(後述)はシュタイナー外接楕円上にある。

• 2点をそれぞれ$p_1:q_1:r_1,p_2:q_2:r_2$とする。また、

$X=(p_1+p_{2}t):(q_1+q_{2}t):(r_1+r_{2}t).$

テンプレート:Mvar を実数として、上式で表される点 テンプレート:Mvar の軌跡は直線である。

$X^2=(p_1+p_{2}t{)}^2:(q_1+q_{2}t{)}^2:(r_1+r_{2}t{)}^2.$

上式の点 テンプレート:Math の軌跡は下の式で表される楕円を成す。

$L^4{x}^2+M^4{y}^2+N^4{z}^2-2M^2{N}^{2}yz-2N^2{L}^{2}zx-2L^2{M}^{2}xy=0,$

ただし、

$\begin{array}{cc}L& =q_1{r}_2-r_1{q}_2,\\ M& =r_1{p}_2-p_1{r}_2,\\ N& =p_1{q}_2-q_1{p}_2.\end{array}$

• 内接円錐曲線が楕円（内接楕円）であることは、その中心が中点三角形の内側にあることと同値であるテンプレート:Rp。 また、中点三角形の内側にある点に対して、その点を中心とする楕円の内接円錐曲線は一意であるテンプレート:Rp。
• 楕円の内接円錐曲線のうち、最も面積の大きいのはシュタイナーの内接楕円で各辺と中点で接する。シュタイナーの内接楕円の中心は重心であるテンプレート:Rp。一般に楕円の内接円錐曲線の面積と三角形の面積の比について、楕円の中心の絶対重心座標をテンプレート:Math とし、以下の式が成り立つテンプレート:Rp。

$\frac{\text{Area of inellipse}}{\text{Area of triangle}}=\pi \sqrt{(1-2\alpha )(1-2\beta )(1-2\gamma )},$

相加相乗平均の不等式より テンプレート:Mathすなわち楕円の中心が重心であるとき、面積が最大であることがわかる。

四角形への一般化

四角形のすべての辺に接する楕円の中心は、その四角形の対角線の中点を結ぶ線分上にあるテンプレート:Rp。

例

• 外接円錐曲線
  • 外接円、外心を中心とする円
  • シュタイナーの外接楕円、重心を中心とする楕円
  • キーペルト双曲線、重心,垂心,フェルマー点,シュピーカー点などを通りX(115)を中心とする双曲線
  • ジェラベク双曲線、垂心、外心、類似重心、コスニタ点、プラソロフ点などを通りX(125)を中心とする双曲線
  • フォイエルバッハ双曲線、内心、垂心、ジェルゴンヌ点、 ナーゲル点、ミッテンプンクト、シフラー点などを通るフォイエルバッハ点を中心とする双曲線
• 内接円錐曲線
  • 内接円、内心を中心とする円
  • シュタイナーの内接楕円、三角形の辺の中点で接する重心を中心とする楕円
  • テンプレート:仮リンク、テンプレート:仮リンクと各辺の交点で接する、ミッテンプンクトを中心とする楕円
  • キーペルト放物線
  • イフ放物線

極三角形

任意の円錐曲線に対し、三角形とその三角形の頂点の極線の成す三角形の組を互いに極なる三角形または、単に一方の極三角形（polar triangle）という。ただし極三角形と言う語は球面三角形に対する異なる図形を指す場合もある。

互いに極なる三角形は配景の関係にある（Chasles's Polar Triangle Theorem）テンプレート:Rp。

テンプレート:仮リンクでは、内接円錐曲線に対する、基準三角形とその極三角形の配景の中心はブリアンション点と呼ばれる。ブリアンション点の三線座標はテンプレート:Mathである。また接円錐曲線に対する基準三角形とその極三角形の配景の中心を総じて核心（Kernel）という。

基準三角形と内接円錐曲線での例

• 内接円に対する極三角形はジェルゴンヌ三角形、核心はジェルゴンヌ点
• シュタイナーの内接楕円に対する極三角形は中点三角形、核心は重心
• マンダルト楕円に対する極三角形はテンプレート:仮リンク、核心はナーゲル点
• ブロカール楕円に対する極三角形eは類似中線三角形、核心は類似重心
• キーペルト放物線に対する極三角形はシュタイナー三角形、核心はシュタイナー点
• ルモワーヌ内接楕円に対する極三角形はルモワーヌ三角形、核心は類似重心と重心の中点X(597)の等角共役点X(598)

外接円錐曲線での例

• 外接円に対する極三角形は接線三角形、核心は類似重心
• シュタイナーの外接楕円に対する極三角形は反中点三角形、核心は重心

他の円錐曲線での例

• 極円に対する極三角形は元の三角形

関連

• 三角形の円錐曲線

外部リンク

• Circumconic at MathWorld
• Inconic at MathWorld