构造对偶式,证明不等式