1、∵EF是AD的中垂线∴AE=DE∴∠EAD=∠EDA2、∵AD平分∠BAC∴∠BAD=∠CAD∵EF是AD的中垂线∴AF=DF∴∠FAD=∠FDA即∠BAD=∠FDA∴∠FDA=∠CAD∴DF∥AC(内错角相等,两直线平行)3、∵∠EDA=∠B+∠BAD∵∠EDA=∠EAD=∠CAD+∠EAC∴∠B+∠BAD=∠CAD+∠EAC∵∠BAD=∠CAD∴∠EAC=∠B