设函数 $f(x)=x^2-a^x$（$a>0$ 且 $a\ne 1$），$g(x)=f'(x)$．
【难度】
【出处】
无
【标注】
-
当 $a={\rm e}$ 时，求 $g(x)$ 的极大值点；标注答案$x=\ln 2$解析函数 $f(x)$ 的导函数\[f'(x)=2x-\ln a\cdot a^x,\]于是函数 $g(x)$ 的导函数\[g'(x)=2-\ln^2a \cdot a^x.\]当 $a={\rm e}$ 时，有\[g'(x)=2-{\rm e}^x,\]于是\[\begin{array}{c|ccc}\hline
x&(-\infty,\ln 2)&\ln 2&(\ln 2,+\infty)\\ \hline
f'(x)&+&0&-\\ \hline
f(x)&\nearrow&{\max}&\searrow \\ \hline \end{array}\]于是 $g(x)$ 的极大值点为 $x=\ln 2$． -
讨论 $f(x)$ 的零点个数．标注答案当 $a\in\left(0,{\rm e}^{-\frac{2}{\rm e}}\right)\cup\left({\rm e}^{\frac{2}{\rm e}},+\infty\right)$ 时，$f(x)$ 有 $1$ 个零点；
当 $a\in\left\{{\rm e}^{-\frac{2}{\rm e}},{\rm e}^{\frac{2}{\rm e}}\right\}$ 时，$f(x)$ 有 $2$ 个零点；当 $a\in\left({\rm e}^{-\frac{2}{\rm e}},1\right)\cup\left(1,{\rm e}^{\frac{2}{\rm e}}\right)$ 时，$f(x)$ 有 $3$ 个零点解析注意到\[f(-x)=x^2-\left(\dfrac 1a\right)^x,\]于是当 $0<a<1$ 时，可以转化为 $a>1$ 的情形研究．
先考虑 $a>1$．函数 $f(x)$ 在 $(-\infty,0]$ 上单调递减，且\[f(-1)=1-\dfrac 1a>0,f(0)=-1<0,\]于是函数 $f(x)$ 在 $(-\infty,0]$ 上有 $1$ 个零点．
当 $x>0$ 时，方程\[x^2-a^x=0\]即\[\dfrac{\ln x}x=\dfrac{\ln a}2,\]考虑到函数 $\varphi(x)=\dfrac{\ln x}x$ 的导函数\[\left(\dfrac{\ln x}x\right)'=\dfrac{1-\ln x}{x^2},\]因此其单调性\[\begin{array} {c|ccc}\hline
x&(0,{\rm e})&{\rm e}&({\rm e},+\infty)\\ \hline
\varphi'(x)&+&0&-\\ \hline
\varphi(x)&\nearrow&{\max}={\rm e}^{-1}&\searrow \\ \hline \end{array}\]情形一 当 $\dfrac{\ln a}2>{\rm e}^{-1}$ 也即 $a>{\rm e}^{\frac{2}{\rm e}}$ 时，则函数 $f(x)$ 在 $(0,+\infty)$ 上没有零点；情形二 当 $\dfrac{\ln a}2={\rm e}^{-1}$ 也即 $a={\rm e}^{\frac{2}{\rm e}}$ 时，则函数 $f(x)$ 在 $(0,+\infty)$ 上有 $1$ 零点，为 $x={\rm e}$；情形三 当 $0<\dfrac{\ln a}2<{\rm e}^{-1}$ 也即 $1<a<{\rm e}^{\frac{2}{\rm e}}$ 时，则由于\[\varphi\left({\rm e}^{-1}\right)=-{\rm e}<0,\]于是函数 $f(x)$ 在 $(0,{\rm e})$ 上有 $1$ 个零点；又由于当 $x>{\rm e}$ 时，有\[\dfrac{\ln x}x<\dfrac{2\left(\sqrt x-1\right)}x<\dfrac{2}{\sqrt x},\]于是取 $m=\max\left\{{\rm e},\dfrac{16}{\ln^2a}\right\}$ 时，有\[\varphi(m)<\dfrac{\ln a}2,\]于是函数 $f(x)$ 在 $({\rm e},+\infty)$ 上有 $1$ 个零点．因此函数 $f(x)$ 在 $(0,+\infty)$ 上有 $2$ 个零点．
综上所述，函数 $f(x)$ 的零点个数为\[\begin{cases} 1,&a\in\left(0,{\rm e}^{-\frac{2}{\rm e}}\right)\cup\left({\rm e}^{\frac{2}{\rm e}},+\infty\right),\\
2,&a\in\left\{{\rm e}^{-\frac{2}{\rm e}},{\rm e}^{\frac{2}{\rm e}}\right\},\\
3,&a\in\left({\rm e}^{-\frac{2}{\rm e}},1\right)\cup\left(1,{\rm e}^{\frac{2}{\rm e}}\right).\end{cases}\]
题目
问题1
答案1
解析1
备注1
问题2
答案2
解析2
备注2
