Do \(\widehat{BAC}=60^o\Rightarrow\widehat{ABC}+\widehat{ACB}=180^o-60^o=120^o\).
Suy ra \(\widehat{IBC}+\widehat{ICB}=\dfrac{1}{2}\left(\widehat{ABC}+\widehat{ACB}\right)=60^o\).
Suy ra \(\widehat{BIC}=180^o-\left(\widehat{IBC}+\widehat{ICB}\right)=120^o\).
Vì vậy \(\widehat{EIB}=\widehat{DIC}=180^o-120^o=60^o\).
Kẻ tia phân giác IF của góc BIC (F thuộc BC). Suy ra \(\widehat{BIF}=\widehat{FIC}=120^o:2=60^o\).
Xét tam giác EIB và tam giác FIB có:
BI chung.
\(\widehat{EBI}=\widehat{IBF}\)
\(\widehat{EIB}=\widehat{FIB}\)
Suy ra \(\Delta EIB=\Delta FIB\left(g.c.g\right)\).
Vì vậy IE = IF.
Chứng minh tương tự ta có ID = IF.
vì vậy ID = IE.
ABCDEIF
Do ˆBAC=60o⇒ˆABC+ˆACB=180o−60o=120oBAC^=60o⇒ABC^+ACB^=180o−60o=120o.
Suy ra