∵ AB=AC(已知)
∴∠B=∠C(等边对等角)
∵AD=AF(已知)
∴∠AFD=∠ADF(等边对等角)
∴∠ADF=BDE(对顶角相等)
∵在△CFE和△BDE中
∠B+∠BDE=∠C+∠EFC(等量加等量和相等)
∴180°-∠B+∠BDE=180°-∠C+∠EFC
(等量减等量差相等)
即∠FEC=∠DEB
∴∠FEC=∠DEB=180°÷2=90°
∴EF⊥BC
∵ AB=AC(已知)
∴∠B=∠C(等边对等角)
∵AD=AF(已知)
∴∠AFD=∠ADF(等边对等角)
∴∠ADF=BDE(对顶角相等)
∵在△CFE和△BDE中
∠B+∠BDE=∠C+∠EFC(等量加等量和相等)
∴180°-∠B+∠BDE=180°-∠C+∠EFC
(等量减等量差相等)
即∠FEC=∠DEB
∴∠FEC=∠DEB=180°÷2=90°
∴EF⊥BC