空间向量垂直公式是a1a2+b1b2+c1c2=0，空间中具有大小和方向的量叫做空间向量，向量的大小叫做向量的长度或模，模为1的向量称为单位向量。
长度为0的向量叫做零向量，记为0，与向量a长度相等而方向相反的向量，称为a的相反向量，记为-a，方向相等且模相等的向量称为相等向量。任意不共面的三个向量都可作为空间的一个基底，零向量的表示唯一。