∵EF是AD的垂直平分线，
∵AF=DF，
∴∠EAF=∠EDF，
∵∠EAF=∠FAC+∠CAD，∠EDF=∠BAD+∠B，
又∵∠FAC=∠B，
∴∠BAD=∠CAD，
即AD平分∠BAC．