矩形的性质;全等三角形的判定与性质;勾股定理;锐角三角函数的定义.
(1)根据直角三角形的性质可得AD∥BC,再根据两直线平行,内错角相等可得∠AEB=∠DAF,然后利用“角角边”证明△ABE和△DFA全等;
(2)根据全等三角形对应边相等可得DF=AB,利用勾股定理列式求出AF的长度,从而得到EF的长度,再利用勾股定理列式求出DE的长度,然后根据余弦=
列式计算即可得解.
本题考查了矩形的性质,全等三角形的判定与性质,勾股定理的应用,锐角三角函数,准确识图找准对应边与对应角是解题的关键.
证明题.