20版数学-选修4-5人APPT：2.3.pptVIP

方法二:假设x(2-y)1且y(2-z)1且z(2-x)1.所以③又④④与③矛盾,故假设不成立,所以原题设结论成立.类型二用反证法证明“至多”“至少”型命题【典例】已知f(x)=x2+px+q,求证: 世纪金榜导学号(1)f(1)+f(3)-2f(2)=2.(2)|f(1)|,|f(2)|,|f(3)|中至少有一个不小于.【思维·引】至少有一个的反设是:没有一个.【证明】(1)由于f(x)=x2+px+q,所以f(1)+f(3)-2f(2)=(1+p+q)+(9+3p+q)-2(4+2p+q)=2.(2)假设|f(1)|,|f(2)|,|f(3)|都小于,则有|f(1)|+2|f(2)|+|f(3)|2.(*)又|f(1)|+2|f(2)|+|f(3)|≥f(1)+f(3)-2f(2)=(1+p+q)+(9+3p+q)-(8+4p+2q)=2,所以|f(1)|+2|f(2)|+|f(3)|≥2与(*)矛盾,所以假设不成立.故|f(1)|,|f(2)|,|f(3)|中至少有一个不小于.【内化·悟】如何证明|f(1)|,|f(2)|,|f(3)|中“至少有一个不小于”?提示:反证法.文字语言“至少有一个”的符号语言为“n≥1,n∈N”,其否定为“n1,n∈N”,即没有.所以假设没有一个不小于,即都小于,结合已知条件推出矛盾.【类题·通】“至多”“至少”型问题的证明方法(1)在证明中含有“至多”“至少”等字眼时,常使用反证法证明.(2)在用反证法证明的过程中,由于作出了与结论相反的假设,相当于增加了题设条件,因此在证明过程中必须使用这个增加的条件,否则将无法推出矛盾.【习练·破】若a,b,c均为实数,且a=x2-2y+,b=y2-2z+,c=z2-2x+,求证:a,b,c中至少有一个大于0.【解题指南】由于问题是“至少型”命题,故可用反证法证明.【证明】假设a,b,c都不大于0,即a≤0,b≤0,c≤0,则a+b+c≤0,而a+b+c=x2-2y++y2-2z++z2-2x+=(x-1)2+(y-1)2+(z-1)2+π-3,因为π-30,且(x-1)2+(y-1)2+(z-1)2≥0,所以a+b+c0这与a+b+c≤0矛盾.因此,a,b,c中至少有一个大于0.【拓展延伸】常见的涉及反证法的文字语言及其相对应的否定假设有:常见词语至少有一个至多有一个唯一一个是有或存在全都是否定假设一个也没有有两个或两个以上没有或有两个或两个以上不是不存在不全不都是类型三用放缩法证明不等式角度1裂项放缩【典例】求证:(n∈N+且n≥2).世纪金榜导学号【思维·引】式子中间是一个和的形式,能不能利用求和公式求和?提示:不能利用求和公式或其他方法求和,可考虑将分母适当放大或缩小成可以求和的形式,进而求和,并证明该不等式.【证明】因为k(k+1)k2k(k-1),所以即(k∈N+且k≥2).分别令k=2,3,…,n将这些不等式相加得即所以即(n∈N+且n≥2)成立.【素养·探】裂项放缩证明不等式,体现了逻辑推理、数学运算的核心素养.已知an=2n2,n∈N+,求证:对一切正整数n,有【解题指南】针对不等式的特点,对其通项进行放缩、裂项.【证明】因为当n≥2时,an=2n22n(n-1),所以所以即角度2其他形式的放缩【典例】已知数列{an}的前n项和Sn=(n2+n)·3n.求证:. 世纪金榜导学号【思维·引】观察所证不等式,左边有n项,右边有1项,所以想到左边去掉若干项放缩.【证明】当n=1时,=S1=63;当n1时,所以当n≥1时,【类题·通】放缩法证明不等式的技巧放缩法在不等式的证明中无处不在,主要是根据不等式的传递性进行变换.(1)放缩法的关键在于放大(或缩小)要适度.三反证法与放缩法1.反证法(1)方法:先假设要证的命题不成立,以此为出发点,结合已知条件,应用公理、定义、定理、性质等,进行正确的推理,得到和命题的条件(或已证明的定理、性质、明显成立的事实等)矛盾的结论,以说明假设不正确,从而证明原命