高考数学（文）人教A版（全国）一轮复习配套文档第十二章推理证明、算法、复数12.2.docxVIP

1．直接证明(1)综合法①定义：利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．②框图表示：―→―→―→…―→(其中P表示已知条件、已有的定义、公理、定理等，Q表示所要证明的结论)．③思维过程：由因导果．(2)分析法①定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法．②框图表示：―→―→―→…―→(其中Q表示要证明的结论)．③思维过程：执果索因．2．间接证明反证法：假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法．【思考辨析】判断下面结论是否正确(请在括号中打“√”或“×”)(1)综合法是直接证明，分析法是间接证明．(　×　)(2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　×　)(3)用反证法证明结论“ab”时，应假设“ab”．(　×　)(4)反证法是指将结论和条件同时否定，推出矛盾．(　×　)(5)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程．(　√　)(6)证明不等式＋＋最合适的方法是分析法．(　√　)1．若a，b，c为实数，且ab0，则下列命题正确的是(　　)A．ac2bc2B．a2abb2C.D.答案　B解析　a2－ab＝a(a－b)，∵ab0，∴a－b0，∴a2－ab0，∴a2ab.①又ab－b2＝b(a－b)0，∴abb2，②由①②得a2abb2.2．(2014·山东)用反证法证明命题：“设a，b为实数，则方程x3＋ax＋b＝0至少有一个实根”时，要做的假设是(　　)A．方程x3＋ax＋b＝0没有实根B．方程x3＋ax＋b＝0至多有一个实数C．方程x3＋ax＋b＝0至多有两个实根D．方程x3＋ax＋b＝0恰好有两个实根答案　A解析　方程x3＋ax＋b＝0至少有一个实根的反面是方程x3＋ax＋b＝0没有实根，故应选A.3．要证a2＋b2－1－a2b2≤0只要证明(　　)A．2ab－1－a2b2≤0B．a2＋b2－1－≤0C.－1－a2b2≤0D．(a2－1)(b2－1)≥0答案　D解析　a2＋b2－1－a2b2≤0?(a2－1)(b2－1)≥0.4．如果a＋ba＋b，则a、b应满足的条件是__________________．答案　a≥0，b≥0且a≠b解析　∵a＋b－(a＋b)＝(a－b)＋(b－a)＝(－)(a－b)＝(－)2(＋)．∴当a≥0，b≥0且a≠b时，(－)2(＋)0.∴a＋ba＋b成立的条件是a≥0，b≥0且a≠b.5．(教材改编)在△ABC中，三个内角A，B，C的对边分别为a，b，c，且A，B，C成等差数列，a，b，c成等比数列，则△ABC的形状为________三角形．答案　等边解析　由题意2B＝A＋C，又A＋B＋C＝π，∴B＝，又b2＝ac，由余弦定理得b2＝a2＋c2－2accos B＝a2＋c2－ac，∴a2＋c2－2ac＝0，即(a－c)2＝0，∴a＝c，∴A＝C，∴A＝B＝C＝，∴△ABC为等边三角形．题型一　综合法的应用例1　已知数列{an}满足a1＝，且an＋1＝(n∈N*)．(1)证明数列{}是等差数列，并求数列{an}的通项公式；(2)设bn＝anan＋1(n∈N*)，数列{bn}的前n项和记为Tn，证明：Tn.(1)解　由已知可得，当n∈N*时，an＋1＝.两边取倒数得，＝＝＋3，即－＝3，所以数列{}是首项为＝2，公差为3的等差数列，其通项公式为＝＋(n－1)×3＝2＋(n－1)×3＝3n－1.所以数列{an}的通项公式为an＝.(2)证明　由(1)知an＝，故bn＝anan＋1＝×＝＝(－)，故Tn＝b1＋b2＋…＋bn＝×(－)＋×(－)＋…＋×(－)＝(－)＝－×.因为0，所以Tn.思维升华　(1)综合法是“由因导果”的证明方法，它是一种从已知到未知(从题设到结论)的逻辑推理方法，即从题设中的已知条件或已证的真实判断(命题)出发，经过一系列中间推理，最后导出所要求证结论的真实性．(2)综合法的逻辑依据是三段论式的演绎推理．　设a、b、c均为正数，且a＋b＋c＝1，证明：(1)ab＋bc＋ac≤；(2)＋＋≥1.证明　(1)由a2＋b2≥2ab，b2＋c2≥2bc，c2＋a2≥2ac得a2＋b2＋c2≥ab＋bc＋ca.由题设知(a＋b＋c)2＝1，即a2＋b2＋c2＋2ab＋2bc＋2ca＝1.所以3(ab＋bc＋ca)≤1，即ab＋bc＋ca≤.(2)因为＋b≥2a，＋c≥2b，＋a≥2c，故＋＋＋(a＋b＋c)≥2(a＋b＋c)，即＋＋≥a＋b＋c.