メネラウスの定理とは、
△ABCのどの頂点も通らない直線と各辺またはその延長線との交点を
P,Q,Rとすると、
RBAR⋅PCBP⋅QACQ=1
が成り立つという定理です。
赤い矢印のループの任意の頂点の位置から開始し、分数の分母と分子に交互に線分の長さ、または内分・外分比を入れながら一巡すれば上の式をつくることができます。
これはなぜ成り立つのでしょうか?
RBARを比の形にすると
RB:ARとなり、
ABの一部を底辺とする三角形の面積比と考えると
RB:AR=△BPR:△APR
ここで
PRを底辺としたとき
△BPRと
△BPQとの関係は
△BPR=PRPQ△BPQ
となります。
また同様に
PRを底辺としたとき
△APRと
△APQとの関係は
△APR=PRPQ△APQ
となります。
したがって、
RB:AR=PRPQ△BPQ:PRPQ△APQ=△BPQ:△APQRBAR=△BPQ△APQ(1)
と書けます。
PCBPを比の形にすると
PC:BPとなり、
BPまたはその一部を底辺とする三角形の面積比と考えると
PC:BP=△CPQ:△BPQPCBP=△CPQ△BPQ(2)
となります。
QACQを比の形にすると
QA:CQとなり、
ACの一部を底辺とする三角形の面積比と考えると
QA:CQ=△APQ:△CPQQACQ=△APQ△CPQ(3)
となります。
(1),(2),(3)より
RBAR⋅PCBP⋅QACQ=△BPQ△APQ⋅△CPQ△BPQ⋅△APQ△CPQ∴RBAR⋅PCBP⋅QACQ=1
となり、メネラウスの定理が成り立つことがわかります。
もし、直線が三角形の1つの頂点を通ると点
P,Q,Rのいずれか2つがその頂点と重なり、辺上の2つの線分の長さが
0になります。
すると、分母に
0が現れてメネラウスの定理の式が成り立たなくなります。
メネラウスの定理は、直線が三角形の辺と交わる必要はなく上図のようにすべての辺の延長線と交わっている場合でも成り立ち、同様の方法で成り立つことを確かめることができます。
チェバの定理との違いは直線は1本だけであること、その直線は三角形のどの頂点も通らないことです。
(2024/12)加筆・一部修正しました。