正方形ABCD中,E、F分别是AB、BC边上的点,且AE=BF求证AF⊥DE