展开 向量可以用基本不等式吗