如图所示，AD是△ABC的角平分线，EF是AD的垂直平分线，交BC的延长线于点F，连接

证明：∵EF是AD的垂直平分线，
∴AF=DF，
∴∠FAD=∠ADF，
∵∠FAD=∠FAC+∠CAD，∠ADF=∠B+∠DAB，
∵AD是∠BAC的平分线，
∴∠DAB=∠CAD，
∴∠CAF=∠B，
∴∠BAC+∠FAC=∠B+∠BAC，
即∠BAF=∠ACF．