矩形ABCD中,E是BC边上的一点,DF垂直AE于点F,若AE=BC求证CE=EF