答案
两直线平行,内错角相等
角平分线定义
两直线平行,内错角相等
等量代换
三角形内角和定理
等量代换
已证
证明:∵l
1∥l
2,
∴∠CBA=∠3(两直线平行,内错角相等),
∵∠CAB=∠CBA,
∴∠3=∠CAB(等量代换),
∴AB平分∠CAF(角平分线定义),
∵l
1∥l
2,
∴∠ACB=∠4(两直线平行,内错角相等),
∵∠ACB=∠CDE
∴∠4=∠CDE(等量代换),
∵∠4+∠1+∠AOE=180°,∠2+∠CDE+∠DOC=180°(三角形内角和定理),
∴∠4+∠1+∠AOE=∠2+∠CDE+∠DOC(等量代换),
∵∠4=∠CDE,∠AOE=∠DOC(对顶角相等),
∴∠1=∠2,
故答案为:两直线平行,内错角相等,角平分线定义,两直线平行,内错角相等,等量代换,三角形内角和定理,等量代换,已证.