向量的数量积公式推导