兩直線的斜率乘積為-1，Ax+By+C=0，斜率為-A/B。

1、兩直線垂直一般式公式A1A2＋B1B2＝0，直線一般式方程適用于所有的二維空間直線。它的基本形式是Ax＋By＋C＝0（A，B不全為零）。兩直線垂直（斜率存在，且不為0）的充要條件，兩直線的斜率乘積為－1，直線一般式方程適用于所有的二維空間直線。它的基本形式是Ax＋By＋C＝0（A，B不全為零）。因為這樣的特點特別適合在計算機領(lǐng)域直線相關(guān)計算中用來描述直線。

2、因為所求方程上一點為線段ab的中點a(x1,y1)。則x1=（xa+xb）/2=3，y1=(ya+yb)/2=3，兩條直線垂直，那么兩條直線的斜率乘積為-1，第二條直線4x+ky=1，當(dāng)k不等于0時，y=-4x/k+1/k,斜率為-4/k。兩個新方程相加，削去t，得到3x+2y=7，即y=-3x/2+7/2,這就是第一條直線的一般形式。

3、利用直角三角形中兩銳角互余證明。由直角三角形的定義與三角形的內(nèi)角和定理可知直角三角形的兩個銳角和等于90° ，即直角三角形的兩個銳角互余。線線垂直分為共面與不共面。不共面時，兩直線經(jīng)過平移后相交成直角，則稱兩條直線互相垂直。線面垂直，則這條直線垂直于該平面內(nèi)的所有直線。