已知一个直线方程,怎样求垂直于它的另一个直线方程?是不是有公式?