在正方形ABCD中,F为DC中点,E为BC上一点,且EC=1/4BC,试说明:AF⊥EF