Tam giác ICB và AYZ đồng dạng nên $\frac{IB}{IC}=\frac{AY}{AZ}=\frac{BF}{CE}$.
Góc $\angle IBF=\angle ICE=\left | \angle \frac{B}{2}-\angle \frac{C}{2} \right |$
Vậy tam giác IBF và ICE đồng dạng. Từ đó có IEF và IBC đồng dạng. Tương tự có IDF và ICA đồng dạng. Cộng các góc để có IE vuông góc với FD. Chứng minh tương tự có IF vuông góc với ED. Vậy I là trực tâm của tam giác DEF.