[新步步高]2017版高考数学（理）人教A版（全国）一轮复习 第13章 推理与证明、算法、复数 13.2 文档.docVIP

1．直接证明 (1)综合法 ①定义：利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法． ②框图表示：―→―→―→…―→ (其中P表示已知条件、已有的定义、公理、定理等，Q表示所要证明的结论)． ③思维过程：由因导果． (2)分析法 ①定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法． ②框图表示：―→―→―→…―→(其中Q表示要证明的结论)． ③思维过程：执果索因． 2．间接证明 反证法：假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法． 【思考辨析】 判断下面结论是否正确(请在括号中打“√”或“×”) (1)综合法是直接证明，分析法是间接证明．(　×　) (2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　×　) (3)用反证法证明结论“ab”时，应假设“ab”．(　×　) (4)反证法是指将结论和条件同时否定，推出矛盾．(　×　) (5)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程．(　√　) (6)证明不等式＋＋最合适的方法是分析法．(　√　) 1．若a，b，c为实数，且ab0，则下列命题正确的是(　　) A．ac2bc2 B．a2abb2 C. 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≤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. 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　对于定义域为[0,1]的函数f(x)，如果同时满足： ①对任意的x∈[0,1]，总有f(x)≥0； ②f(1)＝1； ③若x1≥0，x2≥0，x1＋x2≤1，都有f(x1＋x2)≥f(x1)＋f(x2)成立，则称函数f(x)为理想函数． (1)若函数f(x)为理想函数，证明：f(0)＝0； (2)试判断函数f(x)＝2x(x∈[0,1])，f(x)＝x2(x∈[0,1])，f(x)＝(x∈[0,1])是不是理想函数． (1)证明　取x1＝x2＝0，则x1＋x2＝0≤1， ∴f(0＋0)≥f(0)＋f(0)，∴f(0)≤0. 又对任意的x∈[0,1]，总有f(x)≥0， ∴f(0)≥0.于是f(0)＝0. (2)解　对于f(x)＝2x，x∈[0,1]，f(1)＝2不满足新定义中的条件②， ∴f(x)＝2x，(x∈[0,1])不是理想函数． 对于f(x)＝x2，x∈[0,1]，显然f(x)≥0，且f(1)＝1. 任意的x1，x2∈[0,1]，x1＋x2≤1， f(x1＋x2)－f(x1)－f(x2) ＝(x1＋x2)2－x－x＝2x1x2≥0， 即f(x1)＋f(x2)≤f(x1＋x2)． ∴f(x)＝x2(x∈[0,1])是理想函数． 对于f(x)＝，x∈[0,1]，显然满足条件①②. 对任意的x1，x2∈[0,1]，x1＋x2