已知,在三角形ABC中,AD平分

由EF垂直平分AD得fa=fd
所以,∠fad=∠fda.
∠fda=∠bad+∠abd[外角定理]
AD平分∠BAC得∠bad=∠dac
所以
∠bad+∠abd=∠dac+∠cad
所以