反证法：
设CD不//EF
设G是CD与EF的交点
∵AB//CD
∴AB与EF将有交点
∴AB与EF不平行
∵ 已知条件中有AB//EF
∴ 假设不成立
∴CD//EF