• 1. (2016九上·连州期末) 如图，正方形ABCD中，E、F分别是AB、BC边上的点，且AE=BF，求证：AF⊥DE．