连接BF,得两个直角三角形△BEF和△BCF,因为BE=AB=BC,BF是公用斜边,
所以△BEF≌△BCF,于是EF=FC；
又,在直角△DEF中,∠EDF=45°,那么△DEF是等腰直角三角形,DE=EF,
所以DE=EF=FC.