已知函数 f(x)=atanx−ex−2a(a∈R).
1、当 a=1 时,求函数 f(x) 的图象在 x=0 处的切线方程.
2、求证:e−π12+eπ12<2√33+1.
解析
1、当 a=1 时,函数 f(x) 的导函数f′(x)=1cos2x−ex,于是在 x=0 处的切线方程为 y=−3.
2、在 x∈(0,π4) 上,考虑函数 g(x)=(1+tanx)e−x,则其导函数g′(x)=tanx(tanx−1)ex,因此可得在该区间上 ex−1>tanx,于是e−π12<1tanπ12+1=3+√36.而在 x∈(0,π4) 上,有11−tanx>11−x>ex,于是eπ12<11−tanπ12=√3+12,因此e−π12+eπ12<3+√36+√3+12=2√33+1,命题得证.
备注 事实上,由 eπ12<√3+12,结合 y=x+1x 的单调性,可得eπ12+e−π12<√3+12+2√3+1<3√3−12<2√33+1.