2014届高考数学（苏教版）一轮复习题及详解：第10章算法初步、推理与证明10．4直接证明与间接证明.docVIP

51　直接证明与间接证明 一、填空题 1．已知a＞0，b＞0，则x＝与y＝的大小关系为__________． 2． (201江苏南京月考)用反证法证明命题“如果a，bN，a·b可被5整除，那么a，b至少有一个能被5整除”时，应假设的内容是__________． 3．已知函数f(x)＝x，a，bR＋，A＝f，B＝f()，C＝f，则A，B，C的大小关系为__________． 4．若方程ln x＋2x－10＝0的解为x0，则大于x0的最小整数是__________． 5．设a＝＋2，b＝2＋，则a，b的大小关系为__________． 6．若P＝＋，Q＝＋(a≥0)，则P，Q的大小关系是__________． 7．设a，b，c，d，m，n都是正数，P＝＋，Q＝·，则P__________Q．(填“≥”或“≤”) 8．用反证法证明“若a＞0，b＞0，a＋b＝1，则＋≥4”时，假设的内容为__________． 9．设Sn＝＋＋＋…＋(nN*)，且Sn＋1·Sn＋2＝，则n的值是__________． 二、解答题 10．已知函数f(x)＝log2(x＋2)，a，b，c是两两不相等的正数，且a，b，c成等比数列，试判断f(a)＋f(c)与2f(b)的大小关系，并证明你的结论． 11．(201江苏无锡)已知下列三个方程：x2＋4ax－4a＋3＝0，x2＋(a－1)x＋a2＝0，x2＋2ax－2a＝0，若至少有一个方程有实根，求实数a的取值范围．12．设函数f(x)＝x2＋bln(x＋1)． (1)若x＝1时，函数f(x)取最小值，求实数b的值； (2)若函数f(x)在定义域上是单调函数，求实数b的取值范围； (3)若b＝－1，证明对任意正整数n，不等式f＜1＋＋＋…＋都成立． 参考答案 一、填空题 1．x＜y　解析：x2＝2＝≤＝，所以x＝≤＜＝y. 2．a，b都不能被5整除 3．A≤B≤C　解析：≥≥，又f(x)＝x在R上是单调减函数，f≤f()≤f. 4．5　解析：设f(x)＝ln x＋2x－10，则f(4)＝ln 4－2＜0，f(5)＝ln 5＞0，所以4＜x0＜5.所以大于x0的最小整数是5. 5．a＜b　解析：a，b分别平方，比较即得． 6．P＜Q　解析：P＞0，Q＞0， 要证P＜Q，只需证P2＜Q2， 即证2a＋7＋2＜2a＋7＋2，只要证a2＋7a＜a2＋7a＋12， 即证0＜12. 0＜12显然成立，P＜Q成立． 7．≤　解析：＋≥2， ＋＋ab＋cd≥2＋ab＋cd，即Q2≥P2. P＞0，Q＞0，Q≥P. 8.＋＜4 9．5　解析：由＝－得到Sn＝＋＋ ＋…＋＝，Sn＋1·Sn＋2＝·＝＝，解得n＝5. 二、解答题 10．解：f(a)＋f(c)＞2f(b)． 证明如下：因为a，b，c是不相等的正数，所以a＋c＞2. 因为b2＝ac，所以ac＋2(a＋c)＞b2＋4b， 即ac＋2(a＋c)＋4＞b2＋4b＋4，从而(a＋2)(c＋2)＞(b＋2)2. 因为f(x)＝log2x是增函数， 所以log2(a＋2)(c＋2)＞log2(b＋2)2， 即log2(a＋2)＋log2(c＋2)＞2log2(b＋2)． 故f(a)＋f(c)＞2f(b)． 11．解：假设三个方程均无实根，则有 由(4a)2－4(－4a＋3)＜0， 得4a2＋4a－3＜0，即－＜a＜. 由(a－1)2－4a2＜0， 得(a＋1)(3a－1)＞0， 即a＜－1或a＞. 由(2a)2－4(－2a)＜0， 得a(a＋2)＜0，即－2＜a＜0. 以上三部分取交集得M＝，则三个方程至少有一个方程有实根的实数a的取值范围为RM，即. 12．解：(1)由x＋1＞0得x＞－1，f(x)的定义域为(－1，＋∞)． x (－1，＋∞)，都有f(x)≥f(1)，f(1)是函数f(x)的最小值， 故有f′(1)＝0. 又f′(x)＝2x＋，2＋＝0， 解得b＝－4. 经检验，b＝－4符合题意． (2)f′(x)＝2x＋＝，又函数f(x)在定义域上是单调函数， f′(x)≥0或f′(x)≤0在(－1，＋∞)上恒成立． 若f′(x)≥0，x＋1＞0， 2x2＋2x＋b≥0在(－1，＋∞)上恒成立， 即b≥－2x2－2x＝－22＋恒成立，由此得b≥； 若f′(x)≤0，x＋1＞0，2x2＋2x＋b≤0即b≤－(2x2＋2x)恒成立． －(2x2＋2x)在(－1，＋∞)上没有最小值，不存在实数b使f′(x)≤0恒成立． 综上所述，实数b的取值范围是. (3)证明：当b＝－1时，函数f(x)＝x2－ln(x＋1)， 令函数h(x)＝f(x)－x3＝x2－ln(x＋1)－x3， 则h′(x)＝－3x2＋2x－ ＝－， 当x[0，＋∞)时，h′(x)＜0，函数h(x)在[0，＋∞)上