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 là BI, CI lần lượt là tia phân giác của góc N và góc C. Do EF // BC nên ∠B1= ∠I1(so le trong), suy ra ∠I2 = ∠B2 .

Suy ra: 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 ∠B1 = ∠BIE (so le trong).

Lại có: ∠B1 = ∠B2 ( vì BI là tia phân giác của góc B )

Suy ra: ∠B2 = ∠BIE

Vậy EF = EI + IF = BE + CF.