∵EF垂直平分AD
∴EA=ED
∴∠EAD=∠EDA
∵AD平分角BAC,即∠BAD=∠CAD
又∵∠EDA=∠B+∠BAD; ∠EAD=∠CAE+∠CAD
∴∠B=∠EDA-∠BAD=∠EAD-∠CAD=∠CAE