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 (như hình vẽ)
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 )
=>MH = MK (cùng= MI)
⇒ M thuộc phân giác của góc BAC