已知在梯形ABCD中,AD//BC,∠ABC= ∠BAD=π/2,AB=BC=2AD=4 ,EF分别为AB.CD上的点,