Xét \(\Delta EBD\)và \(\Delta FCE\)có:
EC = DB (Vì \(\hept{\begin{cases}AB=BC\\AD=EB\end{cases}}\))
\(\widehat{EBD}=\widehat{FCE}\)(Cùng là 2 góc ngoài của 1 tam giác đều)
EB = FC (gt)
Suy ra \(\Delta EBD\)\(=\Delta FCE\left(c-g-c\right)\)
\(\Rightarrow DE=EF\)(1)
Chứng minh tương tự: \(\Delta EBD\)\(=\Delta DAF\left(c-g-c\right)\)
\(\Rightarrow DE=FD\)(2)
Từ (1) và (2) suy ra DE = EF = FD
Vậy tam giác DEF đều (đpcm)