DEF分别为三角形ABC中点,求证AD BE CF