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ẽ)

Theo định lí thuận về tính chất các điểm thuộc tia phân giác: Điểm nằm trên tia phân giác của một góc thì cách đều hai cạnh của gó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)

Dựa vào định lí đảo về tính chất các điểm thuộc tia phân giác: Điểm nằm bên trong góc và cách đều hai cạnh của góc thì nằm trên tia phân giác của góc đó.

⇒ M thuộc phân giác của góc BAC (đpcm).