在三角形abc中ad是角bac的平分线de垂直ab于点e;df垂直ac于点f