构造函数法证明不等式