三角形abdと直線frcに対しメネラウスの定理を適用すると以下の式が得られる。