两条直线互相垂直公式：k1×k2=-1。
两条线垂直公式：k1×k2=-1。垂直，是指一条线与另一条线成直角，这两条直线互相垂直。通常用符号“⊥”表示。设有两个向量a和b，a⊥b的充要条件是a·b=0，即(x1x2+y1y2)=0 。
在数学中，向量（也称为欧几里得向量、几何向量、矢量），指具有大小（magnitude）和方向的量。它可以形象化地表示为带箭头的线段。箭头所指：代表向量的方向；线段长度：代表向量的大小。
常用直线向上方向与 X 轴正向的 夹角（ 叫直线的倾斜角 ）或该角的正切（称直线的斜率）来表示平面上直线(对于X轴)的倾斜程度。
两直线垂直的定义：
两条直线互相垂直不一定相交。垂直的定义：垂直，是指一条线与另一条线成直角，这两条直线互相垂直。当两直线相交（在立体几何里不相交的2条互成90度的线也可以叫做相互垂直，可以见高中一年级人教A版必修二课本）所组成的角为直角时，称它们互相垂直。
两条直线相交成直角时，这两条直线互相垂直，其中一条直线是另一条直线的垂线，这两条直线的交点叫垂足，两条直线、两个平面相交，或一条直线与一个平面相交，如果交角成直角，叫做互相垂直。
两直线垂直一般式公式：A1A2＋B1B2＝0。
直线一般式方程适用于所有的二维空间直线。它的基本形式是Ax＋By＋C＝0（A，B不全为零）。
两直线垂直公式：
1．两直线垂直（斜率存在，且不为0）的充要条件
两直线的斜率乘积为－1
Ax＋By＋C＝0，斜率为－A／B
2．两直线A1x＋B1y＋C1＝0和A2x＋B2y＋C2＝0垂直的充要条件
A1A2＋B1B2＝0（此式对于斜率不存在或等于0也成立）
直线的一般式方程
直线一般式方程适用于所有的二维空间直线。它的基本形式是Ax＋By＋C＝0（A，B不全为零）。因为这样的特点特别适合在计算机领域直线相关计算中用来描述直线。
直线的一般式方程能够表示坐标平面内的任何直线。
Ax＋By＋C＝0（A，B不全为零即A²＋B²≠0）该直线的斜率为k＝－A／B（当B＝0时没有斜率）
平行于x轴时，A＝0，C≠0；
平行于y轴时，B＝0，C≠0；
与x轴重合时，A＝0，C＝0；
与y轴重合时，B＝0，C＝0；
过原点时，C＝0；
与x、y轴都相交时，A＊B≠0。