用反证法证明垂直于同一条线段的两条线相互平行.