已知三角形ABC中,D、E、F分别是BC、AC、AB的中点、中线AD于中位线EF有什么关系,并证明、