同学们在小学阶段做过这样的折纸游戏：把一个长方形纸片经过折叠可以得到新的四边形．如图，将长方形ABCD沿DE折叠，使点A与CD边上的点F重合，再沿EF剪开，即得到四边形DAEF．
求证：四边形DAEF为正方形．