The Solution
计算: 有理根定理计算器
有理根定理计算器
在上面输入您的多项式系数,然后点击“查找有理根候选”查看结果。Cubic Equation Solver
具有实根和复根的专用三次方程求解器、卡尔达诺方法步骤、三次图形和工作示例。
输入整数系数使用 ±p/q 定理生成所有可能的有理根候选。
计算: 有理根定理计算器
有理根定理计算器
在上面输入您的多项式系数,然后点击“查找有理根候选”查看结果。The Treatise
The Formula
The Illustration
The Deep Dive
证明是可分性论证。认为 p/q 以最低的条件满足 aₙ(p/q)ⁿ + ... + a₀ = 0。清除分母给出 aₙpⁿ + aₙ₋₁pⁿ⁻1q + ... + a₀qⁿ = 0。每个术语除了 ₀qⁿ 包含一个因子 p, 所以 p 划分 ₀qⁿ;自从 gcd(p, q) = 1, p|一个₀。另一端的镜像论证给出 问 | ₙ。两条线的可分性,无限的搜索折叠成一个有限的列表。
单调情况值得关注:当首项系数为 1 时,每个分母 q 必须除以 1,所以 q = ±1 所有有理根都是除常数项的整数。这就是为什么教科书上的问题感觉很简单:它们几乎总是单调的。出现问题的那一刻 6×立方 − 5x² − 2x + 1 出现了,分数候选者返回,完整的定理赢得了它的保留。
大系数可能会产生令人畏惧的列表,有时甚至有数百个候选者。巧妙地测试:首先尝试小整数,因为问题通常是用它们构建的。使用所有实根所在的界限 1 + 最大值|aᵢ/aₙ| 跳过荒谬的值。请记住,当您找到与度数一样多的根时,您可能会停止,每个确认的根都可以通过以下方式解决问题 综合除法。一个有用的习惯是测试 ±1 首先:它们是最便宜的评估,并且令人惊讶地经常遇到构建的问题。
高斯引理表示一个原始整数多项式因子 问 正是当它因素结束时 Z。有理根定理就是一级引理:线性因子 问 可以清除为线性因子 Z,其根是 p/q 该定理描述了。这就是为什么整数系数方法在理论上对于理性问题是完整的,这是计算机代数系统不断依赖的事实。
The Applications
在接触重型机械之前,请花两分钟在候选清单上。竞赛、考试和教科书中的大部分三次方程都是用有理根构建的,用手找到一个比任何公式都快。
考官之所以喜欢莫尼克三次,正是因为适用了整数候选捷径。了解该定理可以将“解三次方”变成快速整除性练习,然后进行常规测试。
计算机代数中的求根算法以有理根测试开始:精确的有理根比任何数值迭代都便宜,因此在牛顿或二分开始之前,候选列表总是耗尽的。此处找到的一个精确根是数值求解器少一维。
在工程学中,在几秒钟内排除好的根可以告诉您是期望一个干净的封闭形式还是立即寻求数值方法,从而节省注定要进行精确尝试的精力。
The Cautions
忘记负面候选人: 每个因子 p 和 q 都带有 ± 符号。任何只测试阳性候选者的人都会错过根 -3/2。
不减少分数: 候选人必须使用最低的术语。测试 1/2 后测试 2/4 会使零新信息的工作加倍。
混淆哪个划分哪个: 分子 p 除常数项;分母 q 除首项系数。交换它们会建立一个该定理从未承诺过的列表。
假设每个候选者都是根: 该名单包含嫌疑人,而不是定罪者。每个候选者在获得根状态之前都必须经过测试,通常是通过替换或综合除法。
忽略首项系数: 当 a ≠ 1 时,会出现像 ±3/2 这样的小数候选项。仅测试非单调问题中的整数可能会错过每个根。
The Reference
The Questions
没有。三次方 x³ - 2 根本没有;它的实根∛2是无理数。该定理列出了候选人,但并不保证获胜者。
最低项根的分母必须除以首项系数,就像分子必须除以常数项一样。这两个约束都来自同一个证明。
至多(常数项的除数)×(首项系数的除数),计数±一次,从未约分数中减去重复项。
不,一旦找到与度数一样多的根就停止。每个发现也会通过以下方式缩小多项式 综合除法,缩小以后的测试,二次公式完成剩下的一切。
首先将小数相乘以将小数转化为整数,然后将定理应用于缩放后的多项式。
因为每个有理根都是一个除常数项的整数,这使得候选列表简短并且手动测试令人愉快。
是的。任何最低项的 p/q 都算作有理数,包括负数和分数。该定理正是针对此类情况而建立的。