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