恒成立问题常见类型及解法.