4.3.7 向量的点乘