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