不等式选讲4-5 §4 不等式证明.docVIP

§4 不等式的证明 知识精要 ⒈证明不等式的理论基础： ⑴不等式的基本性质；⑵已证明的成立的基本不等式；⑶函数的单调性． ⒉证明不等式的主要方法是： ⑴基本方法：比较法、综合法、分析法． ①比较法：通过＂a?b?0,a?b?0,a?b?0；或aaa?1,?1,?1（此时a?0,b?0）＂bbb 确定a与b大小关系的方法．前者称为作差法，后者称为作商法．证明的一般步骤为＂作差（或作商）→变形→与０（或１）比较大小→定论＂． ②综合法：从条件或已经证明过的不等式出发，运用不等式的基本性质，推导出所要求证的不等式． ③分析法：从求证的不等式出发，用＂要证……，只需证……，即需证……＂的推理语言分析出使这个不等式成立的充分条件．能找到不等式成立的充分条件，当然不等式就成立．所以，分析法一般用于＂综合法难以实施＂的时候．其特点是＂执果索因＂，即从＂未知＂看＂需知＂，逐步找到＂已知＂．逻辑上它是＂综合法＂的逆过程，因此，我们常用分析法寻找解题的思路，再用综合法有条理的表达证题过程，使＂综合法＂与＂分析法＂完美结合． ⑵其他方法：放缩法、反证法、构造几何图形或函数法、判别式法、换元法、数学归纳法等． ① 放缩法：将不等式的一边，逐步放大（或缩小），直到得到不等式的另一边． 注意：放缩必须适度，放得过大或缩得过小有可能都不能得到另一边；放缩时要注意不等号方向的一致性；可利用公式放缩，也可利用函数的单调性放缩． 常用技巧有：舍去正项是缩小，舍去负项是放大，如，(a?1)?2?(a?1)；在和或积的式子中换大（换小）某些项；换大分母是缩小，换小分母是放大，如，221111??， ，22kk(k?1)kk(k?1)??利用真分数的性质（若0?a?b,m?0，(k?N?,k?1)； 则有aa?m?）进行放缩；利用三角函数的有界性（如，|sinx|?1）进行放缩等． bb?m ② 反证法：从假设结论不成立入手，推出与＂已知条件、公理、定理或显然成立的事实＂等相矛盾的结果，从而判定假设错误，原结论成立的方法． 理论基础：我们知道＂原命题＂与它的＂逆否命题＂是等价命题，当我们直接证原命题成立较困难可改证它的逆否命题成立．因此反证法属于＂间接法解题＂． 反证法一般步骤：否定结论→推理论证→导出矛盾→肯定结论． 反证法适宜题型：存在性问题；唯一性问题；带有＂至少有一个＂或＂至多有一个＂等字样的问题． 否定的技巧：＂≥＂的反面是＂＜＂；＂≤＂的反面是＂＞＂；＂＞＂的反面是＂≤＂；＂＜＂的反面是＂≥＂；＂≠＂的反面是＂＝＂；＂＝＂的反面是＂≠＂即＂＞或＜＂；＂至少有一个＂的反面是＂没有一个＂；＂至多有一个＂的反面是＂有两个或两个以上＂． 被否定的结论一定要作为推理的条件使用，当结论的反面有多种情况时，要一一使用，不能遗 漏．如，＂a?b＂的否定是＂a?b或a?b＂，则反证法证明要分两类，分别在＂a?b＂和＂a?b＂的条件下进行推理． ③ 几何法证明不等式：就是将不等式中的数学式子转化为具有几何意义的距离、面积、体积，利用几何图形的性质来证明不等式的方法． 构造函数证明不等式：难点在如何构造函数上，而且所构造的函数必须是单调函数，解决这个问题的关键是建立初等函数模型与不等式的＂外形＂的对应关系． ④判别式法：其应用及其广泛，它在求函数的最大（小）值或值域中显得十分重要，它的适用范围是＂解答函数的解析式可以转化为f(y)x2?g(y)x??(y)?0形式＂．但要注意对x项系数2 a1x2?b1x?c1分f(y)?0和f(y)?0两种情况讨论．常见的不等式有：a?y??b． 2a2x?b2x?c2 ⑤换元法：有些不等式直接证明较为困难，但换元的思想方法可使问题便于研究，三角代换是常见的变量代换，如：若x2?y2?r2，可以设x?rcos?,y?rsin?,??[0,2?)；若x2?y2?r2， ?,y?asi?n,(?0a?r?),?可以设x?acosx2y2 ?，[?0,2若2?2?1，可以设x?acos；ab y?bsin?，?? [0,2?)x?cos?,??[0,?]（或x?sin?,??[? ，可以设x?tan?,??(???,]）； 22??,)（或x?cot?,??(0,?)）． 22 典例剖析 b2a2 ??a?b． 例１ 设a?0,b?0，求证：ab 【分析】由于a?0,b?0，所以求证的不等式的两边的值都大于零，可以考虑用作差法、作商法．又如果两边都添加a?b，可以考虑综合法，用平均值不等式得到结论． abb2a2(a?b)2(a?b)??a?b＝(a?b)(?)?证法一：（作差法）∵． baabab ∵(a?b)?0恒成立，且已知a?0,b?0， 2 (a?b)2(a?b)?0． ∴a?b?0,ab?0，ab b2a2 ??a?b． ∴ab b