探寻必要条件 巧解恒成立问题