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