证明:AB=AC,且D为BC中点,可知AD垂直BC,三角形ABD与ADC面积相等,即AB*DE=AC*DF,所以可得DE=DF
因为三角形abc中,ab=ac,d是bc中点,所以ad是∠bad平分线所以de=df