已知正方形ABCD,点E是BC边上的任意一点,连接AE,过点E作AE的垂线交于角C外角平分线于点F,求证:AE=EF