Xét tam giác ADE và BEF ta có:
AD = BE (gt)
DAE^=EBF^ (do tam giác ABC đều)
AE = BF
Suy ra ΔADE=ΔBEF (c.g.c) nên DE = EF (1)
Tương tự ΔBEF=ΔCFD (c.g.c) nên EF = FD (2)
Từ (1) (2) suy ra DE = FD = EF.
Vậy tam giác DEF đều.