展开 如何证明两条直线垂直系数乘积为负