如图,在梯形ABCD中,AB‖CD,AD=BC,CD=4,延长BD到E,使DE=BD,作EF⊥AB交BA的延长线于点F,