例谈不等式证明方法.docVIP

例谈不等式证明方法 　　不等式的证明是数学证明题中的难点，其原因是证明无固定的程序可循，方法多样，技巧性强，笔者通过探索获得以下体会，供大家参考. 　　1. 比较法 　　（1）作差比较法 　　在比较两个实数[a]和[b]的大小时，可借助[a-b]的符号来判断.步骤一般为：作差――变形――判断（正号、负号、零）.变形时常用的方法有：配方、通分、因式分解等. 　　例1 已知：[a0]，[b0]，求证：[a+b2≥ab]. 　　证明 [a+b2-ab=a+b-2ab2=][（a-b）22][≥0]，故得[a+b2≥ab]. 　　（2）作商比较法 　　一般在[a]，[b]均为正数时，借助[ab1]或[ab1]来判断其大小. 　　例2 设[ab0]，求证：[aabbabba]. 　　证明 因为[ab0]，所以[ab1]，[a-b0]. 　　而[aabbabba=aba-b1]，故[aabbabba]. 　　2. 分析法 　　从要证明的结论出发，一步一步地推导，最后达到命题的已知条件. 　　例3 已知[a0]，[b0]且[a+b=1]， 　　求证：[（a+1a）（b+1b）≥254]. 　　证明 要证[（a+1a）（b+1b）≥254]， 　　[∵（a+1a）（b+1b）] =[a2b2-（a2+b2）+1ab]， 　　[∴]只需证明[4（ab）2+4（a2+b2）-25ab+4≥0]， 　　即证[4（ab）2-33ab+8≥0]，故[ab≤14]或[ab≥8]. 　　[∵a0，b0]，[a+b=1]， 　　[∴ab≥8]不可能成立. 　　而1=[a+b≥2ab]， 　　[∴ab≤14].从而原不等式成立. 　　3. 综合法 　　从已知条件入手，经过逐步的逻辑推导，运用已知的定义、定理、公式等，最终达到要证的结论. 　　例4 已知：[abc]， 　　求证：[1a-b+1b-c+1c-a≥0]. 　　证明 [∵][abc]， 　　[∴a-b0，b-c0]，[a-c0.] 　　[∴1a-b+1b-c≥21（a-b）（b-c）]. 　　而[（a-b）（b-c）≤（a-c）24]， 　　[∴1a-b+1b-c≥24（a-c）2=4a-c]， 　　即[1a-b+1b-c+1c-a≥0]. 　　4. 反证法 　　先假设要证明的结论不正确，由此经过合理的逻辑推导得出矛盾，从而否定假设，导出结论的正确性，达到证题的目的. 　　例5 已知[a，b，c∈（0，1），] 　　求证：[（1-a）b，（1-b）c，（1-c）a]不能都大于[14]. 　　证明 假设[（1-a）b，（1-b）c，（1-c）a]都大于[14]. 　　[∵a，b，c∈（0，1），][∴1-a]，[1-b]，[1-c]都是正数. 　　[∴（1-a）+b2≥（1-a）b12.] 　　同理[（1-b）+c212]，[（1-c）+a212]. 　　三式相加得[（1-a）+b2][+（1-b）+c2+（1-c）+a2][32]，即[3232]，矛盾. 　　故[（1-a）b，（1-b）c，（1-c）a]不能都大于[14]. 　　5. 放缩法 　　放缩法是把不等式的一边适当放大或放小，利用不等式的传递性来证明不等式. 　　例6 已知[a，b，c，d]都是正数，求证：[1ba+b+c+cb+c+d+dc+d+a+ad+a+b2]. 　　证明 [ba+b+c+cb+c+d+dc+d+a+ad+a+b] 　　[ba+b+c+d+ca+b+c+d]+[da+b+c+d]+[aa+b+c+d=1]. 　　而[ba+b+c+cb+c+d+dc+d+a+ad+a+b] 　　[b+da+b+c+d]+[c+aa+b+c+d]+[d+ba+b+c+d]+[a+ca+b+c+d=2]， 　　故[1ba+b+c+cb+c+d+dc+d+a+ad+a+b2]. 　　6. 换元法 　　在证题过程中，以变量代换的方法，选择适当的辅助未知数，使问题的证明达到简化. 　　（1）代数换元法 　　例7 已知：[a+b+c=1]，求证：[ab+bc+ca≤13]. 　　证明 设[a=13-t]，[b=13-at（t∈R）]， 　　则[c=13+（1+a）t]， 　　[ab+bc+ca=13-t13-at+] 　　[13-at13+（1+a）t+13-t13+（1+a）t] 　　[=13-（1+a+a2）t2≤13]， 　　所以[ab+bc+ca≤13]. 　　（2）三角代换法 　　例8 已知：[a2+b2=1]，[x2+y2=1]， 　　求证：[ax+by≤1]. 　　证明 设[a=sinθ]，[x=sinφ]