在矩形ABCD中,E是AB上一点,F是AD上一点,EF⊥FC,且EF=FC