因为∠1+∠2=180°
∠ADC+∠2=180°
所以∠1=∠ADC
AB//EF
所以,∠3=∠ADE
在三角形ADE和三角形ABC中,∠A+∠B+∠C=180度,∠A+∠ADE+∠AED=180°
因为∠3=∠B
.所以∠AED=∠ACB