• 1. (2017八下·延庆期末) 已知：如图，矩形ABCD，点E是BC上一点，连接AE，AF平分∠EAD交BC于F．

  求证：AE=EF．