如何寻找二分法求解齐次方程$f(x)=0$的初始区间？

没问题！我来一步步给你讲清楚怎么用导数找二分法的初始区间，再拿个具体例子演示，保证你能吃透～

其实核心逻辑很简单：导数能帮我们摸清函数的单调性和极值点，而每个单调区间里最多只会有一个实根（根据零点存在定理）。我们先通过导数把函数拆分成几个单调区间，再在每个区间里找满足$f(a)f(b)<0$的端点，这样得到的区间不仅精准，还能有效减少后续的迭代次数。

这个函数有3个实根，非常适合用来演示方法，我们一步步来：

步骤1：求导数，找临界点 #

先对$f(x)$求导：

f'(x) = 3x² - 3 = 3(x-1)(x+1)

令$f'(x)=0$，解得临界点$x=-1$和$x=1$，这两个点是函数增减性变化的分界点。

步骤2：划分单调区间，分析增减性 #

根据临界点把定义域分成三个区间，逐个判断导数的正负，确定函数单调性：

• $(-\infty, -1)$：$f'(x) > 0$，函数单调递增
• $(-1, 1)$：$f'(x) < 0$，函数单调递减
• $(1, +\infty)$：$f'(x) > 0$，函数单调递增

步骤3：结合极值和趋势，判断每个区间是否有根 #

先计算两个临界点的函数值：

• $f(-1) = (-1)^3 - 3*(-1) + 1 = -1 + 3 + 1 = 3 > 0$
• $f(1) = 1^3 - 3*1 + 1 = 1 - 3 + 1 = -1 < 0$

再看函数在正负无穷的趋势：

• 当$x \to -\infty$时，$x^3$项主导，$f(x) \to -\infty$
• 当$x \to +\infty$时，$f(x) \to +\infty$

现在逐个区间分析：

1. 区间$(-\infty, -1)$：函数从$-\infty$递增到$f(-1)=3>0$，必然存在一个点使得$f(x)<0$。我们取$x=-2$，计算得$f(-2)=(-8) - 3*(-2) + 1 = -1 < 0$。此时$f(-2)f(-1)=(-1)3=-3 < 0$，所以$[-2, -1]$就是一个合格的初始区间**。
2. 区间$(-1, 1)$：函数从$f(-1)=3>0$递减到$f(1)=-1<0$，直接满足$f(-1)f(1)=3(-1)=-3 < 0$，所以**$[-1, 1]$是第二个初始区间**。
3. 区间$(1, +\infty)$：函数从$f(1)=-1<0$递增到$+\infty$，取$x=2$，计算得$f(2)=8 - 6 + 1 = 3 > 0$。此时$f(1)f(2)=(-1)3=-3 < 0$，所以$[1, 2]$是第三个初始区间**。

额外补充：单调函数的情况 #

如果遇到单调函数（比如$f(x)=e^x - x - 2$），导数$f'(x)=e^x - 1$，临界点只有$x=0$，函数在$(-\infty,0)$递减，$(0,+\infty)$递增。此时$f(0)=-1<0$，$x\to-\infty$时$f(x)\to+\infty$，取$x=-2$得$f(-2)=1/e²>0$，所以$[-2,0]$是初始区间；$x\to+\infty$时$f(x)\to+\infty$，取$x=2$得$f(2)=e²-4≈3.389>0$，再取$x=1$得$f(1)=e-3≈-0.282<0$，所以$[1,2]$是另一个初始区间。

这样找出来的区间都是最小化的，后续二分法迭代次数自然就少啦～

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