∵∠A+∠AEF=180°（已知）∴AB∥EF（同旁内角互补，两直线平行）∴∠2=∠B(两直线平行，同位角相等）∵∠1+∠2=180°(已知）∴∠1+∠B=180（等量代换）∴DE∥BC(同旁内角互补，两直线平行）
角def改成角3
你标了∠3的。。。这个后面是：∴∠1+∠3=180°∵∠2+∠1=180°∴∠2=∠3∴DE∥BC
