已知三角形ABC内接与圆O,D,E,F分别为三角形ABC三边的中点.求证:三角形ABC的外心O是三角形ABC的垂心