定理


僊BC の辺 BC, CA, AB 上に各々点 D, E, F をとり
僖EF の辺 EF, FD, DE 上に各々点 L, M, N をとる
このとき
AL, BM, CN が一点で交わる条件は

BD×CE×AF×EL×FM×DN = DC×EA×FB×LF×MD×NE

が成り立つことである


図において、三つの条件
@ AD, BE, CF は一点で交わる
A BL, CM, FN は一点で交わる
B AL, BM, CN は一点で交わる
を考える。
このとき、三つのうち二つが成り立てば
残りの一つも成り立つ。
系は定理とチェバの定理を使えばいいでしょう