图:点E在正方形ABCD的对角线BD上,且BE=AB,EF垂直BD,EF与CD相交于F,求DE=EF=FC