展开 向量的数量积坐标运算推理