高考中利用导数证明不等式的一些策略.pdfVIP

高考中利用导数证明不等式的一些策略--第1页

高考中利用导数证明不等式的一些策略

1与lnx分开来考虑，即将f(x)分解为两个函数的和：

f(x)=lnx+2ex-1.然后分别对这两个函数求导，得到

f(x)=1/x+2ex0，说明f(x)在定义域上单调递增，且f(0)=1，

因此f(x)1成立。

评注：对于这种需要分离成两个函数的不等式，可以先观

察不等式的特征，尝试将其分解为两个函数的和或差，然后分

别对这些函数求导来证明不等式。

类型三、需要构造辅助函数的不等式

1.利用辅助函数构造上下界

例3（2016年全国卷1第23题改编）已知a,b,c0，证明：

(a+b+c)(1/a+1/b+1/c)≥9

分析：将(a+b+c)(1/a+1/b+1/c)展开，得到

a/b+b/a+a/c+c/a+b/c+c/b+3≥9.观察不等式中的每一项，可以发

现这些项都可以表示为三个数的和，因此可以构造辅助函数

f(x)=ln(x)+1/x-1，然后对f(x)求导，得到f(x)=1/x^2-1，f(x)0

当且仅当x1，因此f(x)在(0,1)和(1,∞)上分别是减函数和增函

高考中利用导数证明不等式的一些策略--第1页

高考中利用导数证明不等式的一些策略--第2页

数。接着，将a/b+b/a+a/c+c/a+b/c+c/b分别表示为

f(ab)+f(ac)+f(bc)+3，然后应用均值不等式，得到

f(ab)+f(ac)+f(bc)≥3f((abc)^(2/3))=3ln(abc)+3/(abc)^(2/3)-3.将此

式代入原不等式中，得到3ln(abc)+3/(abc)^(2/3)≥6，即

ln(abc)+(1/3)/(abc)^(2/3)≥2/3.再次利用辅助函数，构造

g(x)=lnx+(1/3)x^(-2/3)-2/3，对其求导得到g(x)=1/x-(2/9)x^(-

5/3)，g(x)0当且仅当x9/4，因此g(x)在(0,9/4)和(9/4,∞)上分

别是减函数和增函数。由于a,b,c0，因此abc0，因此可将不

等式中的abc替换为x，得到g(abc)≥0，即

ln(abc)+(1/3)/(abc)^(2/3)-2/3≥0，即ln(abc)+(1/3)/(abc)^(2/3)≥2/3，

因此原不等式成立。

评注：对于这种需要构造辅助函数的不等式，可以先观察

不等式的特征，尝试构造一个辅助函数，通过对辅助函数求导

来证明不等式。

类型四、需要利用函数的性质的不等式

1.利用函数的对称性

例4（2015年全国卷2第23题改编）已知a,b,c0，证明：

(a+b+c)(1/a+1/b+1/c)≥(1+√3)^2

高考中利用导数证明不等式的一些策略--第2页

高考中利用导数证明不等式的一些策略--第3页

分析：观察不等式，可以发现它具有对称性，即a,b,c可

以任意交换。因此，可以将a+b+c固定为某个常数k，然后利

用均值不等式，得到(1/a+1/b+1/c)≥3/(a+b+c)，因此只需要证

明k/(abc)≥(1+√3)^2/3，即k^3≥27abc(1+√3)^2.由于k固定，因

此这是一个关于abc的不等式，可以将其转化为一个只关于一

个变量的不等式，例如将abc替换为x，得到

k^3≥27x(1+√3)^2.然后构造函数f(x)=k^3-27x(1+√3)^2，对其求

导，得到f(x)=-54(1+√3)^20，因此f(x)在定义域上是单调递

减的，且f(abc)=0，因此原不等式成立。