两直线的斜率乘积为-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不全为零）。因为这样的特点特别适合在计算机领域直线相关计算中用来描述直线。
2、因为所求方程上一点为线段ab的中点a(x1,y1)。则x1=（xa+xb）/2=3，y1=(ya+yb)/2=3，两条直线垂直，那么两条直线的斜率乘积为-1，第二条直线4x+ky=1，当k不等于0时，y=-4x/k+1/k,斜率为-4/k。两个新方程相加，削去t，得到3x+2y=7，即y=-3x/2+7/2,这就是第一条直线的一般形式。
3、利用直角三角形中两锐角互余证明。由直角三角形的定义与三角形的内角和定理可知直角三角形的两个锐角和等于90° ，即直角三角形的两个锐角互余。线线垂直分为共面与不共面。不共面时，两直线经过平移后相交成直角，则称两条直线互相垂直。线面垂直，则这条直线垂直于该平面内的所有直线。
