Vì điểm I cách đều ba cạnh của tam giác ABC và nằm trong tam giác nên I là giao điểm của ba đường phân giác của tam giác ABC, tức BI, CI lần lượt là tia phân giác của góc B và góc C. Do EF // BC nên \(\widehat{B_1}=\widehat{I_1}\) (hai góc so le trong), suy ra \(\widehat{I_1}=\widehat{B_2}\). Vậy tam giác EBI cân tại E, tức là EI = EB. Tương tự ta có FI = FC.
Vậy EF = EI + IF = BE + CF.