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