直线垂直公式
直线垂直公式A1A2+B1B2=0。
1、两直线垂直一般式公式：A1A2+B1B2=0。直线一般式方程适用于所有的二维空间直线。它码凯的基本形式是Ax+By+C=0（A，B不全为零）。两直线的斜率乘积为-1，Ax+By+C=0，斜率为-A/B。
2、直线的一般式方程：Ax+By+C=0（A，B不全为零即A+B≠0）该直线的斜率为k=-A/B（当B=0时没有斜率），直线的一般式方程能够表示坐标平面内的任何直线。因为这样的特点特别适合在计算机领域直线相关计算中用来描述直线。
3、两直线垂直的定义：两条直线互相垂直不一定相交。垂直的定义：垂直，是指一条线与另一条线成直角，这两条直线互相垂直。当两直线相交（在立体几何里不相交的2条互成90度的线也可以叫做相互垂直，可以见高中一年级人教A版必修二课本）所组成的角为直角时，称它们互相垂直。
直线平行的公式是Ax+By+C1=0和Ax+By+C2=0，直线垂直的公式是A1A2+B1B2=0。直线是一个点在平面或空间沿着一定方向和其相反方向运动的轨迹，是一条不弯曲的线。直线是几何学的基本概念，在不同的几何学体系中有着不同的描述。在这里主要描述欧几里得空间中的直线。其他曲率非零状况下的直线，请参考非欧几里得几何。
直线垂直定理：
垂直定理是在同一平面内，过一点（直线上或直线外）有且只有一条直线与已知直线垂直。直线外一点与直线上各点连接的所有线段中，垂线段最短（简称垂线段最短）。线段的垂直平分线可看作和线段两端点距离相等的所有点的集合。迟毁唤垂直，是指一条线与另一条线相交且成直角，这两条直线互相垂直。通常用符号“⊥”表示。
垂直平分线垂直且平分其所在线段；垂直平分线上任意一点，到线段两端点的距离相等；三角形三条边的垂直平分线相交于一点，该点叫外余燃心，并且这一点到三个顶点的距离相等。垂直平分线的逆定理是到一条线段两个端点距离相等的点，在这条线段的垂直平分线上。
