△ABC で∠Aの外角の二等分線と BC の延長線との交点をDとするとき,
AB: AC=BD: DC が成り立ちます。
B
E
A
C
F
D
参考:略証明
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