三角形ABC中D是BC的中点EF分别为AB,AC的高求证DE=DF