向量点乘相关公式推导