工具简介:

利用空间向量乘法公式,进行两个空间向量的乘法运算。