在正方形ABCD中，AC是对角线，点E在AD边上（不与点A重合），点F在CD边上，连接BE，BF，EF，已知∠DEF=45°.