投影向量的公式化简