a)

Xét Δ DBF và Δ FDE, ta có:

∠(BDF) =∠(DFE) (so le trong vì EF // AB)

DF cạnh chung

∠(DFB) =∠(FDE) (so le trong vì DE // BC)

Suy ra: Δ DFB = Δ FDE(g.c.g) ⇒ DB = EF (hai cạnh tương ứng)

Mà AD = DB (gt)

Vậy: AD = EF
b)

Ta có: DE // BC (gt)

⇒∠(D1 ) =∠B (đồng vị) (1)

Do EF // AB (gt)

⇒∠(F1 ) =∠B (đồng vị) (2)

Từ (1) và (2) suy ra: ∠(D1 ) =∠F1

Xét Δ ADE và Δ EFC, ta có:

∠A =∠(E1 ) (hai góc đồng vị, EF// AB)

AD = EF ( chứng minh a)

∠(D1 ) =∠(F1 ) (chứng minh trên)

Suy ra : Δ ADE = Δ EFC(g.c.g)
c) Vì : Δ ADE = Δ EFC nên AE = EC (hai cạnh tương ứng)