原来直接就用回8楼那个构造就可以了,下面来续 8#:
当 $a=\veps$, $b=-1+3\veps$ 时,$f(x)=4\veps x^3+(2-6\veps)x+2\veps-1$,我们将证明此 $f(x)$ 对于所有 $\veps\in(0,1]$ 都是满足题意的。
(1)当 $0<\veps<1/3$ 时 8# 上已经证出是满足题意的;
(2)当 $1/3\leqslant\veps\leqslant1$ 时,求导得 $f'(x)=12\veps x^2+2-6\veps$,由 $f'(0)=2-6\veps\leqslant0<f'(1)=2+6\veps$ 知存在 $x_0\in[0,1]$ 使得当 $x=x_0$ 时 $f(x)$ 在 $[0,1]$ 上取最小值,此时 $f'(x_0)=0$,即 $6\veps x_0^2+1-3\veps=0$,于是
\[f(x_0)+1=2x_0+2\veps(2x_0^3-3x_0+1)=2x_0+\frac2{3(1-2x_0^2)}(2x_0^3-3x_0+1) =\frac{2(1-4x_0^3)}{3(1-2x_0^2)},\]
又由 $6\veps x_0^2+1-3\veps=0$ 及 $\veps\leqslant 1$ 得到
\[x_0=\sqrt{\frac12-\frac1{6\veps}}\leqslant\sqrt{\frac12-\frac1{6}}=\frac1{\sqrt3}
\riff x_0^3\leqslant \frac1{3\sqrt3}<\frac14,\]
这样我们就得到了 $f(x_0)>-1$,即此时 $f(x)$ 在 $[0,1]$ 上的最小值大于 $-1$。
而由导数的表达式知最大值必在端点处取得,由 $\veps\leqslant 1$ 同样有 $f(0)=-1+2\veps\leqslant 1$ 且 $f(1)=1$,所以此时的 $f(x)$ 都满足题意。
综上所述,当 $\veps$ 取遍 $(0,1]$ 时,$a+b=-1+4\veps$ 取遍 $(-1,3]$。
这样,综合 8# 以及本楼的所有内容,我们可以肯定地说:$a+b$ 的取值范围就是 $(-1,3]$。
|