チェビアン

幾何学において、チェビアン（英:Cevian）またはチェバ線とは三角形の頂点とその対辺を結ぶ線分の総称である。中線や角の二等分線などはチェバ線の特別な場合である。チェバ線に関する有名な定理を発表したジョバンニ・チェバに由来する。 チェビアンの長さdはスチュワートの定理を用いて次の様に求めることができる。 b 2 m + c 2 n = a ( d 2 + m n ) . {\displaystyle \,b^{2}m+c^{2}n=a(d^{2}+mn).} チェビアンが中線である場合、中線定理を用いることができる。 m ( b 2 + c 2 ) = a ( d 2 + m 2 ) {\displaystyle \,m(b^{2}+c^{2})=a(d^{2}+m^{2})} 2 ( b 2 + c 2 ) = 4 d 2 + a 2 {\displaystyle \,2(b^{2}+c^{2})=4d^{2}+a^{2}} d = 2 b 2 + 2 c 2 − a 2 2 . {\displaystyle d={\frac {\sqrt {2b^{2}+2c^{2}-a^{2}}}{2}}.} ただし a = 2 m . {\displaystyle \,a=2m.} チェビアンが角の二等分線の場合、以下の様に求められる。 ( b + c ) 2 = a 2 ( d 2 m n + 1 ) , {\displaystyle \,(b+c)^{2}=a^{2}\left({\frac {d^{2}}{mn}}+1\right),} d 2 + m n = b c {\displaystyle d^{2}+mn=bc} d = 2 b c s ( s − a ) b + c {\displaystyle d={\frac {2{\sqrt {bcs(s-a)}}}{b+c}}} ただし、sは半周長（ s = a + b + c 2 {\displaystyle s={\tfrac {a+b+c}{2}}} ） チェビアンが頂垂線である場合、以下の様に求められる。 d 2 = b 2 − n 2 = c 2 − m 2 {\displaystyle \,d^{2}=b^{2}-n^{2}=c^{2}-m^{2}} d = 2 s ( s − a ) ( s − b ) ( s − c ) a , {\displaystyle d={\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{a}},} 図の様に、それぞれの頂点に対するチェビアンが内部の点で交わっているとき、以下の式が成り立つ。 A F ¯ F B ¯ ⋅ B D ¯ D C ¯ ⋅ C E ¯ E A ¯ = 1 A O ¯ O D ¯ = A E ¯ E C ¯ + A F ¯ F B ¯ ; O D ¯ A D ¯ + O E ¯ B E ¯ + O F ¯ C F ¯ = 1 ; A O ¯ A D ¯ + B O ¯ B E ¯ + C O ¯ C F ¯ = 2. {\displaystyle {\begin{aligned}&{\frac {\overline {AF}}{\overline {FB}}}\cdot {\frac {\overline {BD}}{\overline {DC}}}\cdot {\frac {\overline {CE}}{\overline {EA}}}=1\\&\\&{\frac {\overline {AO}}{\overline {OD}}}={\frac {\overline {AE}}{\overline {EC}}}+{\frac {\overline {AF}}{\overline {FB}}};\\&\\&{\frac {\overline {OD}}{\overline {AD}}}+{\frac {\overline {OE}}{\overline {BE}}}+{\frac {\overline {OF}}{\overline {CF}}}=1;\\&\\&{\frac {\overline {AO}}{\overline {AD}}}+{\frac {\overline {BO}}{\overline {BE}}}+{\frac {\overline {CO}}{\overline {CF}}}=2.\end{aligned}}} 最初の式はチェバの定理である。 周長を二等分するチェビアンは中界線（英語版）と呼ばれ、ナーゲル点で交わる。 面積を二等分するチェビアンは中線であり、重心で交わる。 6本の角の三等分線の辺に対して同じ側にあるもの交点は、モーリーの三角形と呼ばれる正三角形を成す。 ラウスの定理によって三角形とチェビアンで作られた三角形との比を決定することができる。 △ABCと点Pについて直線BC,APの交点をD、直線CA,BPの交点をE,直線AB,CPの交点をFとする。このとき、線分AD,BE,CFをチェバ族、チェバ単体という。また、△DEFをPのチェバ三角形（Cevian triangle）という。Pの重心座標をp : q : rとし、D,E,Fの重心座標は以下の様に与えられる。 D = 0 : q : r , E = p : 0 : r , F = p : q : 0 {\displaystyle D=0:q:r,\quad E=p:0:r,\quad F=p:q:0} 重心のチェバ三角形は中点三角形 垂心のチェバ三角形は垂足三角形 チェバ三角形の外接円をチェバ円（cevian circle）という。 重心、垂心のチェバ円は九点円 ジェルゴンヌ点のチェバ円は内接円 △ABCと点Pについて、Pのチェバ三角形を△DEF、チェバ円をΓとする。またΓとBC,CA,ABの、D,E,Fでない方の交点をそれぞれA",B",C"とする。このとき、3つのチェビアンAA",BB",CC"は一点で交わる。この3つのチェビアンの交点を、チェバ円共役点と言い、Pとそのチェバ円共役点の関係をチェバ円共役（Cyclocevian conjugate）という。またチェバ円共役点のチェバ三角形をチェバ円三角形（Cyclocevian triangle）と言う。チェバ円共役が成り立つことはテルケムの定理と呼ばれている。 ジェルゴンヌ点は自身とチェバ円共役 重心と垂心はチェバ円共役 Pの三線座標をp : q : r、a,b,cを三角形の辺の長さとし、チェバ円共役点の三線座標は以下の式で与えられる。 1 a ( p 2 q 2 + p 2 r 2 − q 2 r 2 ) + 2 p q r ( a p + b q + c r ) cos ⁡ A : 1 b ( q 2 r 2 + q 2 p 2 − r 2 p 2 ) + 2 p q r ( a p + b q + c r ) cos ⁡ B : 1 c ( r 2 p 2 + r 2 q 2 − p 2 q 2 ) + 2 p q r ( a p + b q + c r ) cos ⁡ C {\displaystyle {\frac {1}{a(p^{2}q^{2}+p^{2}r^{2}-q^{2}r^{2})+2pqr(ap+bq+cr)\cos A}}:{\frac {1}{b(q^{2}r^{2}+q^{2}p^{2}-r^{2}p^{2})+2pqr(ap+bq+cr)\cos B}}:{\frac {1}{c(r^{2}p^{2}+r^{2}q^{2}-p^{2}q^{2})+2pqr(ap+bq+cr)\cos C}}} △ABCと点Pについて、以下の3つの条件を満たす三角形△A'B'C'をPの反チェバ三角形（Anticevian triangle）または反チェバ単体という。反チェバ三角形を成す直線は反チェバ線と言われる。 A'B'C'はそれぞれAP,BP,CP上にある。 B'C',C'A',A'B'はそれぞれ点A,B,Cを通る。 △A'B'C'に対するPのチェバ三角形は△ABCである。 Pの三線座標をp : q : rとし、A',B',C'の三線座標は以下の様に与えられる。 A ′ = − p : q : r , B ′ = p : − q : r , C ′ = p : q : − r {\displaystyle A'=-p:q:r,\quad B'=p:-q:r,\quad C'=p:q:-r} 内心の反チェバ三角形は傍心三角形 重心の反チェバ三角形は反中点三角形 類似重心の反チェバ三角形は外接三角形 △ABCと任意の点P,Qについて、Pのチェバ三角形とQの反チェバ三角形は配景である。この配景の中心をQのPチェバ共役点といい、QとQのPチェバ円共役点の関係をチェバ共役(Ceva conjugate)という。 ミッテンプンクトと内心は重心チェバ共役 類似重心と外心は重心チェバ共役 Pの三線座標をp : q : r、Qの三線座標をp' : q' : r'とすると、QのPチェバ共役点の三線座標は以下の式で与えられる。 p ′ ( − p ′ p + q ′ q + r ′ r ) : q ′ ( − q ′ q + r ′ r + p ′ p ) : r ′ ( − r ′ r + p ′ p + q ′ q ) {\displaystyle p'(-{\frac {p'}{p}}+{\frac {q'}{q}}+{\frac {r'}{r}}):q'(-{\frac {q'}{q}}+{\frac {r'}{r}}+{\frac {p'}{p}}):r'(-{\frac {r'}{r}}+{\frac {p'}{p}}+{\frac {q'}{q}})} このように3つの三角形D,E,Fについて、DがEの、EがFのチェビアン三角形になっていることをチェバ線の入れ子（Cevian nest）と言う。チェバ線の入れ子の2組が配景的であるとき、残り1組も配景的である。 △ABCと任意の点P,Qについて、Qの反チェバ三角形を△A"B"C"、BC,A"Pの交点をA'とする。B',C' も同様に定義する。 △ABCと△A'B'C' は配景的であり、配景の中心をP,Qのチェバ点（cevapoint）という。このときPはQのP,Qのチェバ点チェバ共役、QはPのP,Qのチェバ点チェバ共役と言うことができる。 Pの三線座標をp : q : r、Qの三線座標をp' : q' : r'とすると、P,Qのチェバ点の三線座標は以下の式で与えられる。 ( p q ′ + q p ′ ) ( p r ′ + r p ′ ) : ( q r ′ + r q ′ ) ( q p ′ + p q ′ ) : ( r p ′ + p r ′ ) ( r q ′ + q r ′ ) {\displaystyle (pq'+qp')(pr'+rp'):(qr'+rq')(qp'+pq'):(rp'+pr')(rq'+qr')} メネラウスの定理 垂足三角形 三線極線 ^ 「構成的ガロア理論と数論的基本群における計算代数手法の揺籃」『(No Title)』。  ^ a b 『数学オリンピック幾何への挑戦　ユークリッド幾何をめぐる船旅』日本評論社、2/15、82頁。  ^ Coxeter, H. S. M.; Greitzer, S. L. (1967). Geometry Revisited. Washington, DC: Mathematical Association of America. p. 4. ISBN 0-883-85619-0. https://archive.org/details/geometryrevisite00coxe  ^ Some authors exclude the other two sides of the triangle, see Eves (1963, p.77) ^ Lightner, James E. (1975). “A new look at the 'centers' of a triangle”. The Mathematics Teacher 68 (7): 612–615. JSTOR 27960289.  ^ Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ., 2007 (orig. 1929), p. 70.　 ^ Alfred S. Posamentier and Charles T. Salkind, Challenging Problems in Geometry, Dover Publishing Co., second revised edition, 1996 ^ a b 一松信,畔柳和生 著、Hitotsumatsu, Shin 編『重心座標による幾何学』（初版）現代数学社、京都市、2014年、20頁。ISBN 978-4-7687-0437-0。  ^ Weisstein, Eric W.. “Cevian Triangle” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。 ^ a b c d e f g “ENCYCLOPEDIA OF TRIANGLE CENTERS”. faculty.evansville.edu. 2024年3月21日閲覧。 ^ a b c “三角形の心”. taurus.ics.nara-wu.ac.jp. 2024年7月7日閲覧。 ^ Weisstein, Eric W.. “Cevian Circle” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。 ^ Weisstein, Eric W.. “Cyclocevian Conjugate” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。 ^ Weisstein, Eric W.. “Anticevian Triangle” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。 ^ Weisstein, Eric W.. “Ceva Conjugate” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。 ^ “Cevian nest”. Igor Minevich. 2024年3月23日閲覧。 ^ Weisstein, Eric W.. “Cevapoint” (英語). mathworld.wolfram.com. 2024年3月21日閲覧。 Eves, Howard (1963), A Survey of Geometry (Vol. One), Allyn and Bacon  Ross Honsberger (1995). Episodes in Nineteenth and Twentieth Century Euclidean Geometry, pages 13 and 137. Mathematical Association of America. Vladimir Karapetoff (1929). "Some properties of correlative vertex lines in a plane triangle." American Mathematical Monthly 36: 476–479. Indika Shameera Amarasinghe (2011). “A New Theorem on any Right-angled Cevian Triangle.” Journal of the World Federation of National Mathematics Competitions, Vol 24 (02), pp. 29–37.