高考数学 考点突破——推理与证明：直接证明与间接证明学案.doc

直接证明与间接证明【考点梳理】1直接证明内容综合法分析法定义利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件思维过程由因导果执果索因框图表示书写格式因为，所以或由，得要证，只需证，即证2间接证明反证法：一般地，假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法【考点突破】考点一、综合法【例1】在abc中，角a，b，c的对边分别为a，b，c，已知sin asin bsin bsin ccos 2b1.(1)求证：a，b，c成等差数列(2)若c，求证：5a3b.解析 (1)由已知得sin asin bsin bsin c2sin2b，因为sin b0，所以sin asin c2sin b，由正弦定理，有ac2b，即a，b，c成等差数列(2)由c，c2ba及余弦定理得(2ba)2a2b2ab，即有5ab3b20，所以5a3b.【类题通法】掌握综合法证明问题的思路【对点训练】已知数列an的前n项和sn，nn*.(1)求数列an的通项公式；(2)证明：对任意的n1，都存在mn*，使得a1，an，am成等比数列解析 (1)由sn，得a1s11，当n2时，ansnsn13n2，当n1时也适合所以数列an的通项公式为an3n2.(2)证明：要使得a1，an，am成等比数列，只需要aa1am，即(3n2)21(3m2)，即m3n24n2，而此时mn*，且mn.所以对任意的n1，都存在mn*，使得a1，an，am成等比数列考点二、分析法【例2】已知a0，求证：a2.解析 要证a2，只需要证2a.因为a0，故只需要证22，即a244a2222，从而只需要证2，只需要证42，即a22，而上述不等式显然成立，故原不等式成立.【类题通法】1利用分析法证明问题的思路分析法的证明思路：先从结论入手，由此逐步推出保证此结论成立的充分条件，而当这些判断恰恰都是已证的命题(定义、公理、定理、法则、公式等)或要证命题的已知条件时命题得证2分析法证明问题的适用范围当已知条件与结论之间的联系不够明显、直接，或证明过程中所需用的知识不太明确、具体时，往往采用分析法，特别是含有根号、绝对值的等式或不等式，常考虑用分析法【对点训练】若a，b(1，)，证明.解析 要证，只需证()2()2，只需证ab1ab0，即证(a1)(1b)1，b1，所以a10，1b0，即(a1)(1b)0成立，所以原不等式成立考点三、反证法【例3】(1)用反证法证明命题“设a，b为实数，则方程x3axb0至少有一个实数根”时，假设为()a方程x3axb0没有实数根b方程x3axb0至多有一个实数根c方程x3axb0至多有两个实数根d方程x3axb0恰好有两个实数根(2)已知xr，ax2，b2x，cx2x1，试证明a，b，c至少有一个不小于1.答案 (1) a解析 (1)“至少有一个实数根”的否定是“一个实数根也没有”，即“没有实数根”(2)假设a，b，c均小于1，即a1，b1，c1，则有abc3，而abc2x22x32233，两者矛盾，所以假设不成立，故a，b，c至少有一个不小于1.【类题通法】1反证法证明问题的3步骤2反证法的适用范围(1)否定性命题；(2)命题的结论中出现“至少”“至多”“唯一”等词语的；(3)当命题成立非常明显，而要直接证明所用的理论太少，且不容易说明，而其逆否命题又是非常容易证明的；(4)要讨论的情况很复杂，而反面情况很少【对点训练】1已知p3q32，求证pq2，用反证法证明时，可假设pq2；已知a，br，|a|b|1，求证方程x2axb0的两根的绝对值都小于1，用反证法证明时可假设方程有一根x1的绝对值大于或等于1，即假设|x1|1.以下正确的是()a与的假设都错误 b与的假设都正确c的假设正确；的假设错误 d的假设错误；的假设正确答案 d解析 反证法的实质是否定结论，对于，其结论的反面是pq2，所以不正确；对于，其假设正确.2设x，y，zr，ax，by，cz，则a，b，c三个数()a至少有一个不大于2 b都小于2c至少