函数恒成立问题参变分离法