多项式求根的数值计算与代数原理
在数学和工程应用中，求解多项式的根是一项基础且关键的任务。代数基本定理指出，一个 n 次多项式在复数域内恰好有 n 个根（计入重数）。然而，根据阿贝尔-鲁菲尼定理，对于五次及以上的多项式，不存在通用的求根公式。因此，除了针对一次方程使用直接线性求解外，对于高次多项式，必须依赖高效且稳定的数值迭代算法来获取高精度的近似根。
本多项式求根计算器支持求解 1 到 20 次的多项式，能够精确计算出所有的实根、复根以及重根。在数值计算中，算法不仅需要寻找根的数值，还必须通过严格的收敛性检验与残差计算来评估结果的可靠性。
输入模式与参数配置
为了适应不同的应用场景，本工具提供了两种输入多项式的方式：
- 展开的表达式：用户可以直接输入一元多项式方程或表达式，例如
x^5 - x = 0。各项可以分布在等号的两侧，且无需按顺序排列，但必须是已展开的形式。 - 系数列表：直接输入一组无量纲的实数，用逗号、空格或换行符分隔。系数需按最高幂次到常数项的顺序排列，缺失的幂次项必须用 0 补齐。
输入限制与规则
- 次数限制：多项式的有效次数必须在 1 到 20 之间。
- 系数范围：系数必须是实数（允许使用分数或科学计数法），其绝对值必须小于或等于 1e100（即 |coefficient| ≤ 1e100）。
- 字符限制：输入文本的总长度需保持在 600 个字符以内。
- 精度控制：用户可在 4 到 12 位之间调节显示的十进制小数位数。提高显示精度会使算法的停止迭代测试更加严格，但无法恢复因初始系数本身精度不足而损失的精度。
算法执行与步骤解析
对于二次及以上的高次多项式，本求解器采用 Ehrlich–Aberth 迭代 算法。该算法通过一组确定性的复数作为初始猜测值，在复平面上同时对所有根进行更新，直至收敛。
求解过程严格按照以下步骤执行：
- 步骤 1：标准形式
首先将输入的多项式各项整理并合并同类项，转化为标准形式：‹polynomial›。 - 步骤 2：归一化
将多项式的每一个系数除以首项系数‹leading›，以简化后续的计算。 - 步骤 3：缩放
为了确保初始猜测值处于数值稳定的区间内，算法会将根的搜索范围缩放 R =‹scale›。 - 步骤 4：迭代更新
利用 Horner 方法 高效评估多项式及其导数的值。根据“同时更新根”的公式，同步修正所有根的猜测值，直到修正量低于‹tolerance›。 - 步骤 5：验证
将计算出的每个根代回原多项式中，计算其归一化残差，并输出最大归一化残差‹residual›，以验证数值计算的精确度。
根的敏感度与数值稳定性
在数值代数中，多项式求根的稳定性与根的分布密切相关。当多项式存在重根（即重数大于 1 的根）或彼此极其接近的根时，系统会变得高度敏感。
在重根处，多项式曲线与横轴相切，此时多项式及其导数均接近于零。这会导致迭代修正步骤的效率显著下降。在这种情况下，系数极微小的扰动（例如输入时微小的舍入误差）都可能导致一个重根在复平面上分裂为数个邻近的单根。
当检测到此类情况时，求解器会输出警告信息：“已找到根，但由于存在重根或极接近的根，显示的某些位数对系数的微小变化较为敏感。” 此时，建议结合最大归一化残差来综合评估结果的实际精度。
异常处理与错误提示
为了确保输入符合数学规范与计算限制，工具内置了严格的校验机制。以下是常见的错误提示及原因：
| 错误信息 | 触发原因 |
|---|---|
| 请输入多项式表达式或系数列表。 | 输入框为空。 |
| 请将输入内容保持在 600 个字符以内。 | 输入字符数超过 600 字。 |
| 该输入不是已展开的一元多项式。请尝试输入 x^5 - x = 0 或直接输入其系数。 | 输入了非多项式格式、格式错乱或未展开的表达式。 |
| 请先展开括号，使每个幂次项都有明确的系数。 | 输入中包含括号 ()。 |
| 请仅使用一个变量。 | 表达式中出现了两个或多个不同的字母变量。 |
| 请使用 0 到 20 之间的整数幂次。 | 幂次项为负数、分数或超过了 20 次。 |
| 每个系数必须是实数，例如 −2.5、3/4 或 1e-6。 | 输入了无法解析为实数的字符。 |
| 分数的分母不能为 0。 | 系数中写了分母为 0 的分数。 |
| 某个系数或中间缩放比例超出了支持的有限范围。请重新缩放多项式并重试。 | 系数绝对值超过 1e100，或计算中出现数值溢出。 |
| 请选择 4 到 12 位小数之间的显示精度。 | 精度输入框中的数值超出了 4–12 的范围。 |
隐私与数据安全
本工具的设计充分保障了用户的数据隐私。多项式的解析、Ehrlich–Aberth 迭代计算以及复平面绘图等所有操作，均完全在用户的浏览器本地执行。输入的数据和计算结果绝不会被上传到任何外部服务器。
常见问题解答 (FAQ)
我可以输入什么？
请使用无量纲的实数系数，以及最高幂次不超过 20 的一元非负整数幂次。表达式必须是已展开的形式，但各项的顺序可以打乱，也可以出现在等号的两侧。系数列表按最高幂次到常数项的顺序排列，且缺失的幂次项必须用 0 补齐。
如何求解高次多项式的根？
求解器从几组确定性的复数初始猜测值开始，并使用 Ehrlich–Aberth 更新同时改进每一个猜测值。Horner 方法用于高效评估多项式及其导数，然后将每个返回的根代回原多项式中，以进行与缩放无关的归一化残差检验。
这些是精确根吗？
不是。除了一次方程外，显示的根都是数值近似值。次数大于 4 的方程没有通用的根式解公式，而且即使是较低次数的公式，在面对复杂的系数时也可能会失去精度。请通过残差和敏感度警告来评估近似效果；如果你需要二次方程的精确分数或根式形式，请使用一元二次方程计算器。
为什么重根的稳定性较差？
在重根处，多项式及其导数均为零。这会削弱修正步骤的效果，因此系数的微小变化就可能将一个重根分裂为数个邻近的根。求解器仅在数值非常接近时才会对根进行归类合并，并保持重数可见。