不等式的证明
反证法
先假设要证明的命题不成立,以此为出发点, 结合已知条件,应用公理、定义、定理、性质等, 进行正确的推理,得到矛盾,说明假设不正确, 从而间接说明原命题成立的方法。
例1 已知x, y 0, 且x y 2,试证 : 1 x ,1 y中至少
yx 有一个小于2.
另外,如果从正面 证明,需要对某一 个分式小于2或两 个分式都小于2等 进行分类讨论,而
证明 假设 a,b, c 不全是正数,即其中至少有 一个不是正数.不妨先设a 0.下面分a 0和 a 0 两种情况讨论.
1 如果 a 0,则 abc 0,与abc 0 矛盾. 所以
a 0 不可能.
2 如果 a 0,那么由abc 0,可得 bc 0.
又因为a b c 0.所以b c a 0.
与①矛盾∴结论成立
例2 已知 a,b, c为实 假设a,b, c不全是正数, 数 , a b c 0 , ab 这时需要逐个讨论a , bc ca 0, abc 0,求 b, c不是正数的情形.但 证 : a 0,b 0, c 0. 注意到条件的特点(任 分析 要证的结论与 意交换a,b, c 的位置不 条件之间的联系不明 改变命题的条件),我们 显,直接由条件推出结 只要讨论其中一个(例 论的线索不 够清晰,于 如a), 其他两个(例如b, 是考虑采用反证法. c)与这种情形类似.
▪
论成立的方法。
反证法
先假设要证的命题不成立,以此为出发点,结合已知条 件,应用公理,定义,定理,性质等,进行正确的推理,得到 和命题的条件(或已证明的定理,性质,明显成立的事实 等)矛盾的结论,以说明假设不正确,从而证明原命题成 立,这种方法称为反证法.对于那些直接证明比较困难
的命题常常用反证法证明. (正难则反)