必须还有一个条件:DE⊥AD.
∵AF=CD,∴AF-CF=CD-CF,即AC=DF,
在RTΔABC与RTΔDEF中,
AC=DF,BC=EF,
∴RTΔABC≌RTΔDEF(HL),
∴AB=DE.