�僊BC において(AB > AC とする)　 ∠BAC の外角の二等分線と 辺 BC の延長との交点を E とするとき BE : EC = AB : AC 　　(E は BC を AB : AC に外分する) 　 AB 上に F を AF = AC となるようにとる。 ∠ACF = ∠AFC なので ∠ACF = (∠CAJ)/2 = ∠CAE よって FC と AE は平行である。 ∴ BE : EC = BA : AF = AB : AC 　 　 戻る