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