展开 向量里的不等式结论