为什么要用这种方法 原函数不化不行么 直接建立不等式