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)