延长AE至F交BC于F
证明△AEC全等于△FEC得到∠EAC＝∠EFC
∵∠EAC+∠DEA＝180
∴∠EFC+∠DEA＝180
∵∠EFC+∠EFB＝180
∴∠DEA＝∠EFB（等角的补角相等）
∴DE‖BC（同位角相等,两直线平行）