应用构造法证明不等式竞赛题