已知：如图,在等边三角形ABC和⺮等边三角形ADE中,AD是BC边上的中线,DE交AC于F .求已知：如图,在等边三角形ABC和⺮等边三角形ADE中,AD是BC边上的中线,DE交AC于F .求证：AC垂直于DE,DF=EF