反证法在不等式证明中应用.docVIP

反证法在不等式证明中应用 　　反证法也叫归谬法，其证明步骤可概括为“否定――推理――否定――肯定”四个部分. 关键是第二步，即由“暂时假设”推出矛盾.那么怎样才能导出矛盾呢？通常有以下几种情形：或与公理矛盾、或与定义矛盾、或与定理矛盾、或与已知条件矛盾、或与“暂时假设”矛盾、或与显然的事实矛盾、或自相矛盾等. 　　一 命题结论为“至多”“至少”的形式，宜用反证法 　　例1 实数[a，b，c，d]满足[a+b=c+d=1]，[ac+bd1].求证：[a，b，c，d]中至少有一个是负数. 　　证法1 假设[a，b，c，d]都是非负数， 　　∵[a+b=c+d=1]， 　　∴[a，b，c，d]∈[0， 1]，∴[ac，bd]∈[0， 1]. 　　∴[ac≤ac≤a+c2]，[bd≤bd≤b+d2]. 　　∴[ac+bd≤a+c+b+d2]= 1，这与已知[ac+bd1]矛盾. 　　∴[a，b，c，d]中至少有一个是负数. 　　证法2 假设[a，b，c，d]都是非负数，则[（a+b）（c+d）=][（ac+bd）+（ad+bc）≥ac+bd]. 　　∵[a+b=c+d=1]，∴[（a+b）（c+d）=1]. 　　∴[ac+bd≤1]，这与已知[ac+bd1]矛盾. 　　∴[a，b，c，d]中至少有一个是负数. 　　例2 已知[f（x）=x2+ax+b]， 　　求证：[|f（1）|，|f（2）|，][|f（3）|]中至少有一个不小于[12]. 　　证明 假设[|f（1）|，|f（2）|，][|f（3）|]都小于[12]， 　　则[|f（1）|+2|f（2）|+][|f（3）|]2. 　　而[|f（1）|+2|f（2）|+][|f（3）|]≥[|f（1）+f（3）-2f（2）|]=|1+a+b+9+[3a+b-8-4a-2b|]=2，这与假设矛盾，所以假设不成立. 　　故[|f（1）|，|f（2）|，][|f（3）|]中至少有一个不小于[12]. 　　例3 已知[a0， b0]，且[a+b2]， 　　求证：[1+ba]与[1+ab]中至少有一个小于2. 　　证明 设[1+ba]与[1+ab]都不小于2，即[1+ba]≥ 2，[1+ab]≥ 2， 　　∵[a0， b0]， 　　∴[1+b≥2a]，[1+a≥2b]， 　　将两式相加得[1+b+1+a≥2a+2b]， 　　∴[a+b≤2]，这与已知矛盾，∴假设不成立. 　　∴[1+ba]与[1+ab]中至少有一个小于2. 　　二、命题结论呈“都是”“都不是”形式，宜用反证法 　　例4 已知[a+b+c0]， [ab+bc+ca0]， [abc0]， 　　求证：[a0， b0， c0]. 　　证明 （1）假设[a0]知，[bc0]. 　　又由[a+b+c0]知，[b+c-a0.] 　　于是[ab+bc+ca=a（b+c）+bc0]，这与已知矛盾. 　　（2）若[a=0]，则[abc=0]，这与[abc0]矛盾. 　　∴[a0]. 同理可证[b0， c0.] 　　例5 设实数a0， a1， a2， …， an-1，an满足a0=an=0，且a0-2a1+a2 ≥0，a1-2a2+a3 ≥0， …， an-2-2an-1+an ≥0. 　　试证明：ak ≤0（k=1， 2， 3， …，n-1）. 　　证明 假设ak（k=1， 2， 3， …， n-1）中至少存在一个正数且ai是序列a0， a1， a2， …， an-1中第一个出现的正数，则a1 ≤0， a2 ≤0， …， ai-1 ≤0， ai0，从而ai-ai-10. 　　据题设ak+1-ak ≥ak-ak-1（k=1， 2， 3， …， n-1），故从k=i起有an-an-1 ≥an-1-an-2 ≥…≥ai-ai-10. 　　于是有anan-1…ai+1ai0，这与an=0矛盾， 　　故ak ≤0（k=1， 2， 3， …，n-1）. 　　三、已知命题的逆命题是正确的，宜用反证法 　　例6 已知函数f（x）是（-∞， +∞）上的增函数，a， b∈R. 　　（1）证明：若a+b≥0，则f（a）+f（b）≥f（-a）+f（-b）； 　　（2）证明：若f（a）+f（b）≥f（-a）+f（-b），则a+b≥0. 　　证明 （1）∵a+b≥0，∴a≥-b，b≥-a. 　　∵f（x）是（-∞， +∞）上的增函数， 　　∴f（a）≥f（-b），f（b）≥f（-a）. 　　∴f（a）+f（b）≥f（-a）+f（-b）. 　　（2）假设a+b0，则a-b， b-a. 　　∵f（x）是（-∞， +∞）上的增函数， 　　∴f（a）f（-b）， f（b）f（-a