• 1. (2020·西安模拟) 如图，在矩形ABCD中，E是边BC上的点，AE=BC， DF⊥AE，垂足为F，连接DE.

  求证：AB=DF.