2019版高考数学大一轮复习江苏专版文档：第十三章 推理与证明、算法、复数13.2 .docxVIP

§13.2　直接证明与间接证明 考情考向分析　本节主要内容是直接证明的方法——综合法和分析法，间接证明的方法——反证法，高考中一般不单独命题，会与其他知识综合在一起考查． 1．直接证明 (1)综合法 ①定义：从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法常称为综合法． ②框图表示：eq \x(已知条件)?…?…?eq \x(结论) ③思维过程：由因导果． (2)分析法 ①定义：从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止．这种证明方法常称为分析法． ②框图表示：eq \x(结论)?…?…?eq \x(已知条件) ③思维过程：执果索因． 2．间接证明 反证法：要从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)． 这个过程包括下面3个步骤： (1)反设——假设命题的结论不成立，即假定原结论的反面为真； (2)归谬——从反设和已知条件出发，经过一系列正确的逻辑推理，得出矛盾结果； (3)存真——由矛盾结果，断定反设不真，从而肯定原结论成立． 题组一　思考辨析 1．判断下列结论是否正确(请在括号中打“√”或“×”) (1)综合法是直接证明，分析法是间接证明．(　×　) (2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　×　) (3)用反证法证明结论“ab”时，应假设“ab”．(　×　) (4)反证法是指将结论和条件同时否定，推出矛盾．(　×　) (5)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程． (　√　) (6)证明不等式eq \r(2)＋eq \r(7)eq \r(3)＋eq \r(6)最合适的方法是分析法．(　√　) 题组二　教材改编 2．[P87习题T2]若P＝eq \r(a＋6)＋eq \r(a＋7)，Q＝eq \r(a＋8)＋eq \r(a＋5)(a≥0)，则P，Q的大小关系是________． 答案　PQ 解析　P2＝2a＋13＋2eq \r(a2＋13a＋42)， Q2＝2a＋13＋2eq \r(a2＋13a＋40)， ∴P2Q2，又∵P0，Q0，∴PQ. 3．[P87习题T7]设实数a，b，c成等比数列，非零实数x，y分别为a与b，b与c的等差中项，则eq \f(a,x)＋eq \f(c,y)＝________. 答案　2 解析　由题意，得x＝eq \f(a＋b,2)，y＝eq \f(b＋c,2)，b2＝ac， ∴xy＝eq \f(?a＋b??b＋c?,4)， eq \f(a,x)＋eq \f(c,y)＝eq \f(ay＋cx,xy)＝eq \f(a·\f(b＋c,2)＋c·\f(a＋b,2),xy) ＝eq \f(a?b＋c?＋c?a＋b?,2xy)＝eq \f(ab＋bc＋2ac,2xy) ＝eq \f(ab＋bc＋ac＋b2,2xy)＝eq \f(?a＋b??b＋c?,2xy) ＝eq \f(?a＋b??b＋c?,2×\f(?a＋b??b＋c?,4))＝2. 题组三　易错自纠 4．若a，b，c为实数，且ab0，则下列命题正确的是________．(填序号) ①ac2bc2；②a2abb2； ③eq \f(1,a)eq \f(1,b)；④eq \f(b,a)eq \f(a,b). 答案　② 解析　a2－ab＝a(a－b)， ∵ab0，∴a－b0，∴a2－ab0， ∴a2ab.(*1) 又ab－b2＝b(a－b)0，∴abb2，(*2) 由(*1)(*2)得a2abb2. 5．用反证法证明命题：“设a，b为实数，则方程x3＋ax＋b＝0至少有一个实根”时，要作的假设是________________． 答案　方程x3＋ax＋b＝0没有实根 解析　方程x3＋ax＋b＝0至少有一个实根的反面是方程x3＋ax＋b＝0没有实根． 6．如果△A1B1C1的三个内角的余弦值分别等于△A2B2C2的三个内角的正弦值，则△A2B2C2是__________三角形． 答案　钝角 解析　由条件知，△A1B1C1的三个内角的余弦值均大于0，则△A1B1C1是锐角三角形，假设△A2B2C2是锐角三角形． 由eq \b\lc\{\rc\ (\a\vs4\al\co1(sin A2＝cos A1＝sin\b\lc\(\rc\)(\a\vs4\al\co1(\f(π,2)－A1))，,sin B2＝cos B1＝sin\b\lc\(\rc\)(\a\vs4\al\co1(\f(π,2)－B1)).,sin C2＝cos C1＝sin\b\lc\(\rc\)(\a\vs4\al\co1(\f(π,2)－C1))，)) 得eq \b\lc\{\rc\ (\a\vs