∠BEF=∠EFC
证明:
延长BE,交直线CD于点G
因为AB∥CD(已知)
∴∠1=∠BGD(两直线平行,内错角相等)
∵∠1=∠2(已知)
∴∠2=∠BGD(等量代换)
∴BG∥CF(同位角相等,两直线平行)
∴∠BEF=∠EFC (两直线平行,内错角相等)
∠BEF=∠EFC
证明:
延长BE,交直线CD于点G
因为AB∥CD(已知)
∴∠1=∠BGD(两直线平行,内错角相等)
∵∠1=∠2(已知)
∴∠2=∠BGD(等量代换)
∴BG∥CF(同位角相等,两直线平行)
∴∠BEF=∠EFC (两直线平行,内错角相等)