相似三角形的判定与性质;全等三角形的判定与性质;旋转的性质.
首先根据等腰直角三角形的性质,可求得顶角与底角的度数;根据旋转的性质,可得对应角与对应边相等;根据全等三角形的判定定理即可求得①正确;
当∠1=∠3时,△ABE∽△ACD,由此可以推知②不一定正确;
根据勾股定理与等量代换可得③正确;
由①中的全等三角形的性质推知EF=ED,则根据余弦三角函数的定义证得④正确.
此题考查了相似三角形的判定定理、全等三角形的判定定理、等腰直角直角三角形的性质以及旋转的性质.此题涉及的知识面比较广,解题时要注意仔细分析.