7.4.2 向量内积的坐标运算