已知函数 $f(x)=\ln (x+2a)-ax$,$a>0$.
(1)求 $f(x)$ 的单调区间;
(2)记 $f(x)$ 的最大值为 $M(a)$,若 $a_2>a_1>0$ 且 $M(a_1)=M(a_2)$,求证:$a_1a_2<\dfrac 14$;
(3)若 $a>2$,记集合 $\{ x\mid f(x)=0\}$ 中的最大元素为 $x_0$,设函数 $g(x)=|f(x)|+x$,求证:$x_0$ 是 $g(x)$ 的极小值点.
分析与解(1)函数 $f(x)$ 的定义域为 $(-2a,+\infty)$,其导函数\[f'(x)=\dfrac{-ax+1-2a^2}{x+2a},\]于是函数 $f(x)$ 的单调递增区间是 $\left(-2a,-2a+\dfrac 1a\right)$,单调递减区间是 $\left(-2a+\dfrac 1a,+\infty\right)$.
(2)根据第 $(1)$ 小题的结果,我们有 $f(x)$ 的最大值\[M(a)=f\left(-2a+\dfrac 1a\right)=2a^2-\ln a-1.\]问题可以转化为
函数 $h(x)=2{\rm e}^{2x}-x-1$,有 $h(x_1)=h(x_2)$,且 $x_1<x_2$,则 $x_1+x_2<-2\ln 2$.
下面证明转化后的问题:
事实上,有\[\begin{split} h'(x)&=4{\rm e}^{2x}-1,\\ h''(x)&=8{\rm e}^{2x},\\ h'''(x)&=16{\rm e}^{2x},\end{split}\]于是 $x_1<-\ln 2<x_2$ 且\[\forall x>-\ln 2,h''(x)-h''(-2\ln 2-x)>0,\]结合\[h'(-\ln 2)=0,\]可得\[\forall x>-\ln 2,h(x)>h(-2\ln 2-x),\]进而可得\[h(x_1)=h(x_2)>h(-2\ln 2-x_2),\]因此\[x_1<-2\ln 2-x_2,\]命题得证.
(3)由于 $f(0)=\ln (2a)>1$,于是 $x_0>0$,且\[g(x)=\begin{cases} \ln(x+2a)-ax+x, & x<x_0,\\ -\ln(x+2a)+ax+x,&x\geqslant x_0.\end{cases}\]
情形一 当 $0<x<x_0$ 时,有\[g'(x)=\dfrac{1}{x+2a}-a+1<\dfrac 1{2a}-a+1<0,\]因此函数 $g(x)$ 在 $(0,x_0)$ 上单调递减.
情形二 当 $x>x_0$ 时,有\[g'(x)=-\dfrac{1}{x+2a}+a+1>-\dfrac{1}{2a}+a+1>0,\]因此函数 $g(x)$ 在 $(x_0,+\infty)$ 上单调递增.
综上所述,$x_0$ 是函数 $g(x)$ 的极小值点.