(公式)平面向量数量积