ABD = EDC (2 góc đồng vị, AB // DE)
mà ABD = ECD (tam giác ABC cân tại A)
=> EDC = ECD
=> Tam giác ECD cân tại E
=> ED = EC
Xét tam giác AFE và tam giác DEF có:
AFE = DEF (2 góc so le trong, AF // DE)
FE chung
FEA = EFD (2 góc so le trong, EA // FD)
=> Tam giác AFE = Tam giác DEF (g.c.g)
=> AE = DF (2 cạnh tương ứng)
mà ED = EC (chứng minh trên)
=> DF + ED = AE + EC = AC = 3 (cm)