点D、E、F分别是三角形ABC三边BC、CA、AB的中点,O为任意点求证: