展开 向量不等式公式四个