向量点乘坐标运算公式是什么时候学的