例2、已知,求证:(且)
例3、设,求证
证明:假设,则有,从而
因为,所以,这与题设条件矛盾,所以,原不
等式成立。
例4、设二次函数,求证:中至少有一个不小于.
证明:假设都小于,则
(1)
另一方面,由绝对值不等式的性质,有
(2)
(1)、(2)两式的结果矛盾,所以假设不成立,原来的结论正确。
注意:诸如本例中的问题,当要证明几个代数式中,至少有一个满足某个不等式时,通常采用反证法进行。