已知如图在矩形中ABCD,E为AD中点,EF⊥EC