求解定义域(0,∞)内方程e^x=x^e：是否需用导数分析？

嘿，咱们先从最直观的观察开始：(x=e) 是一个明显的解——代入后两边都是(e^e)，等式直接成立。但要确认是否存在其他解，就必须用到一阶、二阶导数来分析函数的单调性和极值了，不然没法严谨判断解的唯一性。

第一步：方程变形，转化为函数分析问题 #

原方程直接分析有点绕，咱们对两边取自然对数（因为(x>0)，ln函数单调，不会改变等式的等价性）：
[
\ln(e^x) = \ln(x^e)
]
化简后得到：
[
x = e\ln x
]
再整理一下，两边同时除以(x)（(x>0)，完全没问题），就转化为：
[
\frac{\ln x}{x} = \frac{1}{e}
]
现在问题变成了：找函数(g(x) = \frac{\ln x}{x})与直线(y=\frac{1}{e})的交点个数。

第二步：用一阶导数分析函数单调性 #

用商的求导法则计算(g(x))的一阶导数：
[
g'(x) = \frac{\frac{1}{x} \cdot x - \ln x \cdot 1}{x^2} = \frac{1 - \ln x}{x^2}
]
令(g'(x)=0)，解得(1 - \ln x = 0)，也就是(x=e)。

根据导数符号判断单调性：

• 当(0 < x < e)时，(\ln x < 1)，所以(g'(x) > 0)，(g(x))在((0,e))上单调递增；
• 当(x > e)时，(\ln x > 1)，所以(g'(x) < 0)，(g(x))在((e,+\infty))上单调递减。

第三步：用二阶导数确认极值类型（可选但更严谨） #

为了确定(x=e)是极大值还是极小值，咱们计算二阶导数：
[
g''(x) = \frac{2\ln x - 3}{x^3}
]
把(x=e)代入，(\ln e = 1)，可得：
[
g''(e) = \frac{2 - 3}{e^3} = -\frac{1}{e^3} < 0
]
这说明(x=e)是(g(x))的极大值点，极大值为(g(e)=\frac{\ln e}{e}=\frac{1}{e})，正好是咱们要找的直线(y=\frac{1}{e})的值。

第四步：分析函数极限，确认交点唯一性 #

再看看(g(x))在定义域两端的趋势：

• 当(x\to0^+)时，(\ln x\to-\infty)，(x\to0^+)，所以(g(x)=\frac{\ln x}{x}\to-\infty)；
• 当(x\to+\infty)时，用洛必达法则计算极限：(\lim_{x\to+\infty}\frac{\ln x}{x} = \lim_{x\to+\infty}\frac{1/x}{1}=0)，即趋向0。

结合单调性和极值来看：(g(x))在((0,e))从负无穷递增到(\frac{1}{e})，在((e,+\infty))从(\frac{1}{e})递减到0，而且极大值恰好是(\frac{1}{e})，所以直线(y=\frac{1}{e})和(g(x))只能在(x=e)处相交一次。

最终结论 #

原方程(e^x = x^e)在((0,+\infty))上只有唯一解：(x=e)。

回到你的问题：确实需要通过一阶和二阶导数来分析极值——如果不用导数，我们没法确定函数的变化趋势，也就无法严谨确认除了(x=e)之外是否存在其他解。

内容的提问来源于stack exchange，提问作者Nick