This rule is deduced using the dot product of vectors.

• 这条定理使用向量的数量积进行推导。