综合与实践

问题情境：

如图①，点E为正方形ABCD内一点，∠AEB＝90°，将Rt△ABE绕点B按顺时针方向旋转90°，得到△CBE′（点A的对应点为点C）．延长AE交CE′于点F， 连接DE．

猜想证明：