如图,矩形ABCD中,F是DC上的一点,BF=CD,AE垂直BF于E.求证DF=EF