チェバの定理

　チェバの定理とは、$△ABC$の各頂点から伸びる3本の直線が点$O$で交わり、各直線と通る頂点の対辺またはその延長線との交点を$P,Q,R$とするとき

$$\large\frac{RB}{AR}\cdot\frac{PC}{BP}\cdot\frac{QA}{CQ}=1$$

が成り立つという定理です。

赤い矢印のループの任意の頂点の位置から開始し、分数の分母と分子に交互に線分の長さ、または内分・外分比を入れながら一巡すれば上の式をつくることができます。

これはなぜ成り立つのでしょうか？

　$\dfrac{RB}{AR}$を比で表すと$RB:AR$となり、$AB$の一部を底辺とする三角形の面積比と考えると

$$RB:AR=△BCR:△ACR$$

ここで$△BCR,△ACR$の$CR$を底辺とすると$△BCO,△ACO$の面積は

$$\begin{align*}△BCR&=\frac{CR}{CO}△BCO\\[1em]△ACR&=\frac{CR}{CO}△ACO\end{align*}$$

となるので

$$\begin{align*}RB:AR&=\frac{CR}{CO}△BCO:\frac{CR}{CO}△ACO=△BCO:△ACO\\[0.5em]\frac{RB}{AR}&=\frac{△BCO}{△ACO}\tag1\end{align*}$$

　同様にして

$$\begin{align*}PC:BP&=△ACP:△ABP=△ACO:△ABO\\[1em]QA:CQ&=△ABQ:△BCQ=△ABO:△BCO\end{align*}$$

すなわち

$$\begin{align*}\frac{PC}{BP}&=\frac{△ACO}{△ABO}\tag2\\[1em]\frac{QA}{CQ}&=\frac{△ABO}{△BCO}\tag3\end{align*}$$

となります。

　$(1),(2),(3)$より

$$\begin{align*}\frac{RB}{AR}\cdot\frac{PC}{BP}\cdot\frac{QA}{CQ}&=\frac{△OBC}{△OCA}\cdot\frac{△OCA}{△OAB}\cdot\frac{△OAB}{△OBC}\\[0.5em]\therefore\frac{RB}{AR}\cdot\frac{PC}{BP}\cdot\frac{QA}{CQ}&=1\end{align*}$$

となり、チェバの定理が成り立つことがわかります。

もし、いずれかの直線が辺と重なるように伸びると点$P,Q,R$のうちの2つと点$O$が1つの頂点と重なり、辺上の2つの線分の長さが$0$になります。
すると、分母に$0$が現れてチェバの定理の式が成り立たなくなります。

　直線が三角形の辺の延長と交わるときというのは、上図のように点$O$が$△ABC$の外部にある場合です。このとき2つの辺の延長で直線と交わるので交点は辺の外分点となります。
この場合も上記のような手順でチェバの定理が成立することを確かめることができます。

メネラウスの定理との違いは直線が3本あること、それらは各頂点から伸びていて1点で交わっていることです。

(2024/12)加筆・一部修正しました。

関連：メネラウスの定理

幾何の有名な定理 (数学ワンポイント双書 36)

Amazonで見る楽天市場で見るYahoo!ショッピングで見る