坐标向量的相乘公式