チェバ 線分 BC 上に点 D, AC の延長線上に点 E, AB の延長線上に点 F をとる。このとき AD, BE, CF が一点で交わる必要十分条件は (BD/DC)(CE/EA)(AF/FB) = 1 である。 証明