△DEF是△ABC的中点三角形,求证△DEF的面积是△ABC面积的四分之一