正方形ABCD的边长是2,M是BC的中点将顶点A翻折至与点M重合,得折痕EF,求AE DF的长