展开 向量数量积坐标公式的证明