|
kuing
Posted 2018-12-7 14:26
分参 + 拉格朗 + 极限,自然且无技巧:
令 `g(x)=xe^{-x}`,则 `f(x)=g(x)-g(2)-a(x-2)`,所以 `x=2` 必为 `f(x)` 的零点,当 `x\ne2` 时,设\[k(x)=\frac{g(x)-g(2)}{x-2},\]即需要 `k(x)=a` 有两解。
先考查 `k(x)` 的增减,求导并利用拉格朗日中值定理得
\begin{align*}
k'(x)&=\frac{(x-2)g'(x)-\bigl(g(x)-g(2)\bigr)}{(x-2)^2}\\
&=\frac1{x-2}\left(g'(x)-\frac{g(x)-g(2)}{x-2}\right)\\
&=\frac1{x-2}\bigl(g'(x)-g'(\xi_1)\bigr)\\
&=\frac{x-\xi_1}{x-2}g''(\xi_2),
\end{align*}
其中,当 `x<2` 时 `x<\xi_2<\xi_1<2`,当 `x>2` 时 `2<\xi_1<\xi_2<x`,而经计算知 `g''(x)=(x-2)e^{-x}`,所以当 `x<2` 时 `k'(x)<0`,当 `x>2` 时 `k'(x)>0`。
再考查 `k(x)` 在这两个区间内的值域,由于单调,只需求端点处的极限,显然有
\begin{align*}
\lim_{x\to2}k(x)&=g'(2)=-e^{-2},\\
\lim_{x\to-\infty}k(x)&=\lim_{x\to-\infty}\frac{e^{-x}-g(2)/x}{1-2/x}=+\infty,\\
\lim_{x\to+\infty}k(x)&=\lim_{x\to+\infty}\frac{e^{-x}-g(2)/x}{1-2/x}=0.
\end{align*}
综上,即:`k(x)` 在 `(-\infty,2)` 内递减且值域为 `(-e^{-2},+\infty)`,在 `(2,+\infty)` 内递增且值域为 `(-e^{-2},0)`,所以 `k(x)=a` 有两解等价于 `a\in(-e^{-2},0)`。 |
|