Question

19．已知函數f（x）=e^x-kx，x∈R
（1）若k=e，求函數f（x）的極值；
（2）若對于任意x∈R，f（|x|）＞0恒成立，試求實數k的取值范圍；
（3）設函數h（x）=f（x）+f（-x），求證：$\frac{lnh（1）+lnh（2）+…+lnh（n）}{n}＞\frac{{ln（{{e^{n+1}}+2}）}}{2}$（n∈N*）

Answer 1

分析 （1）把k=1代入函數解析式，求出導函數，得到原函數的單調區間，可得原函數的極值；
（2）由f（|x|）是偶函數．把f（|x|）＞0對任意x∈R成立轉化為f（x）＞0對任意x≥0成立．求出原函數的導函數，分k≤0，k＞0兩種情況求得實數k的取值范圍；
（3）依題意得h（x）=f（x）+f（-x）=e^x+e^-x，則$\frac{lnh（1）+lnh（2）+…+lnh（n）}{n}=\frac{ln[h（1）h（2）…h（n）]}{n}$，求得h（x₁）h（x₂）＞${e}^{{x}_{1}+{x}_{2}}+2$，可得h（1）h（n）＞eⁿ⁺¹+2，h（2）h（n-1）＞eⁿ⁺¹+2，…，h（n）h（1）＞eⁿ⁺¹+2．累積后整理得答案．

解答 解：（1）由k=e，得f（x）=e^x-ex，∴f'（x）=e^x-e． 
令f'（x）=0，得e^x-e=0，解得x=1．
由f'（x）＞0，得x＞1，故f（x）的單調遞增區間是（1，+∞），
由f'（x）＜0，得x＜1，故f（x）的單調遞減區間是（-∞，1）． 
∴f（x）存在極小值f（1）=0，無極大值；
（2）由f（|-x|）=f（|x|）可知f（|x|）是偶函數．
于是f（|x|）＞0對任意x∈R成立，等價于f（x）＞0對任意x≥0成立．
由f'（x）=e^x-k，得：
①若k≤0，則f'（x）＞0恒成立，∴f（x）在[0，+∞）為單調遞增．
∴f（x）的最小值為f（0）=1＞0．∴k≤0． 
②若k＞0，令f'（x）=e^x-k=0，得x=lnk．
（i）當k∈（0，1]時，f'（x）=e^x-k＞1-k≥0（x＞0）．
此時f（x）在[0，+∞）上單調遞增．
故f（x）≥f（0）=1＞0，符合題意． 
（ii）當k∈（1，+∞）時，lnk＞0．
當x變化時f'（x），f（x）的變化情況如下表：

x	（0，lnk）	lnk	（lnk，+∞）
f'（x）	-	0	+
f（x）	單調遞減	極小值	單調遞增

由此可得，在[0，+∞）上，f（x）≥f（lnk）=k-klnk．
依題意，k-klnk＞0，又k＞1，∴1＜k＜e．
綜上所述，實數k的取值范圍是k＜e． 
證明：（3）依題意得h（x）=f（x）+f（-x）=e^x+e^-x，
∵$\frac{lnh（1）+lnh（2）+…+lnh（n）}{n}=\frac{ln[h（1）h（2）…h（n）]}{n}$，
∵h（x₁）h（x₂）=${e^{{x_1}+{x_2}}}+{e^{-（{x_1}+{x_2}）}}+{e^{{x_1}-{x_2}}}+{e^{-{x_1}+{x_2}}}＞{e^{{x_1}+{x_2}}}+{e^{-（{x_1}+{x_2}）}}+2＞{e^{{x_1}+{x_2}}}+2$，
∴h（1）h（n）＞eⁿ⁺¹+2，
h（2）h（n-1）＞eⁿ⁺¹+2
…
h（n）h（1）＞eⁿ⁺¹+2．
由此得，[h（1）h（2）…h（n）]²=[h（1）h（n）][h（2）h（n-1）]…[h（n）h（1）]＞（eⁿ⁺¹+2）ⁿ．
故$h（1）h（2）…h（n）＞{（{e^{n+1}}+2）^{\frac{n}{2}}}，n∈{{N}^*}$． 
∴$ln[h（1）h（2）…h（n）]＞ln{（{e^{n+1}}+2）^{\frac{n}{2}}}=\frac{n}{2}ln（{e^{n+1}}+2），n∈{{N}^*}$，
則$\frac{lnh（1）+lnh（2）+…+lnh（n）}{n}＞\frac{{ln（{{e^{n+1}}+2}）}}{2}$（n∈N*）．

點評 本題考查利用導數求函數的極值，考查數學轉化思想方法，訓練了利用基本不等式證明函數不等式，考查對數的運算性質，屬于有一定難度問題．