Question

设函数f（x）=x²-2（-1）^klnx（k∈N₊）．
（Ⅰ）求函数f（x）的单调递增区间；
（Ⅱ）设函数在（0，1]上是增函数，且对于（0，1]内的任意实数x₁，x₂当k为偶数时，恒有f（x₁）≥g（x₂）成立，求实数b的取值范围；
（Ⅲ）当k是偶数时，函数，求证：[h（x）]ⁿ+2≥h（xⁿ）+2ⁿ（n∈N₊）．

Answer 1

【答案】分析：（I）先求函数的定义域，讨论k是奇数还是偶数，然后求导数fˊ（x），在函数的定义域内解不等式fˊ（x）＞0，即可求出函数f（x）的单调递增区间；
（II）欲使函数在（0，1]上是增函数，只需在（0，1]上恒成立，然后利用参数分离法将b分离，求出不等式另一侧的最大值，欲使当k为偶数时，恒有f（x₁）≥g（x₂）成立，只需f（x₁）min≥g（x₂）max即可求出b的范围；
（III）先求出函数h（x） 的解析式，要证[h（x）]ⁿ+2≥h（xⁿ）+2ⁿ，即证，然后利用二项式定理进行展开，即证C_n¹x^n-2+C_n²x^n-4++C_n^n-1x^2-n≥2ⁿ-2，设S_n=C_n¹x^n-2+C_n²x^n-4++C_n^n-1x^2-n，利用倒序相加法即可证得Sn≥2ⁿ-2，所以原不等式得证．
解答：解：由已知，得函数f（x）的定义域为（0，+∞）．（1分）
（Ⅰ）当k为偶数时，f（x）=x²-2lnx，则，
又x＞0，f'（x）≥0，即x²-1≥0，得x≥1，
所以此时函数f（x）的单调递增区间为[1，+∞）．
当k为奇数时，f（x）=x²+2lnx，
则在定义域内恒成立，
所以此时函数f（x）的单调增区间为（0，+∞）．（4分）

（Ⅱ）∵函数在（0，1]上是增函数
∴在（0，1]上恒成立，
即在（0，1]上恒成立，
即，
∴b≥-1．①（6分）
由（Ⅰ）可知当k为偶数时，f'（x）≤0得0＜x≤1，即f（x）在（0，1]为减函数，
∴f（x）_min=f（1）=1．
又∵对于（0，1]内的任意实数x₁，x₂，
当k为偶数时，恒有f（x₁）≥g（x₂）成立，
∴1≥g（x）_max=g（1），即1≥2b-1，所以b≤1，②
由①②得-1≤b≤1．（8分）

（Ⅲ）由（Ⅰ）可知，，即证，（9分）
由二项式定理
=．
即证C_n¹x^n-2+C_n²x^n-4++C_n^n-1x^2-n≥2ⁿ-2．（10分）
设S_n=C_n¹x^n-2+C_n²x^n-4++C_n^n-1x^2-n，
则S_n=C_n¹x^2-n+C_n²x^4-n++C_n^n-1x^n-2．
两式相加得2S_n=≥2（C_n¹+C_n²++C_n^n-1）=2（2ⁿ-2），
即Sn≥2ⁿ-2，所以原不等式得证..（12分）
点评：本题主要考查了二项式定理的应用，以及利用导数研究函数的单调性等基础知识，考查计算能力和分析问题的能力，转化的数学思想，属于中档题．