8.2.2向量的数量积的定义域运算律