题目内容
设函数F(x)在区间D上的导函数为F1(x),F1(x)在区间D上的导函数为F2(x),如果当x∈D时,F2(x)≥0,则称F(x)在区间D上是下凸函数.已知e是自然对数的底数,f(x)=ex-ax3+3x-6.
(1)若f(x)在[0,+∞)上是下凸函数,求a的取值范围;
(2)设M(x)=f(x)+f(-x)+12,n是正整数,求证:M(1)M(2)…M(n)>
.
(1)若f(x)在[0,+∞)上是下凸函数,求a的取值范围;
(2)设M(x)=f(x)+f(-x)+12,n是正整数,求证:M(1)M(2)…M(n)>
| (en+1+2)n |
考点:利用导数研究函数的单调性
专题:导数的综合应用
分析:(1)由题意得:[f′(x)]′=ex-6ax在[0,+∞)上是下凸函数,即y=ex-6ax≥0,对x∈(0,+∞)恒成立,综合可得a的范围.
(2)由于M(x)=f(x)+f(-x)+12=ex+e-x>0,然后由lnM(x1)+lnM(x2)>ln(ex1+x2+2),
分别得到lnM(1)+lnM(n)>ln(en+1+2),lnM(2)+lnM(n-1)>ln(en+1+2),…,lnM(n)+lnM(1)>ln(en+1+2),累加后即可证得结论.
(2)由于M(x)=f(x)+f(-x)+12=ex+e-x>0,然后由lnM(x1)+lnM(x2)>ln(ex1+x2+2),
分别得到lnM(1)+lnM(n)>ln(en+1+2),lnM(2)+lnM(n-1)>ln(en+1+2),…,lnM(n)+lnM(1)>ln(en+1+2),累加后即可证得结论.
解答:
解:(1)∵f(x)=ex-ax3+3x-6,∴f′(x)=ex-3ax2+3,∴[f′(x)]′=ex-6ax,
由于f(x)在[0,+∞)上是下凸函数,
则y=ex-6ax≥0,对x∈(0,+∞)恒成立,
即a≤
在x∈(0,+∞)上恒成立,故a<0.
(2)∵M(x)=f(x)+f(-x)+12=ex+e-x>0,
∴lnM(x1)+lnM(x2)=ln[(ex1+e-x1)(ex2+e-x2)],
又(ex1+e-x1)(ex2+e-x2)
=ex1+x2+e-(x1+x2)+ex1-x2+e-x1+x2
>ex1+x2+e-(x1+x2)+2
>ex1+x2+2,
∴lnM(1)+lnM(n)>ln(en+1+2),
lnM(2)+lnM(n-1)>ln(en+1+2),
…
lnM(n)+lnM(1)>ln(en+1+2).
由此得:2[M(1)+M(2)+…+M(n)]
=[M(1)+M(n)]+[M(2)+M(n-1)]+…+[M(n)+M(1)]>nln(en+1+2),
则lnM(1)+lnM(2)+…+lnM(n)>
ln(en+1+2)(n∈N*)成立,
故M(1)M(2)…M(n)>
.
由于f(x)在[0,+∞)上是下凸函数,
则y=ex-6ax≥0,对x∈(0,+∞)恒成立,
即a≤
| ex |
| 6x |
(2)∵M(x)=f(x)+f(-x)+12=ex+e-x>0,
∴lnM(x1)+lnM(x2)=ln[(ex1+e-x1)(ex2+e-x2)],
又(ex1+e-x1)(ex2+e-x2)
=ex1+x2+e-(x1+x2)+ex1-x2+e-x1+x2
>ex1+x2+e-(x1+x2)+2
>ex1+x2+2,
∴lnM(1)+lnM(n)>ln(en+1+2),
lnM(2)+lnM(n-1)>ln(en+1+2),
…
lnM(n)+lnM(1)>ln(en+1+2).
由此得:2[M(1)+M(2)+…+M(n)]
=[M(1)+M(n)]+[M(2)+M(n-1)]+…+[M(n)+M(1)]>nln(en+1+2),
则lnM(1)+lnM(2)+…+lnM(n)>
| n |
| 2 |
故M(1)M(2)…M(n)>
| (en+1+2)n |
点评:本题考查了利用导数研究函数的最值,考查了函数恒成立问题,训练了数学转化思想方法,考查了累加法求数列的和,属高考试卷中的压轴题.
练习册系列答案
相关题目
已知双曲线
-
=1(a>0)的一条渐近线与圆(x-3)2+y2=8相交于M,N两点且|MN|=4,则此双曲线的离心率为( )
| x2 |
| a2 |
| y2 |
| 4 |
A、
| ||||
B、
| ||||
C、
| ||||
| D、5 |
函数f(x)=
的图象在点(1,-2)处的切线方程为( )
| lnx-2x |
| x |
| A、2x-y-4=0 |
| B、2x+y=0 |
| C、x-y-3=0 |
| D、x+y+1=0 |
已知f(x)为R上的可导函数,且?x∈R,均有f(x)>f′(x),则以下判断正确的是( )
| A、f(2013)>e2013f(0) |
| B、f(2013)<e2013f(0) |
| C、f(2013)=e2013f(0) |
| D、f(2013)与e2013f(0)大小无法确定 |