已知正方形ABCD中,点E在AD上,过点C作CE的垂线CF,点F落在AB的延长线上,连接EF.求:若E是AD的中点,EF