因为:ab等于ac,所以三角形abc是等腰三角形
又d是bc中点
所以ab是角bac的平分线
又因为de垂直ab与点e,df垂直ac与f
所以:de=df(角平分线上的点到两边的距离相等)
所以:三角形def是等腰三角形
所以:角def=角dfe