展开 向量数量积运算法则证明