空间向量的数量积运算