展开 向量的数量积的坐标公式是怎么推出来的