平面向量数量积的性质及运算