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