Từ điểm I ta kẻ IA ⊥ DE; IB ⊥ EF và IC ⊥ DF
- Vì điểm I cách đều hai cạnh DE và DF nên I nằm trên đường phân giác của góc EDF (định lí 2 - định lí đảo của tia phân giác)
Tương tự ta suy ra điểm I nằm trên tia phân giác của góc DEF và góc EFD.
Vậy I là điểm chung của ba đường phân giác của tam giác DEF.