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