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