用反证法证明:在同一平面内,如果两条直线都和第三条直线垂直,那么这两条直线平行