方程$e^x-5\sin x$正负根数量求解及超越方程根判定方法咨询

首先咱们把方程变形为$e^x = 5\sin x$，这样更容易通过两个函数的图像和性质来分析交点（也就是方程的根）。

一、负根数量分析 #

当$x < 0$时，咱们分别看两边函数的表现：

• $e^x$在$x<0$时单调递增，取值范围是$(0,1)$，且当$x \to -\infty$时，$e^x$以指数级速度趋近于0。
• $5\sin x$是周期为$2\pi$的函数，值域是$[-5,5]$。因为左边$e^x$始终为正，所以只有当$\sin x > 0$的区间才可能有根，也就是$x \in (-2k\pi, -(2k-1)\pi)$，其中$k$是正整数（比如$k=1$时是$(-2\pi,-\pi)$，$k=2$时是$(-4\pi,-3\pi)$，以此类推）。

对每个这样的区间：

1. 左端点$x=-2k\pi$：$e^x = e^{-2k\pi}$（很小的正数），$5\sin x=0$，此时$0 < e^{-2k\pi}$；
2. 区间中点$x=-(2k-0.5)\pi$：$5\sin x=5$（最大值），而$e^x = e^{-(2k-0.5)\pi} = e^{-2k\pi} \cdot e^{\pi/2} \approx 4.81e^{-2k\pi}$，显然$5 > 4.81e^{-2k\pi}$；
3. 右端点$x=-(2k-1)\pi$：$5\sin x=0$，$e^x = e^{-(2k-1)\pi} = e^{-2k\pi} \cdot e^\pi \approx 23.14e^{-2k\pi}$，此时$0 < 23.14e^{-2k\pi}$。

结合零点存在定理：

• 在$(-2k\pi, -(2k-0.5)\pi)$，$5\sin x$从0升到5，$e^x$从$e{-2k\pi}$升到$4.81e^{-2k\pi}$，一开始$5\sin x < e^x$，后来$5\sin x > e^x$，必然有一个交点；
• 在$(-(2k-0.5)\pi, -(2k-1)\pi)$，$5\sin x$从5降到0，$e^x$从$4.81e{-2k\pi}$升到$23.14e^{-2k\pi}$，一开始$5\sin x > e^x$，后来$5\sin x < e^x$，也必然有一个交点。

因为$k$可以取1,2,3,...无穷多个正整数，所以负根有无穷多个。

二、正根数量分析 #

当$x > 0$时，同样只需要考虑$\sin x > 0$的区间（即$(2k\pi, (2k+1)\pi)$，$k$为非负整数）：

• $k=0$：区间$(0,\pi)$

  • $x=0$时，$e^0=1$，$5\sin0=0$，$1>0$；
  • $x=\pi/2$时，$e^{\pi/2} \approx 4.81$，$5\sin(\pi/2)=5$，$4.81<5$；
  • $x=\pi$时，$e^\pi \approx23.14$，$5\sin\pi=0$，$23.14>0$。
    同样用零点存在定理，$(0,\pi/2)$和$(\pi/2,\pi)$各有一个交点，也就是两个正根。

• $k \geq1$：区间$(2k\pi, (2k+1)\pi)$（比如$k=1$时是$(2\pi,3\pi)\approx(6.28,9.42)$）
  此时$x \geq2\pi$，$e^x \geq e^{2\pi} \approx535.49$，而$5\sin x$的最大值只有5，显然$e^x$始终远大于$5\sin x$，不可能相等，所以这些区间没有根。

综上，正根有2个。

三、超越方程的求解思路（替代Descartes法则） #

Descartes法则只适用于多项式，对于含指数、三角、对数等的超越方程，咱们可以用这些核心方法：

• 转化为函数交点问题：把方程变形为$f(x)=g(x)$，分别分析两个函数的性质（定义域、值域、单调性、周期性、极值等）；
• 分区间讨论+零点存在定理：对每个可能有交点的区间，结合函数在端点的取值符号，判断是否存在零点；
• 导数辅助分析：构造函数$h(x)=f(x)-g(x)$，求导判断$h(x)$的单调性、极值，进一步确定零点的数量（比如如果$h(x)$在区间内单调，且端点符号相反，就只有一个零点）；
• 趋势分析：当$x$趋近于±∞时，分析函数的变化趋势，判断是否还有无穷多个交点。

这些方法的核心是利用连续函数的性质，结合函数的直观图像特征来推导，不像多项式有固定的符号法则，需要灵活分析每个函数的特性。

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