过点E作EF//AB
∵EF//AB
∴∠B=∠BEF(两直线平行,内错角相等)
∵∠BED=∠B+∠D,∠BED=∠BEF+∠DEF
∴∠DEF=∠D
∴EF//CD (内错角相等,两直线平行)
∴AB//CD