已知:正方形ABCD中,E为BC的中点,F点在DC上且CF=1/4DC,求证:AE⊥EF