在三角形中AD平分角BAC,EF是线段AD的