如图,在正方形ABCD中,E是BD边上一点,且BE=BC,EF垂直BD交CD于F.求证:DE=EF=FC