简单导数题

已知 $f(x)=x-x\ln x$ ， 且存在正数 $x_1,x_2$ 使得 $f(x_1)=f(x_2)$ ， 求证: $x_1+x_2<e$ .

解：

令 $F(x)=f(x)-f(e-x)$ ， $x\in (0,1)$

则 $F^{\prime }(x)=f^{\prime }(x)+f^{\prime }(e-x)=\ln x(e-x)$

由 $x\in (0,1)$ $\Rightarrow \exists x_0\in (\frac{1}{2},1)$ 使得 $ x_0(e-x_0)=0$

则 $F^{\prime }(x)>0$ 在 $x\in (0,x_0)$ 上恒成立 ， $F^{\prime }(x)<0$ 在 $x\in (x_0,+\infty )$ 上恒成立

即 $F(x)$ 在 $(0,x_0)$ 上单调递增， $(x_0,1)$ 上单调递减

下证 $\forall x\in (0,x_0),F(x)>0$

$\because F(x)=f(x)-f(e-x)=2x+(e-x)\ln (e-x)-x\ln x-e$ ， $\forall x\in (0,+\infty )$ ， $\ln x>1-\frac{1}{x}$

$\therefore F(x)>2x+e-x-1-x+1-e=0$ ，得证

下证 $\forall x\in (x_0,1)$ ， $F(x>0)$

$\because F(x)>F(1)=0$

$\therefore F(x)>0$ ， $\forall x\in (x_0,1)$

$\therefore f(x_2)=f(x_1)>f(e-x_1)$

$\because f(x)$ 在 $(1,+\infty )$ 上单调递减

$\therefore x_2<e-x_1$ $\Rightarrow$ $x_1+x_2<e$ ， 证毕