初中数学解题

连接BD

∠∠EDF =∠BDC = 90？

∠EDB=∠CDF

等腰直角三角形ABC

∴BD=CD

∠C=∠ABD

∴⊿BDE≌⊿CDF

∴CF=BE=5

AE=BF=12

根据勾股定理，EF=13