1. (2019·红塔模拟) 如图，正方形ABCD中， 点E、F分别是边BC、CD上的点， 且BE=CF

求证：

1. （1） AE=BF
3. （2） AE⊥BF