解直角三角形;全等三角形的判定;勾股定理;直角梯形.
(1)过D作DG⊥BC于G,由已知可得四边形ABGD为正方形,然后利用正方形的性质和已知条件证明△ADE≌△GDC,接着利用全等三角形的性质证明△EDF≌△CDF,
(2)由tan∠ADE=
根据已知条件可以求出AE=GC=2.设EF=x,则BF=8-CF=8-x,BE=4.在Rt△BEF中根据勾股定理即可求出x,也就求出了EF.
本题考查梯形、正方形、直角三角形的相关知识.解决此类题要懂得用梯形的常用辅助线,把梯形分割为矩形和直角三角形,从而由矩形和直角三角形的性质来求解.
计算题;证明题;压轴题.