已知梯形ABCD中,AD||BC,角ABC=角BAD=90度,AB=BC=2AD=4,E,F分别是AB,CD上的点,EF