(三角形の角の二等分線に関する公式2) △ABCで∠Aの外角の二等分線とBCの延長線との交点をDとするとき、AB:AC=BD:DC
(証明)
CからADに平行な直線を引き、ABとの交点をEとする。 ADとECが平行より、∠AEC=∠FAD(同位角)、∠ACE=∠DAC(錯角)。 ∠FAD=∠DACより、∠AEC=∠ACE。 よって、△ACEは二等辺三角形、AE=AC。 ADとECが平行より、AB:AE=BD:DC、 AE=ACだから、AB:AC=BD:DC。
CからADに平行な直線を引き、ABとの交点をEとする。
ADとECが平行より、∠AEC=∠FAD(同位角)、∠ACE=∠DAC(錯角)。 ∠FAD=∠DACより、∠AEC=∠ACE。 よって、△ACEは二等辺三角形、AE=AC。
ADとECが平行より、AB:AE=BD:DC、 AE=ACだから、AB:AC=BD:DC。