《向量数量积的运算律》引入