Question

设函数f（x）=x²-2（-1）^klnx（k∈N^*），f^′（x）表示f（x）导函数．
（I）求函数f（x）的单调递增区间；
（Ⅱ）当k为偶数时，数列{a_n}满足a₁=1，．证明：数列{}中不存在成等差数列的三项；
（Ⅲ）当k为奇数时，设，数列{b_n}的前n项和为S_n，证明不等式?对一切正整数n均成立，并比较S₂₀₁₂-1与ln2012的大小．

Answer 1

解：（I）函数f（x）的定义域为（0，+∞），又f′（x）=2x-2（-1）^k =，
1°当k 为奇数时，f′（x）=，∵x∈（0，+∞），∴f′（x）＞0恒成立；
2°当k 为偶数时，f′（x）=，∵x+1＞0，∴f′（x）＞0得x＞1，即f（x）的单调增区间为（1，+∞），
综上所述，当k 为奇数时，f（x）的单调增区间为（0，+∞），当k 为偶数时，即f（x）的单调增区间为（1，+∞），
（Ⅱ）当k 为偶数时，由（1）知f′（x）=2x-，∴f′（a_n）=2a_n-，
由条件得：2（a_n²-1）=a _n+1 ²-3，故有：a_n+1 ²+1=2（a_n ²+1），
∴{a_n ²+1}是一个公比为2的等比数列，∴a_n²=2ⁿ-1，
假设数列{a_n²}中的存在三项a_r ²，s ²，a_t ²，能构成等差数列
不妨设r＜s＜t，则2a_s ²=a _r ²+a_t ²，
即2（2^s-1）=2^r-1+2^t-1，∴2 ^s-r+1=1+2 ^t-r，
又s-r+1＞0，t-r＞0，∴2 ^s-r+1为偶数，1+2 ^t-r为奇数，故假设不成立，
因此，数列{a_n²}中的任意三项不能构成等差数列；
（Ⅲ） 当k为奇数时，f′（x）=2（x+），
∴b_n=f′（n）-n=，S_n=1+++…+
要证（1+b_n）＞e，即证（1+）ⁿ⁺¹＞e，两边取对数，
即证ln（1+）＞（10分）
设1+=t，则n=，
lnt＞1-（t＞1），构造函数g（t）=lnt+-1，
∵x＞1，∴g′（t）=＞0
∴g（t）在（1，+∞）上是增函数，g（t）＞g（1）＞0
即lnt＞1-，∴（1+b_n）＞e，
S₂₀₁₂-1=（1+++…+）-1=++…+，
∵ln（1+）＞，∴++…+＜ln2+ln（1+）+…+ln（1+）=ln2+ln+…+ln
=ln（2××…×）=ln2012，
∴++…+＜ln2012，
分析：（I）先求函数f（x）的导数，f′（x），再对k进行奇偶数讨论：1°当k 为奇数时；2°当k 为偶数时；分别得出导数值为正或负时的x的取值集合，最后综合即可；
（II）当k 为偶数时，由（1）知f′（x），由条件得{a_n ²+1}是一个公比为2的等比数列，从而得到a_n²=2ⁿ-1，最后利用反证法进行证明即可；
（Ⅲ） 当k为奇数时，f′（x）=2（x+），要证（1+b_n）＞e，即证（1+）ⁿ⁺¹＞e，两边取对数，即证ln（1+）＞，设1+=t，构造函数g（t）=lnt+-1，利用导数工具研究其单调性即可证得lnt＞1-，最后利用累乘法即可证出S₂₀₁₂-1＜ln2012．
点评：本小题主要考查等差关系的确定、利用导数研究函数的单调性、证明不等式等基础知识，考查运算求解能力，考查化归与转化思想．属于中档题．