如图，已知正方形ABCD，点E、F分别在边BC、CD上，若 ，判断AE、BF的关系并证明.