向量数量积坐标公式推导