在矩形ABCD中,点E是BC上一点,AE=AD,DF⊥AE,垂足为F,线段DF等于谁并证明