已知,在三角形ABC中,AH垂直BC于点H,D,E,F分别是BC,AC,AB的中点.求证:三角形DEF全等三角性HEF