∵AB=AC
∴△ABC是等腰三角形
BC是底边
∵AD是底边BC上的高
∴AD也是∠BAC的平分线
∠∠1=∠DAC
∵∠1+角2=180°
∴∠DAC+角2=180°
∴AD∥EF
∴∠EFC=∠ADC=90°
∴EF⊥BC