a) Ta có: BD // EF (vì AB /// EF)

=> Góc BDF = góc DFE (2 góc so le trong)

Vì DE // BC (gt)

nên góc EDF = góc BFD (2 góc so le trong)

Xét tam giác EDF và tam giác BDF có:

Góc BDF = góc DFE (chứng minh trên)

DF là cạnh chung

Góc EDF = góc BFD (chứng minh trên)

=> Tam giác DEF = tam giác FBD (g.c.g)

=> BD = EF ( 2 cạnh tương ứng)   (đpcm)

Mà BD = AD (vì D là trung điểm của AB)

=> AD = EF   (đpcm)

b) Ta có: AB // EF (gt)

=> Góc A = góc CEF (2 góc đồng vị)

Lại có: tam giác DEF = tam giác FBD (chứng minh trên)

=> Góc DEF = góc B (2 góc tương ứng)  (1)

Mà DE // BC (gt)

=> Góc DEF = góc CFE (2 góc so le trong)  (2)

     Góc ADE = góc B (2 góc đồng vị)

Từ (1), (2) => Góc B = góc CFE

Mà góc B = góc ADE (chứng minh trên)

=> Góc ADE = góc CFE 

Xét tam giác ADE và tam giác CEF có:

Góc CEF = góc A (chứng minh trên)

AD = EF (chứng minh trên)

Góc ADE = góc CFE (chứng minh trên)

=> Tam giác ADE = tam giác EFC (g.c.g)   (đpcm)

c) Ta có: tam giác ADE = tam giác EFC (chứng minh trên)

=> AE = CE (2 cạnh tương ứng)   (đpcm)