解:(1)过D作DG⊥BC于G,由已知可得,四边形ABGD为正方形, ∵DE⊥DC, ∴∠ADE+∠EDG=90°=∠GDC+∠EDG, ∴∠ADE=∠GDC, 又∵∠A=∠DGC,且AD=GD, ∴△ADE≌△GDC(AAS), ∴DE=DC,且AE=GC, 在△EDF和△CDF中,∠EDF=∠CDF,DE=DC,DF=DF, ∴△EDF≌△CDF(SAS), ∴EF=CF; (2)∵tan∠ADE=, ∴AE=GC=2, 设EF=x,则BF=8-CF=8-x,BE=6-2=4, 由勾股定理,得, 解之,得x=5,即EF=5。 | |