证明：∵EF是AD的垂直平分线，
∴AF=DF，
∴∠FAD=∠FDA，
∵∠FAD=∠FAC+∠CAD，∠FDA=∠B+∠BAD，
∵AD平分∠BAC，
∴∠BAD=∠CAD，
∴∠FAC=∠B．