如图，四边形ABCD是正方形，E为BC上的任意一点或BC延长线上一点（除B点以外），∠AEF=90°，且EF交正方形外角的平分线CF于点F.求证AE=EF.