三角形 ABC の各辺 BC, CA, AB 上に 点 D, E, F を各々とる。 このとき (1) BD×CE×AF = DC×EA×FB ならば 　AD, BE, CF は一点で交わる。 (2)　AD, BE, CF は一点で交わるならば BD×CE×AF = DC×EA×FB である。 証明１ 証明２ 戻る