如图,在梯形ABCD中,AD//BC,∠B+∠C=90°,点E为AD中点,点F为BC中点,若AD=4,BC=8,求EF的