两向量垂直的公式为：x1x2+y1y2=0。在数学中，向量（也称为欧几里得向量、几何向量、矢量），指具有大小（magnitude）和方向的量。它可以形象化地表示为带箭头的线段。
公式就是用数学符号表示各个量之间的一定关系(如定律或定理)的式子。具有普遍性，适合于同类关系的所有问题。 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。
两个矢量垂直用什么计算 扩展
假如一个矢量为a，另外一个为b，相互垂直，则ab两个矢量的共同值就是a平方加b平方后的开方，且方向与合成方向一致
