Xét Tam giác BDF va tam giác DEF
Có DF=DF ( cạnh chung)
góc BDF = góc DFE ( 2 góc sole trong va BA//EF)
goc DFB = goc FDE ( 2 góc sole trong va DE//BC)
--> tam giác BDF = tam giác DEF ( g-c-g)
> BD= EF ( 2 góc tương ứng)
mà AD=BD ( D là trung điểm của AB) nên AD=EF