Gọi A, B, C lần lượt là chân các đường vuông góc hạ từ I xuống các cạnh DE, DF, EF.
→ IA = IB = IC
Áp dụng tính chất đường phân giác của một góc:
Vì IA = IB (giả thiết) nên I thuộc đường phân giác của
Vì IB = IC (giả thiết) nên I thuộc đường phân giác của
Vì IA = IC (giả thiết) nên I thuộc đường phân giác của
Vậy I là điểm chung của ba đường phân giác của tam giác DEF.