在梯形ABCD 中,AB平行于CD,AD=BC,延长BC到点E,使DE=BD,作EF⊥AB,交BA的延长线于点F,求证: