在正方形中ABCD,E,F分别是边AD,DC,上的点,且AD垂直BE.