2019年高考数学一轮复习（文理通用）试题：第6章+不等式推理与证明练案46+Word版含解析.docVIP

练案[46]第六讲　直接证明与间接证明 A组基础巩固 一、选择题 1．(2014·山东)用反证法证明命题“设a，b为实数，则方程x2＋ax＋b＝0至少有一个实根”时，要做的假设是(　A　) A．方程x2＋ax＋b＝0没有实根 B．方程x2＋ax＋b＝0至多有一个实根 C．方程x2＋ax＋b＝0至多有两个实根 D．方程x2＋ax＋b＝0恰好有两个实根 [解析]　反证法的步骤第一步是假设命题反面成立，而“至少有一个根”的否定是“没有”，故选A． 2．设t＝a＋2b，s＝a＋b2＋1，则下列关于t和s的大小关系中正确的是(　D　) A．ts　　 B．t≥s　　 C．ts　　 D．t≤s [解析]　s－t＝b2－2b＋1＝(b－1)2≥0 ，s≥t，选D项． 3．(2016·张家口模拟)分析法又称执果索因法，若用分析法证明：“设abc，且a＋b＋c＝0，求证a”索的因应是(　C　) A．a－b0　　 B．a－c0 C．(a－b)(a－c)0　　 D．(a－b)(a－c)0 [解析]　ab2－ac3a2 (a＋c)2－ac3a2 a2＋2ac＋c2－ac－3a20 －2a2＋ac＋c20 2a2－ac－c20 (a－c)(2a＋c)0(a－c)(a－b)0. 4．设a＝＋2，b＝2＋，则(　C　) A．ab　　 B．a＝b C．ab　　 D．a，b大小关系不确定 [解析]　a2＝(＋2)2＝11＋4，b2＝11＋4，，a2b2，ab. 5．设f(x)是定义在R上的奇函数，且当x≥0时，f(x)单调递减，若x1＋x20，则f(x1)＋f(x2)的值(　A　) A．恒为负值　　 B．恒等于零 C．恒为正值　　 D．无法确定正负 [解析]　由f(x)是定义在R上的奇函数，且当x≥0时，f(x)单调递减，可知f(x)是R上的单调递减函数，由x1＋x20，可知x1－x2，f(x1)f(－x2)＝－f(x2)，则f(x1)＋f(x2)0.故选A． 6．若a0，b0，且a＋b＝4，则下列不等式恒成立的是(　D　) A．　　 B．＋≤1 C．≥2　　 D．≤ [解析]　a2＋b2≥2ab，2(a2＋b2)≥(a＋b)2＝16 a2＋b2≥8，≤.故选D． 7．(2017·郑州模拟)设x0，P＝2x＋2－x，Q＝(sinx＋cosx)2，则(　A　) A．PQ　　 B．PQ　　 C．P≤Q　　 D．P≥Q [解析]　因为2x＋2－x≥2＝2(当且仅当x＝0时等号成立)，而x0，所以P2；又(sinx＋cosx)2＝1＋sin2x，而sin2x≤1，所以Q≤2.于是PQ.故选A． 8．(2017·亳州模拟)实数a，b，c满足a＋b＋c＝0，abc0，则＋＋的值(　B　) A．一定是正数　　 B．一定是负数 C．可能是0　　 D．正、负不确定 [解析]　由a＋b＋c＝0，abc0得a，b，c中必有两负一正，不妨设a0，b0，c0，且|a|c，则，从而－，又0，所以＋＋0. 9．(2017·河南新乡调研)设x，y，z0，a＝x＋，b＝y＋，c＝z＋，则a，b，c三个数(　C　) A．至少有一个不大于2　　 B．都小于2 C．至少有一个不小于2　　 D．都大于2 [解析]　假设a，b，c都小于2，则a＋b＋c6.而事实上a＋b＋c＝x＋＋y＋＋z＋≥2＋2＋2＝6(当且仅当x＝y＝z＝1时取等号)与假设矛盾，所以a，b，c中至少有一个不小于2.故选C． 二、填空题 10．下列条件：ab0，ab0，a0，b0，a0，b0，其中能使＋≥2成立的条件的序号是____. [解析]　要使＋≥2，只需0且0成立，即a，b不为0且同号即可，故都能使＋≥2成立． 11．(2016·兰州调研)已知a，b是不相等的正数，x＝，y＝，则x，y的大小关系是__yx__. [解析]　由题意知x0，y0且a－b≠0 又y2－x2＝a＋b－＝＝0. y2x2，即yx. 12．(2017·太原模拟)用反证法证明“若x2－1＝0，则x＝－1或x＝1”时，应假设__x≠－1且x≠1__. [解析]　“x＝－1或x＝1”的否定是“x≠－1且x≠1”． 三、解答题 13．(2017·唐山模拟)已知a0，－1，求证：. [解析]　由已知－1及a0可知0b1，要证，只需证·1， 只需证1＋a－b－ab1， 只需证a－b－ab0，即1， 即－1，这是已知条件，所以原不等式得证． B组能力提升 1．已知函数f(x)＝()x，a，b是正实数，A＝f()，B＝f()，C＝f()，则(　A　) A．A≤B≤C　　 B．A≤C≤B C．B≤C≤A　　 D．C≤B≤A [解析]　≥≥，又f(x)＝()x在R上是减函数，f()≤f()≤f()，即A≤B≤C.故选A． 2．(2016·皖北模拟)若P＝＋，Q＝＋(a≥0)，