展开 用向量证明不等式