旋转的性质;全等三角形的判定与性质;勾股定理;等腰直角三角形.
根据旋转变换只改变图形的位置不改变图形的形状与大小可得△ABF和△ACD全等,根据全等三角形对应角相等可得∠BAF=∠CAD,然后求出∠EAF=45°,判断出①正确;
根据全等三角形对应边相等可得BF=CD,BE与CD不一定相等,判断出②错误;
根据角的度数得到∠EAF=∠EAD,然后利用“边角边”证明△AED和△AEF全等,根据全等三角形对应角相等可得∠AEF=∠AED,判断出③正确;
根据全等三角形对应边相等可得EF=ED,然后利用勾股定理得到④正确.
本题考查了旋转的性质,全等三角形的判定与性质,等腰直角三角形的性质,以及勾股定理,熟记各性质并准确识图是解题的关键.