(参考)メネラウスの定理

△ABC△ABCの各頂点を通らない直線Lがあるとき、3辺ABBCCA(またはその延長)ととの交点をP、Q、Rとすると、次式が成り立つ。 

メネラウスの定理

A、B、Cからに下ろした垂線の足をA'、B、'C'とすると、A//A'、B//B'、C//C'(平行)であるから、
 AP/PB=AA'/BB'、BR/RC=BB'/CC'、CQ/QA=CC'/AA'
よって、
 (AP/PB)・(BR/RC)・(CQ/QA)=(AA'/BB')・(BB'/CC')・(CC'/AA')=1