【公开课】空间向量的数量积运算