展开 两个向量和的模的公式及证明