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

（I）先求函数的定义域，讨论k是奇数还是偶数，然后求导数fˊ（x），在函数的定义域内解不等式fˊ（x）＞0，即可求出函数f（x）的单调递增区间；
（II）欲使函数在（0，1]上是增函数，只需在（0，1]上恒成立，然后利用参数分离法将b分离，求出不等式另一侧的最大值，欲使当k为偶数时，恒有f（x1）≥g（x2）成立，只需f（x1）min≥g（x2）max即可求出b的范围；
（III）先求出函数h（x） 的解析式，要证[h（x）]n+2≥h（xn）+2n，即证，然后利用二项式定理进行展开，即证Cn1xn-2+Cn2xn-4++Cnn-1x2-n≥2n-2，设Sn=Cn1xn-2+Cn2xn-4++Cnn-1x2-n，利用倒序相加法即可证得Sn≥2n-2，所以原不等式得证．
【解析】
由已知，得函数f（x）的定义域为（0，+∞）．（1分）
（Ⅰ）当k为偶数时，f（x）=x2-2lnx，则，
又x＞0，f'（x）≥0，即x2-1≥0，得x≥1，
所以此时函数f（x）的单调递增区间为[1，+∞）．
当k为奇数时，f（x）=x2+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]内的任意实数x1，x2，
当k为偶数时，恒有f（x1）≥g（x2）成立，
∴1≥g（x）max=g（1），即1≥2b-1，所以b≤1，②
由①②得-1≤b≤1．（8分）

（Ⅲ）由（Ⅰ）可知，，即证，（9分）
由二项式定理
=．
即证Cn1xn-2+Cn2xn-4++Cnn-1x2-n≥2n-2．（10分）
设Sn=Cn1xn-2+Cn2xn-4++Cnn-1x2-n，
则Sn=Cn1x2-n+Cn2x4-n++Cnn-1xn-2．
两式相加得2Sn=≥2（Cn1+Cn2++Cnn-1）=2（2n-2），
即Sn≥2n-2，所以原不等式得证..（12分）