ta có: EF//BD

FB//ED 

suy ra; EB=ED; EF=BD

mà DB=DC suy ra EF=DC

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

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

suy ra F1=D1

ta có: E1=D2(2 góc đồng vị)

C=E2( 2 góc đồng vị)

suy ra E1=C

xét tam giác CDE và tam giác EFA có:

EF=DC(cmt)

F1=D1(cmt)

E1=C(cmt)

suy ra tam giác CDE=tam giác EFA(g.c.g)