反证法：假设这两条直线不相交,即2条直线平行
应该有个定理,说平行的2条直线被第三条直线所截,同位角相等
但是与已知同位角不相等矛盾,所以原假设不成立
即这2条直线必相交