求两个空间向量的模的乘积的推理.