向量坐标a·b点乘公式推�