2019-2020年高考数学一轮复习第11章算法复数推理与证明11.4直接证明与间接证明学案文

《2019-2020年高考数学一轮复习第11章算法复数推理与证明11.4直接证明与间接证明学案文》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、2019-2020年高考数学一轮复习第11章算法复数推理与证明11.4直接证明与间接证明学案文[知识梳理]1．直接证明2．间接证明间接证明是不同于直接证明的又一类证明方法，反证法是一种常用的间接证明方法．(1)反证法的定义：假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法．(2)用反证法证明的一般步骤：①反设——假设命题的结论不成立；②归谬——根据假设进行推理，直到推出矛盾为止；③结论——断言假设不成立，从而肯定原命题的结

2、论成立．[诊断自测]1．概念思辨(1)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　　)(2)证明不等式＋＜＋最适合的方法是分析法．(　　)(3)反证法是指将结论和条件同时否定，推出矛盾．(　　)(4)在解决问题时，常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程．(　　)答案　(1)×　(2)√　(3)×　(4)√2．教材衍化(1)(选修A1－2P42例7)用反证法证明某命题时，对结论“自然数a，b，c中恰有一个是偶数”正确的反设为(　　)A．a，b，c中至少有两个偶数B

3、．a，b，c中至少有两个偶数或都是奇数C．a，b，c都是奇数D．a，b，c都是偶数答案　B解析　a，b，c中恰有一个偶数说明有且仅有一个是偶数，其否定有a，b，c均为奇数或a，b，c中至少有两个偶数．故选B.(2)(选修A1－2P42T2)设a>b>0，m＝－，n＝，则m，n的大小关系是________．答案　m0，n>0，则m2－n2＝a＋b－2－a＋b＝2b－2＝2－2<0，∴m2

4、身(1)若a>0，b>0，且a＋b＝4，则下列不等式中恒成立的是(　　)A.>B.＋≤1C.≥2D.≤答案　D解析　∵a2＋b2≥2ab，∴2(a2＋b2)≥(a＋b)2＝16.∴a2＋b2≥8，∴≤.故选D.(2)设a，b是两个实数，给出下列条件：①a＋b>2；②a2＋b2>2.其中能推出：“a，b中至少有一个大于1”的条件是________．(填序号)答案　①解析　取a＝－2，b＝－1，则a2＋b2>2，从而②推不出．①能够推出，即若a＋b>2，则a，b中至少有一个大于1.用反证法证明如下：假设a

5、≤1，且b≤1，则a＋b≤2与a＋b>2矛盾．因此假设不成立，所以a，b中至少有一个大于1.题型1　分析法的应用　　已知a>0，证明：－≥a＋－2.本题证明时需要用分析法，在推导过程中用到平方法．证明　要证－≥a＋－2，只需证≥－(2－)．因为a>0，所以－(2－)>0，所以只需证2≥2，即2(2－)≥8－4，只需证a＋≥2.因为a>0，a＋≥2显然成立，所以要证的不等式成立．方法技巧1．分析法证明问题的策略(1)逆向思考是用分析法证题的主要思想．(2)证明较复杂的问题时，可以采用两头凑的办法，即通过

6、分析法找出某个与结论等价(或充分)的中间结论，然后通过综合法证明这个中间结论，从而使原命题得证．2．分析法的适用范围及证题关键(1)适用范围：①已知条件与结论之间的联系不够明显、直接．②证明过程中所需要用的知识不太明确、具体．③含有根号、绝对值的等式或不等式，从正面不易推导．(2)证题关键：保证分析过程的每一步都是可逆的．见典例．冲关针对训练(xx·天津期末)已知x>y>0，m>0.用分析法证明：(2－)≤1.证明　要用分析法证明：(2－)≤1，只需2－()2≤1，只需()2－2＋1≥0，即(－1)2

7、≥0，因为x，y>0，且(－1)2≥0成立，所以(2－)≤1.题型2　综合法的应用　　已知a，b，c为互不相等的实数，求证：a4＋b4＋c4>a2b2＋b2c2＋c2a2>abc(a＋b＋c)．利用基本不等式进行整理变形，使命题得证．证明　∵a4＋b4≥2a2b2，b4＋c4≥2b2c2，c4＋a4≥2a2c2，又a，b，c互不相等，∴上面三式中至少有一个式子不能取“＝”，∴a4＋b4＋c4>a2b2＋b2c2＋c2a2.①∵a2＋b2≥2ab，∴a2c2＋b2c2≥2abc2，同理a2b2＋a2c2

8、≥2a2bc，b2c2＋b2a2≥2ab2c，∴a2b2＋b2c2＋c2a2>abc2＋a2bc＋ab2c.②由①，②得a4＋b4＋c4>a2b2＋b2c2＋c2a2>abc(a＋b＋c)．方法技巧1．利用综合法证题的策略用综合法证题是从已知条件出发，逐步推向结论，综合法的适用范围：(1)定义明确的问题；(2)已知条件明确，并且容易通过分析和应用条件逐步逼近结论的题型．2．综合法证明问题的常见类型及方法(1)与不等式有关的证明：充分利用函数、方程、不等式