由 ∠DAB=∠DAF ∠ABD=∠AFD=90° AD=AD
有 △ABD≌△AFD (AAS)
从而 BD=DF
在Rt△EBD和CFD中
有 BD=DF BE=CF
那么△EBD≌△CFD (HL)
从而 DE=DC