由于两条平行直线斜率相同,可以将平面内任意两条垂直直线平移到原点处的两条相交直线.所以只对以原点为交点的两条相交直线进行证明,利用 两直线的斜率乘积等于tana*tan(a+90)=tana*(-cota)=-1方可证明