一般情况下是根据两条直线方程的斜率相乘积为-1可以得出2条直线垂直,用勾股定理的情形比较少,因为我们算点与点的距离一般比算斜率要麻烦.