基本不等式公式推广