证明：
∵EF是AD的垂直平分线
∴∠EAD=∠EDA
∵AD平分∠BAC
∴∠DAB=∠DAC
∴∠EAD-∠DAC=∠EDA-∠DAB
即∠CAE=∠B
得证