如图，四边形ABCD是正方形，点E是边BC的中点，∠AEF＝90°，且EF交正方形外角的平分线CF于点F．求证AE＝EF．

（提示：取AB的中点H，连接EH．）