【导数术】12.极值点偏移与拐点偏移

12.极值点偏移&&拐点偏移

（1）对数均值不等式

均值不等式链

$a,b>0,a\ne b$,有：
$$\frac{2}{\frac{1}{a}+\frac{1}{b}}<\sqrt{ab}<\frac{b-a}{\ln b-\ln a}<\frac{a+b}{2}$$

即：调和均值<几何均值<对数均值<算术均值（两个数不等时）

$Pra.12.1$

已知$f(x)=x{e}^{-x}$，若$x_1\ne x_2,f(x_1)=f(x_2)$，证明：$x_1+x_2>2$

• $Solution$：已知条件取对数得对数均值为2，几何均值大于对数均值即可。

$Pra.12.2$

设$f(x)=e^x-ax+a$的两个零点为$x_1,x_2,x_1<x_2$，证明：$f^{\prime }(\sqrt{x_1{x}_2})<0$

• $Solution$：由题意：

$$e^{x_1}-a{x}_1+a=0,e^{x_2}-a{x}_2+a=0$$

移项可得：
$$\begin{array}{rl}& x_1=\ln \left(x_1-1\right)+\ln a\\ & x_2=\ln \left(x_2-1\right)+\ln a\end{array}$$
两式相减得：
$$x_1-x_2=\ln \left(x_1-1\right)-\ln \left(x_2-1\right)$$
即：
$$\frac{\left(x_1-1\right)-\left(x_2-1\right)}{\ln \left(x_1-1\right)-\ln \left(x_2-1\right)}=1$$
均值不等式有：
$$\sqrt{\left(x_1-1\right)\left(x_2-1\right)}<\frac{\left(x_1-1\right)-\left(x_2-1\right)}{\ln \left(x_1-1\right)-\ln \left(x_2-1\right)}=1$$
所以：
$$\ln \left(x_1-1\right)\left(x_2-1\right)<0$$
移项式子相加得：
$$x_1+x_2=2\ln a+\ln \left(x_1-1\right)\left(x_2-1\right)<2\ln a$$
所以：
$$\sqrt{x_1{x}_2}<\frac{x_1+x_2}{2}<\ln a$$
而函数 $f(x)$在$(-\infty ,\ln a)$单调递减$\Rightarrow f^{\prime }\left(\sqrt{x_1{x}_2}\right)<0$

$Pra.12.3$

$f(x)=x\ln x$与直线$y=m$交于$(x_1,y_1),(x_2,y_2)$，证明：
$$0<x_1{x}_2<\frac{1}{e^2}$$

• $Solution$：易得$m<0$，同$Pra.12.2$中，取对数后两式子相加减，由算术均值>对数均值即可。

（2）构造对称函数

步骤：

求出极值点，双变量根据单调性化单变量，构造对称函数，整体求导得答案

$Pra.12.4$

已知$f(x)=x{e}^{-x}$，若$x_1\ne x_2,f(x_1)=f(x_2)$，证明：$x_1+x_2>2$

• $Solution$：求导得函数$f(x)$在$(-\infty ,1)$递增，$(1,+\infty )$递减

此处我们先写出：
$$f^{\prime }(x)=\frac{1-x}{e^x}$$
易得$0<x_1<1,x_2>1$，原题目证明式子等价于$x_2>2-x_1$

考虑到$x_2,2-x_1\in (1,+\infty )$，所以等价于$f(x_2)<f（2-x_1)$

化单变量：$f(x_1)-f(2-x_1)<0,0<x_1<1$

构造对称函数$g(x)=f(x)-f(2-x),0<x<1$

考虑到$g(1)=0$，整体求导：
$$g^{\prime }(x)=f^{\prime }(x)+f^{\prime }(2-x)=\frac{1-x}{e^x}+\frac{x-1}{e^{2-x}}$$
证明$g^{\prime }(x)>0$即可，而这是显然的。

$Pra.12.5$

设$f(x)=e^x-ax+a$的两个零点为$x_1,x_2,x_1<x_2$，证明：$f^{\prime }(\sqrt{x_1{x}_2})<0$

• $Solution$：加强证明$x_1+x_2<2\ln a$

根据题意显然$x_1<\ln a<x_2$，函数$f(x)$在$(-\infty ,\ln a)$递减，$(\ln a,+\infty )$递增

上不等式转化为：$x_2<2\ln a-x_1$，而$x_2,2\ln a-x_1\in (\ln a,+\infty )$，

所以转化为：$f(x_2)<f(2\ln a-x_1)$，

即：$f(x_1)-f(2\ln a-x_1)<0$，

构造函数$g(x)=f(x)-f(2\ln a-x),x<\ln a$

边界$g(\ln a)=0$，期望$g^{\prime }(x)>0$

[均值不等式$a+b>2\sqrt{ab},a\ne b$]：

而$g^{\prime }(x)=f^{\prime }(x)+f(2\ln a-x)=e^x+e^{2\ln a-x}-2a>2(e^{2\ln a})-2a=0$

证毕。

（3）作差or作比换元

$Pra.12.6$

已知$x_1,x_2$是函数$f(x)=e^x-ax$的两个零点且$x_1<x_2$，

证明：$x_1+x_2>2$且$x_1{x}_2<1$

• $Solution$：不妨令$x_1<x_2$，显然$x_1>0$

令：
$$t=\frac{x_2}{x_1}>1\Rightarrow x_2=t{x}_1$$
有：
$$t{x}_1{e}^{-t{x}_1}=x_1{e}^{-x}$$
所以：
$$\{\begin{array}{r}{x}_1=\frac{\ln t}{t-1}\\ x_2=\frac{t\ln t}{t-1}\end{array}$$
化为$t$的不等式证明即可，相乘时注意对$\sqrt{t}$整体换元，略。

$Pra.12.7$

已知函数$f(x)=x^2-a\ln x$，极值点为$x_0$，零点为$x_1,x_2(x_1<x_2)$.

求证：
$$x_1+3x_2>4x_0$$

• $Solution$：令：

$$t=\frac{x_2}{x_1}\Rightarrow x_2=t{x}_1(t>1)$$

有：
$$x_1^2-a\ln x_1=t^2{x}_1^2-a\ln t{x}_1$$
于是：
$$x_1^2=\frac{a\ln t}{t^2-1}$$
易知：
$$x_0=\sqrt{\frac{a}{2}}$$
原证明式化为：
$$(1+3t)x_1<4\sqrt{\frac{a}{2}}$$
平方即证明：
$$\begin{array}{rl}(1+3t{)}^2{x}_1^2<8a& \iff (1+3t{)}^2\ln t-8t^2+8>0\\ & \iff \ln t-\frac{8(t^2-1)}{(1+3t{)}^2}>0[指数处理技巧]\end{array}$$
注意到
$$\begin{array}{rl}\ln t-\frac{8(t^2-1)}{(1+3t{)}^2}>& \frac{t-1}{t}-\frac{8(t^2-1)}{(1+3t{)}^2}\\ & =(t-1)\frac{9t^2-2t-7}{t(1+3t{)}^2}\\ & =(t-1{)}^2\frac{9t+7}{t(1+3t{)}^2}>0\end{array}$$
用到了放缩：
$$\ln x\ge \frac{x-1}{x}(x>0)[等号在x=1取得]$$

（4）简单放缩

$Pra.12.7$

若$g(x)=x\ln x-\frac{a}{2}{x}^2-x(a\in R)$有两个相异的极值点$x_1,x_2$）证明：
$$\frac{1}{\ln x_1}+\frac{1}{\ln x_2}>2ae$$

• $Solution$：放缩证明$ae>1$，所以证明左侧$>2$即可，采用等比例法即可。