平面向量的数量积及运算律