坐标向量相乘公式推导