直角梯形;全等三角形的判定与性质;勾股定理.
过D作DG⊥BC于G,由已知可得四边形ABGD为正方形,然后利用正方形的性质和已知条件证明△ADE≌△GDC,接着利用全等三角形的性质证明△EDF≌△CDF,由tan∠ADE=
,根据已知条件可以求出AE=GC=2.设EF=x,则BF=8-CF=8-x,BE=4.在Rt△BEF中根据勾股定理即可求出x,也就求出了EF.
此题考查了直角梯形的性质、正方形的判定与性质、全等三角形的判定与性质以及勾股定理等知识.此题综合性较强,难度较大,注意掌握数形结合思想与方程思想的应用.