Ta có: AB = AD +DB (1)
BC = BE + EC (2)
AC = AF + FC (3)
AB = AC = BC ( vì tam giác ABC là tam giác đều) (4)
AD = BE = CF ( giả thiết) (5)
Từ (1), (2), (3) và (4),(5) suy ra: BD = EC = AF
Xét ΔADF và ΔBED, ta có:
AD = BE (gt)
∠A =∠B =60o (vì tam giác ABC đều) (6)
AF = BD (chứng minh trên)
suy ra: ΔADF= ΔBED (c.g.c)
-> DF=ED ( hai cạnh tương ứng )