2019高考总复习文数（人教版）讲义：第07章+不等式、推理与证明+第5节+直接证明与间接证明+Word版含答案.docVIP

第五节　直接证明与间接证明 考点 高考试题 考查内容 核心素养 直接证明与间接证明 未单独考查 命题分析 对直接证明和间接证明的考查主要作为证明和推理数学命题的方法，常与函数、数列、不等式、立体几何、解析几何等综合考查. 1．直接证明 直接证明中最基本的两种证明方法是综合法和分析法. (1)综合法：一般地，利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫作综合法． 综合法又称为：由因导果法(顺推证法)． (2)分析法：一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫作分析法． 分析法又称为：执果索因法(逆推证法)． 2．间接证明 反证法：一般地，假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫作反证法． 提醒： 辨明两个易误点 (1)用分析法证明数学问题时，要注意书写格式的规范性，常常用“要证(欲证)…”“即要证…”“就要证…”等分析到一个明显成立的结论． (2)利用反证法证明数学问题时，要假设结论错误，并用假设命题进行推理，没有用假设命题推理而推出矛盾结果，其推理过程是错误的． 1．判断下列结论的正误(正确的打“√”，错误的打“×”) (1)综合法是直接证明，分析法是间接证明．(　　) (2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　　) (3)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程． (　　) (4)证明不等式＋＜＋最合适的方法是分析法．(　　) (5)用反证法证明结论“a＞b”时，应假设“a＜b”．(　　) (6)反证法是指将结论和条件同时否定，推出矛盾．(　　) 答案：(1)×　(2)×　(3)√　(4)√　(5)×　(6)× 2．用分析法证明：欲使AB，只需CD，这里是的(　　) A．充分条件　　 B．必要条件 C．充要条件　　 D．既不充分也不必要条件 解析：选B　由题意可知，应有，故是的必要条件． 3．命题“对于任意角θ，cos4 θ－sin4 θ＝cos 2θ”的证明：“cos4 θ－sin4 θ＝(cos2 θ－sin2 θ)(cos2 θ＋sin2 θ)＝cos2 θ－sin2 θ＝cos 2θ”过程应用了(　　) A．分析法　　 B．综合法 C．综合法、分析法综合使用　　 D．间接证明法 解析：选B　结合推理及分析法和综合法的定义可知，B正确． 4．(教材习题改编)要证：a2＋b2－1－a2b2≤0，只要证明(　　) A．2ab－1－a2b2≤0　　 B．a2＋b2－1－≤0 C．－1－a2b2≤0　　 D．(a2－1)(b2－1)≥0 解析：选D　a2＋b2－1－a2b2≤0(a2－1)(b2－1)≥0. 5．用反证法证明命题“三角形三个内角至少有一个不大于60°”时，应假设(　　) A．三个内角都不大于60° B．三个内角都大于60° C．三个内角至多有一个大于60° D．三个内角至多有两个大于60° 解析：选B　因为“至少有一个”的反面是“一个也没有”，所以“三角形三个内角至少有一个不大于60°”的否定是“三角形三个内角一个也没有不大于60°”，即“三个内角都大于60°”． 分析法的应用 [明技法] 分析法证题的技巧 (1)逆向思考是用分析法证题的主要思想，通过反推，逐步寻找使结论成立的充分条件．正确把握转化方向是使问题顺利获解的关键． (2)证明较复杂的问题时，可以采用两头凑的办法，即通过分析法找出某个与结论等价(或充分)的中间结论，然后通过综合法由条件证明这个中间结论，从而使原命题得证． [提能力] 【典例】 已知ABC的三个内角A，B，C成等差数列，A，B，C的对边分别为a，b，c. 求证：＋＝. 证明：要证＋＝， 即证＋＝3也就是＋＝1， 只需证c(b＋c)＋a(a＋b)＝(a＋b)(b＋c)， 需证c2＋a2＝ac＋b2， 又ABC三内角A，B，C成等差数列，故B＝60°， 由余弦定理，得b2＝c2＋a2－2accos 60°， 即b2＝c2＋a2－ac，故c2＋a2＝ac＋b2成立． 于是原等式成立． [刷好题] 已知a0，求证： －≥a＋－2. 证明：要证 －≥a＋－2， 只要证 ＋2≥a＋＋. a0，故只要证2≥2， 即a2＋＋4＋4≥a2＋2＋＋2＋2， 从而只要证2≥， 只要证4≥2，即a2＋≥2， 而上述不等式显然成立，故原不等式成立． 综合法的应用 [明技法] 综合法证题的思路 [提能力] 【典例】 在ABC中，角A，B，C的对边分别为a，b，c，已知sin Asin B＋sin Bsi