四边形ABCD是正方形,点E是边BC的中点,角AEF=90度,且EF交正方形外角的平分线CF于点F,求证AE=EF