因为∠DAC=∠B+∠C,∠B=∠C(已知)
所以∠B=1/2∠DAC( 等量代换 )
因为AE是∠DAC的角平分线(已知)
所以∠EAC=1/2∠DAC( 角平分线定义 )
所以∠EAC=∠B(等量代换 )
所以AE‖BC (同位角相等,两直线平行)
............................................................
因为∠DAC=∠B+∠C,∠B=∠C。
所以∠B=1/2∠DAC
因为AE是∠DAC的角平分线
所以∠1=1/2∠DAC
所以∠1=∠B
所以AE‖BC