证明一个参数在某一个范围符合条件,可以使用主元法,讲这个参数变为主元,进行求导等一系列操作。然后也许就可以将命题从证明一个范围成立转化为证明一个具体的数值成立,可以大大简化问题。
用什么构造答案,就用什么推矛盾。