高中数学向量数量积的运算律的推导?