EF∥CD
∵AB⊥BE,CD⊥BE
∴CD∥AB
∴∠A=∠DCO(两直线平行,同位角相等)
∵∠1=∠A
∴∠1=∠DCO(等量代换)
∵∠1与∠DCO是内错角
∴EF∥CD(内错角相等,两直线平行)