如图，把正方形ABCD绕点C按顺时针方向旋转45°得到正方形A′B′CD′（此时，点B′落在对角线AC上，点A′落在CD的延长线上），A′B′交AD于点E，连接AA′、CE．

求证：

​