平面向量数量积和运算律