矩形ABCD中,点E是BC上的一点,AE=AD,DF⊥AE于F,连接DE 求证DF=DC