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