如图,正方形ABCD中,E、F分别为AB、BC边上的点.且AE=BF.求证AF垂直DE