在正方形ABCD中,F为DC的中点,E为BC上的一点,且EC=1/4BC,求证AF⊥EF