已知,如图,在等边三角形ABC和等边三角形ADE中,AD是BC边上的中线,DE交AC于点F,求证:AC⊥DE,DF=EF