�僊BC において　 ∠BAC の二等分線と 辺 BC との交点を D とするとき 　　BD : DC = AB : AC　　である 　　(D は BC を AB : AC に内分する) BA の延長線上に F を AF = AC となるようにとる。 ∠ACF = ∠AFC なので ∠ACF = (∠BAC)/2 = ∠DAC である。 よって AD と FC は平行である。 ∴ BD : DC = BA : AF = AB : AC 戻る