AD平分角BAC,EF垂直平分AD交BC的延长线于F