综合与实践

问题情境：

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

猜想证明：