僊BC において(AB > AC とする) 
∠BAC の外角の二等分線と
辺 BC の延長との交点を E とするとき
BE : EC = AB : AC
  (E は BC を AB : AC に外分する)  
E より辺 AB, AC に引いた垂線の足を
それぞれ、G, H とおく。
∠JAE = ∠CAE なので
EG = EH である。
僊BE と 僊CE の面積の比に注目する。
BE, CE をおのおの底辺にみると
高さが同じなので
僊BE : 僊CE = BE : CE
AB, AC をおのおの底辺にみると
高さが同じなので
僊BE : 僊CE = AB : AC
∴ BE : EC = AB : AC
   
戻る