展开 如何计算投影向量长度的公式