Gọi M là giao điểm của hai tia phân giác của hai góc ngoài B và C của ∆ABC.
Kẻ MH ⊥ AB; MI ⊥ BC; MK ⊥ AC
Theo định lí thuận về tính chất các điểm thuộc tia phân giác:
Ta có: MH = MI (Vì M thuộc phân giác của góc B ngoài )
MI = MK ( Vì M thuộc phân giác của góc C ngoài )
Suy ra: MH = MK (cùng bằng MI)
⇒ M thuộc phân giác của góc BAC (định lí đảo về tính chất các điểm thuộc tia phân giác)
Gọi M là giao điểm của 2 tia phân giác 2 góc ngoài B,C
Kẻ MH ⊥ AB; MI ⊥ BC; MK ⊥ AC ( H ∈ AB, I ∈ BC, K ∈ AC)
Ta có: MH = MI (Vì M thuộc phân giác của góc B ngoài)
MI = MK (Vì M thuộc phân giác của góc C ngoài)
Suy ra : MH = MK => M thuộc phân giác của góc A