メネラウスの定理
ABに平行にCから伸ばした線とDEFとの交点をKとする。相似から
| B D D C | = | B F C K | , | A E E C | = | A F C K | {\displaystyle \left|{\frac {BD}{DC}}\right|=\left|{\frac {BF}{CK}}\right|,\quad \left|{\frac {AE}{EC}}\right|=\left|{\frac {AF}{CK}}\right|}
が成り立つ。左式のCKを右式に代入、もしくは逆に右式を左式に代入し、整理すれば定理が導かれる。