坐标向量相乘的公式