チェビアン

幾何学において、チェビアン^[1]（英: Cevian）またはチェバ線^[2]とは三角形の頂点とその対辺を結ぶ線分の総称である^[3]^{[注釈 1]}。中線や角の二等分線などはチェバ線の特別な場合である。チェバ線に関する有名な定理を発表したジョバンニ・チェバに由来する^[4]。

辺長

スチュワートの定理

チェビアンの長さ $d$ はスチュワートの定理を用いて次の式で求めることができる。

$\,b^{2}m+c^{2}n=a(d^{2}+mn)$

中線

中線である場合、中線定理を用いることができる。

$\,m(b^{2}+c^{2})=a(d^{2}+m^{2})$

$\,2(b^{2}+c^{2})=4d^{2}+a^{2}$

$d={\frac {\sqrt {2b^{2}+2c^{2}-a^{2}}}{2}}$

ただし $a = 2 m$ 。

角の二等分線

角の二等分線の場合、以下の様に求められる^[5]。

$(b+c)^{2}=a^{2}\left({\frac {d^{2}}{mn}}+1\right)$

$d^{2}+mn=bc$

$d={\frac {2{\sqrt {bcs(s-a)}}}{b+c}}$

ただし、 $s$ は半周長。

頂垂線

頂垂線である場合、次の様に求められる。

$\,d^{2}=b^{2}-n^{2}=c^{2}-m^{2}$

$d={\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{a}}$

比率

図の様に、それぞれの頂点に対するチェビアンが内部の1点で交わっているとき、以下の式が成り立つ^[6]。

${\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$ をチェバ族、チェバ単体という^[7]。また、 $△ DEF$ を $P$ のチェバ三角形（Cevian triangle）という^[8]^[9]^[10]。 $P$ の重心座標を $p : q : r$ とし、 $D, E, F$ の重心座標は以下の様に与えられる。

$D=0:q:r,\quad E=p:0:r,\quad F=p:q:0$

例

重心のチェバ三角形は中点三角形。
垂心のチェバ三角形は垂足三角形。

チェバ円

チェバ三角形の外接円をチェバ円（Cevian circle）という^[11]^[12]。

例

重心、垂心のチェバ円は九点円。
ジェルゴンヌ点のチェバ円は内接円。

チェバ円共役

$△ ABC$ と点 $P$ について、 $P$ のチェバ三角形を $△ DEF$ 、チェバ円を $Γ$ とする。また $Γ$ と $BC, CA, AB$ の、 $D, E, F$ でない方の交点をそれぞれ $A", B", C"$ とする。このとき、3つのチェビアン $AA", BB", CC"$ は一点で交わる。この3つのチェビアンの交点を、チェバ円共役点（Cyclocevian conjugate）という^[9]^[12]^[13]。またチェバ円共役点のチェバ三角形を Cyclocevian triangle という。チェバ円共役が成り立つことはテルケムの定理と呼ばれている。

例

ジェルゴンヌ点は自身とチェバ円共役。
重心と垂心はチェバ円共役。

$P$ の三線座標を $p : q : r$ 、三角形の辺長をそれぞれ $a, b, c$ とし、チェバ円共役点の三線座標は次の式で与えられる。

${\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）^[9]^[14]またはより一般の次元を考えて反チェバ単体という^[7]。

$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,\quad B'=p:-q:r,\quad C'=p:q:-r$

例

内心の反チェバ三角形は傍心三角形。
重心の反チェバ三角形は反中点三角形。
類似重心の反チェバ三角形は接線三角形。

チェバ共役

$△ ABC$ と任意の2点 $P, Q$ について、 $P$ のチェバ三角形と $Q$ の反チェバ三角形は配景である。この配景の中心を $Q$ の $P$ チェバ共役点^[10]（Ceva conjugate^[15]^[9]）という。

例

ミッテンプンクトと内心は重心チェバ共役^[9]。
類似重心と外心は重心チェバ共役。

$P$ の三線座標を $p : q : r$ 、 $Q$ の三線座標を $p' : q' : r'$ とすると、 $Q$ の $P$ チェバ共役点の三線座標は以下の式で与えられる。

$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]。チェバ線の入れ子の2組が配景的であるとき、残り1組も配景的である^[9]^[16]。

チェバ点

$△ ABC$ と任意の点 $P,Q$ について、 $Q$ の反チェバ三角形を $△ A"B"C"$ 、 $BC, A"P$ の交点を $A'$ とする。 $B',C'$ も同様に定義する。 $△ ABC$ と $△ A'B'C'$ は配景的であり、配景の中心を $P, Q$ のチェバ点^[10]（Cevapoint^[9]^[17]）という。このとき $P$ は、 $Q$ の $P, Q$ のチェバ点チェバ共役、 $Q$ は $P$ の $P, Q$ のチェバ点チェバ共役といえる。

$P$ の三線座標を $p : q : r$ 、 $Q$ の三線座標を $p' : q' : r'$ とすると、 $P, Q$ のチェバ点の三線座標は以下の式で与えられる。

$(pq'+qp')(pr'+rp'):(qr'+rq')(qp'+pq'):(rp'+pr')(rq'+qr')$

脚注

[脚注の使い方]

注釈

↑ 著者によっては左右の辺をチェバ線に含めないことがある。Eves (1963, p.77)などを参照。

出典

↑ 中村, 博昭、小川, 裕之「構成的ガロア理論と数論的基本群における計算代数手法の揺籃」、CRID 1040000781919944064。
1 2 『数学オリンピック幾何への挑戦　ユークリッド幾何をめぐる船旅』日本評論社、2023年2月15日、82頁。ISBN 978-4-535-78978-4。
↑ Coxeter, H. S. M.; Greitzer, S. L. (1967). Geometry Revisited. Washington, DC: Mathematical Association of America. p. 4. ISBN 0-883-85619-0
↑ 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 (2007). Advanced Euclidean Geometry. Dover Publ. p. 70
↑ Posamentier, Alfred S.; Salkind,, Charles T. (1996). Challenging Problems in Geometry. Dover Publishing Co
1 2 一松信、畔柳和生『重心座標による幾何学』（初版）現代数学社、京都市、2014年、20頁。ISBN 978-4-7687-0437-0。
↑ Weisstein, Eric W. “Cevian Triangle”. mathworld.wolfram.com (英語).
1 2 3 4 5 6 7 Clark Kimberling. “ENCYCLOPEDIA OF TRIANGLE CENTERS”. faculty.evansville.edu. 2024年3月21日閲覧。
1 2 3 鴨浩靖. “三角形の心”. taurus.ics.nara-wu.ac.jp. 2024年7月7日閲覧。
↑ Weisstein, Eric W. “Cevian Circle”. mathworld.wolfram.com (英語).
1 2 上村, 文隆. “三角形のチェバ円共役点”. 2025年6月25日閲覧。
↑ Weisstein, Eric W. “Cyclocevian Conjugate”. mathworld.wolfram.com (英語).
↑ Weisstein, Eric W. “Anticevian Triangle”. mathworld.wolfram.com (英語).
↑ Weisstein, Eric W. “Ceva Conjugate”. mathworld.wolfram.com (英語).
↑ Igor Minevich. “Cevian nest”. 2024年3月23日閲覧。
↑ Weisstein, Eric W. “Cevapoint”. mathworld.wolfram.com (英語).

参考文献

Eves, Howard (1963), A Survey of Geometry (Vol. One), Allyn and Bacon
Honsberger, Ross (1995). Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Mathematical Association of America. pp. 13,137
Karapetoff, Vladimir (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 24 (02): 29–37.

辺長