如图,在正方形ABCD中,F为DC边中点,E为BC边上的一点,且EC=四分之一BC.求证:AF⊥EF