三角形の円錐曲線

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:暫定記事名

ユークリッド幾何学において、三角形の円錐曲線または三角形の二次曲線:Triangle conic)は三角形に定義される、円錐曲線の総称である。 たとえば、外接円内接円シュタイナー楕円キーペルト双曲線が挙げられる。ほかに、それぞれの頂点または対辺ごとに定義される、アルツト放物線のようなものもある[1]

三角形の円錐曲線と言う言葉に、明確な定義は存在せず、文献の中で広く使われている ([2][3][4][5]などを参照)。ギリシャの数学者Paris Pamfilosは「円錐曲線が外接するとは、テンプレート:Math頂点3つを通ることであり、円錐曲線が内接するとは3辺に接することである」と述べた[6][7]。三角形の楕円放物線双曲線(triangle circle,ellipse,parabola,hyperbola)といった言葉も同様に定義された。

Encyclopedia of Triangle CentersCatalogue of Triangle Cubicsのような、三角形に対する図形の辞典のようなもので、円錐曲線がまとめられているものは2024年現在、存在しない[8]

三線座標による式

三線座標テンプレート:Mathを用いて任意の円錐曲線は以下の式で表される。rx2+sy2+tz2+2uyz+2vzx+2wxy=0.うち、外接円錐曲線と内接円錐曲線は以下の式で表すことができる。uyz+vzx+wxy=0l2x2+m2y2+n2z22mnyz2nlzx2lmxy=0

特別な三角形の円錐曲線

以下に有名な円錐曲線を挙げる。基準となる三角形をテンプレート:Math 、頂点及び角をテンプレート:Mvar、その対辺をそれぞれテンプレート:Mvar、とする。また、円錐曲線をあらわす三線座標の変数をテンプレート:Mathとする。

三角形の円

有名な三角形の円[9]
No. 名称 定義 等式
1 外接円 頂点3つを通る円 ax+by+cz=0
テンプレート:Mathの外接円
2 内接円 3辺に接する内側の円 ±xcosA2±ycosB2±zcosC2=0
テンプレート:Mathの内接円
3 傍接円 辺の一つとは辺の内部で接し、他2辺とは延長線上で接する円 ±xcosA2±ycosB2±zcosC2=0±xcosA2±ycosB2±zcosC2=0±xcosA2±ycosB2±zcosC2=0
内接円と傍接円
4 九点円 辺の中点頂垂線の足、垂心と頂点の中点などを通る円 x2sin2A+y2sin2B+z2sin2C 2(yzsinA+zxsinB+xysinC)=0
九点円
5 第一ルモワーヌ円 ルモワーヌ点を通り、各辺に平行な線と、他2辺の交点を通る円[10]
第一ルモワーヌ円

三角形の楕円

有名な三角形の楕円
No. 名称 定義 等式
1 シュタイナー外接楕円 テンプレート:Mathの頂点を通り、重心を中心に持つ楕円 1ax+1by+1cz=0
テンプレート:Mathのシュタイナー楕円
2 シュタイナーの内接楕円 各辺と接し、重心を中心にもつ楕円 a2x2+b2y2+c2z22bcyz2cazx2abxy=0
テンプレート:Mathのシュタイナーの内接楕円

三角形の双曲線

三角形の双曲線
No. 名称 定義 等式 図形
1 キーペルト双曲線 3つの相似な二等辺三角形テンプレート:Math, テンプレート:Math, テンプレート:Math, を三角形の同じ側に作ったときテンプレート:Mvarが交わる点の軌跡 sin(BC)x+sin(CA)y+sin(AB)z=0
テンプレート:Mathのキーペルト双曲線。垂心テンプレート:Mvarと重心テンプレート:Mvar、頂点テンプレート:Mvarを通る。.
2 ジェラベク双曲線 三角形の頂点、垂心、外心を通る双曲線 a(sin2Bsin2C)x+b(sin2Csin2A)y+c(sin2Asin2B)z=0
テンプレート:Mathのジェラベク双曲線
3 フォイエルバッハ双曲線 三角形の頂点、垂心、内心を通る円 cosBcosCx+cosCcosAy+cosAcosBz=0
テンプレート:Mathのフォイエルバッハ双曲線

三角形の放物線

有名な三角形の放物線
No. 名称 定義 等式
1 アルツト放物線[11][12][1] テンプレート:Mvarテンプレート:Mvarと接する放物線(他2組についても同様) x2a24yzbc=0y2b24zxca=0z2c24xyab=0
テンプレート:Mathのアーツ放物線
2 キーペルト放物線[13] 3つの相似な二等辺三角形テンプレート:Math, テンプレート:Math, テンプレート:Mathを同じ側に作ったとき、テンプレート:Mathテンプレート:Math配景の軸が成す包絡線 f2x2+g2y2+h2z22fgxy2ghyz2hfzx=0,where f=b2c2,g=c2a2, h=a2b2.
テンプレート:Mathのキーペルト放物線。テンプレート:Mvarの包絡線である。

三角形の円錐曲線の族

ホフスタッター楕円

テンプレート:Mathのホフスタッター楕円

ホフスタッター楕円(Hofstadter ellipses)はある媒介変数によってあらわされる楕円の集合である[14]x2+y2+z2+yz[D(t)+1D(t)]+zx[E(t)+1E(t)]+xy[F(t)+1F(t)]=0ただし テンプレート:Mvar は媒介変数でD(t)=cosAsinAcottAE(t)=cosBsinBcottBF(t)=cosCsinCcottCである。 テンプレート:Mvarテンプレート:Math が表す楕円は等しい。また テンプレート:Mathのとき内接楕円x2+y2+z22yz2zx2xy=0となり テンプレート:Mathとすると外接楕円aAx+bBy+cCz=0.となる。

トムソン円錐曲線とダルブー円錐曲線

トムソン円錐曲線(Thomson Conics)は、各辺との接点を通る、各辺の法線共点である内接円錐曲線の集合である。ダルブ―円錐曲線(Darboux Conics)は頂点での円錐曲線の法線が共点である外接円錐曲線である。双方の共点は、ダルブ―三次曲線上にある[15][16]

平行線との交点により構成される円錐曲線

平行線によって構築される円錐曲線

テンプレート:Mvarと点テンプレート:Mvarについて、テンプレート:Mvarを通るテンプレート:Mvarに平行な線と、他2辺との交点をそれぞれテンプレート:Mvarとする。この6点は同一円錐曲線上にある。特にテンプレート:Mvar類似重心であるとき円となる。テンプレート:Mvarの三線座標をテンプレート:Mvarとすると、6点を通る円錐曲線は以下の式で表される[17]

(u+v+w)2(bcuyz+cavzx+abwxy)+(ax+by+cz)(vw(v+w)ax+wu(w+u)by+uv(u+v)cz)=0


九点円錐曲線

九点円錐曲線

テンプレート:詳細記事 テンプレート:Mvarと点テンプレート:Mvarについて、テンプレート:Mvar中点と、テンプレート:Mvarテンプレート:Mvarテンプレート:Mvarの交点の計9点を通る円錐曲線を九点円錐曲線(Nine-point conic)という[18][19][20]テンプレート:Mvarが垂心のとき円(九点円)、重心のとき内接楕円(シュタイナーの内接楕円)となる。

イフ円錐曲線

イフ円錐曲線

媒介辺数 λを用いて、x2+y2+z22λ(yz+zx+xy)=0,で表される円錐曲線をイフ円錐曲線(Yff conics)という[21] 。任意の点テンプレート:Mathによってλλ=u2+v2+w22(vw+wu+uv).で表される。特に放物線(イフ放物線、Yff parabola)の時はλ=a2+b2+c2a2+b2+c22(bc+ca+ab)=λ0である。

λ<λ0 または λ>12のとき楕円、 λ0<λ<1のとき双曲線となる。 1<λ<12のときは、座標平面上には表れない。

ラビノヴィッツ円錐曲線

ラビノヴィッチ円錐曲線

テンプレート:Mvarと点テンプレート:Mvarについて、同じ向きにテンプレート:Mvarで、テンプレート:Mvarを満たすように点テンプレート:Mvarをとると、その6点は同一円錐曲線上にある。これをラビノヴィッツ円錐曲線(Rabinowitz Conics)と言う[22]

関連

出典