向量的一些公式