每日一题[1094]严格分界函数

若对任意 $x\in D$,总有 $f(x)<F(x)<g(x)$,则称 $F(x)$ $f(x)$ $g(x)$ $D$ 上的一个严格分界函数.

1)求证:$y={\rm e}^x$ $y=1+x$ $y=1+x+\dfrac 12x^2$ $(-1,0)$ 上的一个严格分界函数;

2)函数 $h(x)=2{\rm e}^x+\dfrac{1}{1+x}-2$,若存在最大整数 $M$,使得 $h(x)>\dfrac{M}{10}$ $x\in (-1,0)$ 恒成立,求 $M$ 的值.


分析与解 1根据题意,只需要证明\[\forall x\in (-1,0),1+x<{\rm e}^x<1+x+\dfrac 12x^2,\]也即\[\forall x\in (-1,0),(1+x)\cdot {\rm e}^{-x}<1<\left(1+x+\dfrac 12x^2\right)\cdot {\rm e}^{-x},\]注意到\[\begin{split} \left((1+x)\cdot {\rm e}^{-x}\right)'&=-x\cdot{\rm e}^{-x},\\\left(\left(1+x+\dfrac 12x^2\right)\cdot {\rm e}^{-x}\right)'&=-\dfrac 12x^2\cdot {\rm e}^{-x},\end{split}\]因此左侧函数单调递增,右侧函数单调递减,结合它们在 $x=0$ 处的函数值均为 $1$,命题得证.

 2函数 $h(x)$ 的导函数\[h'(x)=2{\rm e}^x-\dfrac{1}{(1+x)^2},\]于是 $h'(x)$ $(-1,0)$ 上单调递增,因此 $h'(x)$ $(-1,0)$ 上有唯一零点 $x_0$,因此 $h(x)$ $x=x_0$ 处取得极小值,亦为最小值 $h(x_0)$,进而\[M<10h(x_0).\]

根据第 $(1)$ 小题的结论,有\[\forall x\in (-1,0),2(1+x)+\dfrac{1}{1+x}-2<h(x)<2\left(1+x+\dfrac 12x^2\right)+\dfrac{1}{1+x}-2,\]也即\[\forall x\in (-1,0),2(1+x)+\dfrac{1}{1+x}-2<h(x)<2x+x^2+\dfrac{1}{1+x},\]于是\[\min_{-1<x<0}\left\{2(1+x)+\dfrac{1}{1+x}-2\right\}<h(x_0)<\min_{-1<x<0}\left\{2x+x^2+\dfrac{1}{1+x}\right\}.\]一方面,有\[\min_{-1<x<0}\left\{2(1+x)+\dfrac{1}{1+x}-2\right\}= 4\sqrt 2-2>0.82.\]另一方面,有\[\min_{-1<x<0}\left\{2x+x^2+\dfrac{1}{1+x}\right\}\leqslant \left(2x+x^2+\dfrac{1}{1+x}\right)\Bigg|_{x=-\frac 15}=0.89,\]于是 整数 $M$ 的值为 $8$

 事实上,函数 $y=2x+x^2+\dfrac{1}{x+1}$ 的导函数\[y'=\dfrac{2x^3+6x^2+6x+1}{(x+1)^2}=\dfrac{2(x+1)^3-1}{(x+1)^2},\]于是其在区间 $(-1,0)$ 上的极小值点为 $x=-1+2^{-\frac 13}$,对应的极小值,亦为最小值\[\min_{-1<x<0}\left\{2x+x^2+\dfrac{1}{1+x}\right\}=-1+3\cdot 2^{-\frac 23}\approx 0.8898\cdots.\]也可以通过均值不等式\[\begin{split} y=&2x+x^2+\dfrac{1}{x+1}\\=&(x+1)^2+\dfrac{1}{2(x+1)}+\dfrac{1}{2(x+1)}-1\\\geqslant &3\sqrt[3]{\dfrac 14}-1\approx 0.8898.\end{split}\]得到函数的最小值.

此条目发表在每日一题分类目录,贴了标签。将固定链接加入收藏夹。

发表回复