チェバの定理とは、△ABCの各頂点から伸びる3本の直線が点Oで交わり、各直線と通る頂点の対辺またはその延長線との交点をP,Q,Rとするとき
RBAR⋅PCBP⋅QACQ=1
が成り立つという定理です。
赤い矢印のループの任意の頂点の位置から開始し、分数の分母と分子に交互に線分の長さ、または内分・外分比を入れながら一巡すれば上の式をつくることができます。
これはなぜ成り立つのでしょうか?
RBARを比で表すとRB:ARとなり、ABの一部を底辺とする三角形の面積比と考えると
RB:AR=△BCR:△ACR
ここで△BCR,△ACRのCRを底辺とすると△BCO,△ACOの面積は
△BCR=CRCO△BCO△ACR=CRCO△ACO
となるので
RB:AR=CRCO△BCO:CRCO△ACO=△BCO:△ACORBAR=△BCO△ACO(1)
同様にして
PC:BP=△ACP:△ABP=△ACO:△ABOQA:CQ=△ABQ:△BCQ=△ABO:△BCO
すなわち
PCBP=△ACO△ABOQACQ=△ABO△BCO(2)(3)
となります。
(1),(2),(3)より
RBAR⋅PCBP⋅QACQ=△OBC△OCA⋅△OCA△OAB⋅△OAB△OBC∴RBAR⋅PCBP⋅QACQ=1
となり、チェバの定理が成り立つことがわかります。
もし、いずれかの直線が辺と重なるように伸びると点P,Q,Rのうちの2つと点Oが1つの頂点と重なり、辺上の2つの線分の長さが0になります。
すると、分母に0が現れてチェバの定理の式が成り立たなくなります。
すると、分母に0が現れてチェバの定理の式が成り立たなくなります。
直線が三角形の辺の延長と交わるときというのは、上図のように点Oが△ABCの外部にある場合です。このとき2つの辺の延長で直線と交わるので交点は辺の外分点となります。
この場合も上記のような手順でチェバの定理が成立することを確かめることができます。
この場合も上記のような手順でチェバの定理が成立することを確かめることができます。
メネラウスの定理との違いは直線が3本あること、それらは各頂点から伸びていて1点で交わっていることです。
(2024/12)加筆・一部修正しました。
Share: