已知矩形ABCD中,E是BCD上一点,且AE=BC,DF⊥AE