原文:恰当构造函数,可使不等式问题证明简捷化