在梯形ABCD中,AB平行CD,AD=BC,CD=4,延长BD到E,使DE=BD,EF⊥AB,作EF⊥AB交BA的延长线