Kẻ [TEX]IK \perp AB, \; IM \perp AC[/TEX].
Do hai tia phân giác của góc [TEX]B,C[/TEX] cắt nhau tại [TEX]I[/TEX] nên [TEX]AI[/TEX] là phân giác góc [TEX]A[/TEX].
Khi đó [TEX]\widehat{BAI}= \widehat{IAC}=30^o[/TEX].
Dễ dàng chứng minh được [TEX]\triangle AIK = \triangle AIM[/TEX] (cạnh huyền, góc nhọn)
Suy ra [TEX]IK=IM[/TEX] và [TEX]\widehat{AIK}= \widehat{AIM}=60^o \Rightarrow \widehat{KIM}=120^o[/TEX]. (1)
Lại có do [TEX]\widehat{A}=60^o \Rightarrow \widehat{B}+ \widehat{C}=120^o \Rightarrow \widehat{IBC}+ \widehat{ICB}=60^o \Rightarrow \widehat{BIC}=120^o[/TEX].
Hay [TEX]\widehat{KIF}=120^o[/TEX]. (2)
Từ (1) và (2) thì [TEX]\widehat{KIM}= \widehat{KIF}=120^o \Rightarrow \widehat{EIK}= \widehat{MIF}[/TEX].
Như vậy xét tam giác vuông [TEX]KIE[/TEX] và [TEX]MIF[/TEX] có
+ [TEX]IK=IM[/TEX].
+ [TEX]\widehat{EIK}= \widehat{MIF}[/TEX]
[TEX]\Rightarrow \triangle KIE = \triangle MIF[/TEX]
[TEX]\Rightarrow IE=IF[/TEX] nên tam giác [TEX]IFE[/TEX] cân ở [TEX]I[/TEX].
Suy ra [TEX]\widehat{IEF} = \widehat{IFE}[/TEX].
Ta có đpcm.