矩形的性质;全等三角形的判定与性质;锐角三角函数的定义.
(1)根据矩形的对边平行且相等得到AD=BC=AE,∠DAF=∠EAB.再结合一对直角相等即可证明△ABE≌△DFA;然后根据全等三角形的对应边相等证明AB=DF;
(2)根据全等三角形的对应边相等以及勾股定理,可以求得DF,EF的长;再根据勾股定理求得DE的长,运用三角函数定义求解.
本题综合考查了矩形的性质、全等三角形的判定与性质及锐角三角函数的定义.熟练运用矩形的性质和判定,能够找到证明全等三角形的有关条件;运用全等三角形的性质求得三角形中的边,再根据锐角三角函数的概念求解.
几何综合题;压轴题.