关于Boost.Math实现的TOMS 748单根区间要求的技术疑问

我需要数值求解三次方程f(x)=0至指定精度，仅需其中一个根。已确定区间[a,b]满足f(a)与f(b)符号相反，即该区间至少包含一个根。我考虑使用Boost.Math实现的TOMS 748，但文档指出：

f(x)无需在区间内单调，可存在多个根，但给定边界必须仅包含一个根

我无法保证[a,b]仅含一个根，因此疑问：

1. 该要求是否必要？原因是什么？（我原以为所有基于区间的数值求根器最终都会退化为二分法）
2. 另外，Boost.Math文档称未实现Brent法是因TOMS 748更优且功能等效，但Brent法无此限制，这两者表述是否矛盾？

一、TOMS 748要求区间仅含一个根的必要性 #

• TOMS 748的核心逻辑是结合反二次插值、割线法和二分法，但它的插值策略依赖区间内根的唯一性。如果区间内有多个根，插值步骤可能生成偏离目标根的点，甚至跳出初始区间，导致算法无法收敛，或收敛到非预期的根。
• 你提到的“退化为二分法”是最坏情况，但TOMS 748仅在插值失败时才会 fallback 到二分法。若区间内有多个根，二分法虽能缩小区间，但最终收敛的根可能并非你期望的那个，且算法的效率优势会完全丧失——毕竟TOMS 748的设计初衷就是比纯二分法更快。
• 三次方程可能有1个或3个实根，若无法保证初始区间[a,b]仅含一个根，TOMS 748的插值步骤可能在多个根之间“摇摆”，无法稳定收敛到某个根。

二、TOMS 748与Brent法的表述矛盾问题 #

• 两者并不矛盾。Boost文档所说的“功能等效”，是指在满足各自前提条件下，两者都能高效求解单根区间的方程。
• 严格来说，Brent法的标准实现也要求初始区间至少有一个根，但它的插值策略更保守，即使区间内有多个根，只要每次迭代能保持区间两端符号相反，大概率能收敛到其中一个根。这并不意味着Brent法“无限制”——只是它对多根区间的兼容性更好，而非完全没有前提。
• TOMS 748的优势在于收敛速度更快（尤其是根附近函数平滑时），但代价是对区间的要求更严格。Boost选择TOMS 748是权衡性能与适用场景，而非说两者在所有场景下完全等效。

针对三次方程场景的建议 #

• 若无法保证初始区间仅含一个根，可先对三次方程做预处理：求导找到极值点，将初始区间[a,b]拆分为多个子区间，每个子区间内最多一个实根，再对每个子区间用TOMS 748求解。
• 若不想做预处理，可直接使用对多根区间兼容性更好的算法（比如修改版Brent法，或纯二分法——虽慢但稳定）。

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