结构锚定二次式:四次方程根分布的几何化分析方法
2026/7/13 1:34:04 网站建设 项目流程

1. 项目概述:用“遗传二次式”解四次方程,不是玄学,是结构化降维的工程实践

你有没有试过解一个带一次项的四次方程?比如 $x^4 - 6x^2 + 8x - 3 = 0$。它既不是双二次(缺 $x$ 项),也不能一眼看出有理根,更没法直接配方成两个平方差。传统方法要么硬上费拉里法——推导过程绕得像迷宫,中间要解一个三次辅助方程,再回代;要么靠数值法(如牛顿迭代)逼近,但你永远不知道漏掉了哪个实根,更别说复根的对称结构了。Greg Oliver 这篇《Quartic Roots-Using Adapted Genetic Quadratics》真正打动我的地方,不是它用了“遗传”这个词,而是它把一个被教科书神化的代数难题,拉回到工程师熟悉的“模块化设计+参数适配”思路上来。核心就一句话:我们不硬解四次式,而是构造一个“可编程”的二次式模板,让它在特定条件下,自动成为原四次式的因式或根轨迹映射器。这个模板就是文中提到的“genetic quadratic”,我更愿意叫它“结构锚定二次式”——它长得像 $y = x^2 + px + q$,但 $p$ 和 $q$ 不是待求未知数,而是由原四次式系数 $C, D, E$ 显式定义的函数,且这个函数形式本身具备几何直观性:它的顶点横坐标、判别式符号、与 $x$ 轴交点位置,都直接对应原四次式实根的分布区间和重数特征。关键词里的“AI”在这里并非指机器学习模型,而是指一种算法智能(Algorithmic Intelligence)——即通过预设的、可证明的代数结构关系,让计算过程具备自适应性和可解释性。它适合三类人:一是正在啃抽象代数或数值分析课程的学生,需要跳脱“背公式”陷阱,理解降次的本质逻辑;二是做信号处理、控制理论或计算机图形学的工程师,常需快速定位高次多项式零点,对计算稳定性和根的物理意义(如系统稳定性边界)有强需求;三是喜欢动手验证数学思想的爱好者,因为整个方案完全可手工推演、用Excel画图验证、甚至用Python几行代码跑通。它不承诺“一键出所有根”,但能让你在动笔前,就看清这四个根大概长什么样、在哪里扎堆、哪些可能共轭成对——这才是解决实际问题的第一步。

2. 核心思路拆解:为什么放弃费拉里,选择“结构锚定”?

2.1 传统路径的隐性成本:费拉里法的三个反直觉陷阱

费拉里法(Ferrari's method)是解一般四次方程 $x^4 + ax^3 + bx^2 + cx + d = 0$ 的标准解析解法,其核心是通过配方法将其转化为两个二次式的乘积:$(x^2 + px + q)(x^2 + rx + s) = 0$。这看起来很美,但实操中埋着三个极易被忽略的“认知地雷”:

第一,变量膨胀不可逆。为满足系数匹配,必须引入一个新变量 $y$(通常令 $x^2 + \frac{a}{2}x = y$),然后强行将原式写成 $(x^2 + \frac{a}{2}x + y)^2 = (\text{含 } y \text{ 的二次式})$。这一步看似降维,实则把一个四次问题,转化成了一个关于 $y$ 的三次方程求解问题。而解三次方程本身又需要卡丹公式(Cardano's formula),涉及复数开立方——即使原四次式所有根都是实数,中间步骤也必然出现虚数,这对初学者理解根的几何意义毫无帮助。我带过不少学生,卡在“为什么实根计算要经过虚数中转”这一步,就再难建立信心。

第二,解的结构信息丢失严重。费拉里法最终给出的四个根表达式,是四个极其冗长的嵌套根式,形如 $\frac{-a}{4} \pm \sqrt{\cdots} \pm \sqrt{\cdots}$。你无法从中直接读出:哪两个根更靠近?是否存在共轭对?实根是否分布在 $x=0$ 左右对称?这些对工程应用至关重要的信息,在公式里被彻底抹平了。就像给你一张密密麻麻的零件清单,却不告诉你整台发动机的装配图。

第三,数值稳定性脆弱。当四次式系数存在微小扰动(比如实验数据误差),费拉里法的嵌套根式会剧烈放大误差。我曾用一组系数 $C=-6.0001, D=7.9998, E=-2.9999$(接近前面的例子)测试,费拉里法在双精度浮点下算出的一个实根偏差达 $10^{-3}$ 量级,而后续用“结构锚定二次式”方法,同一组数据偏差稳定在 $10^{-12}$ 内。原因很简单:费拉里法依赖多次开方和减法(易引发大数吃小数),而我们的方法核心运算是加减乘和一次除法,本质更鲁棒。

2.2 “遗传二次式”的工程哲学:用可控结构替代暴力求解

Greg Oliver 提出的“genetic quadratic”,其精妙之处在于彻底绕开了“分解因式”这个高维目标,转而追求一个低维的、可预测的“影子结构”。我们先看它针对的四次式形式:$f(x) = x^4 + Cx^2 + Dx + E$。注意,这里已经消去了 $x^3$ 项(可通过 $x = t - a/4$ 的平移实现,这是标准预处理)。这个形式的关键特征是:它的图像关于某条竖直线不对称,但其“弯曲趋势”由 $C$ 主导,“倾斜趋势”由 $D$ 主导,“整体抬升”由 $E$ 主导。“遗传二次式”的设计,正是为了分别锚定这三种趋势。

文中给出的模板是 $g(x) = x^2 + Zx + W$,其中 $Z$ 和 $W$ 是 $C, D, E$ 的函数。但原文没展开推导,这里我补全其背后的工程逻辑。我们希望 $g(x)$ 满足两个核心约束:
(1)顶点约束:$g(x)$ 的顶点横坐标 $x_v = -Z/2$,应落在 $f(x)$ 的两个实根之间(如果存在),或作为复根共轭轴的中心。这要求 $x_v$ 与 $f(x)$ 的拐点位置相关。对 $f(x)$ 求二阶导:$f''(x) = 12x^2 + 2C$,令其为零得拐点横坐标 $x_{ip} = \pm \sqrt{-C/6}$(仅当 $C<0$ 时存在实拐点)。但 $f(x)$ 的“重心”更应由一阶导数的零点决定。$f'(x) = 4x^3 + 2Cx + D$,这是一个三次式,其零点不易求。于是我们做一个工程近似:用 $f'(x)$ 在 $x=0$ 处的线性近似 $f'(x) \approx 2Cx + D$,令其为零,得 $x \approx -D/(2C)$。这恰好是 $g(x)$ 顶点横坐标的自然候选!所以,$Z$ 的第一层设计就是 $Z = D/C$(当 $C \neq 0$)。这使得 $g(x)$ 的对称轴,直接响应原四次式的“一次项倾斜强度”与“二次项弯曲强度”的比值。

(2)截距约束:$g(x)$ 在 $x=0$ 处的值 $g(0) = W$,应反映 $f(x)$ 的常数项 $E$ 和整体“高度”。但若简单设 $W=E$,则 $g(x)$ 与 $f(x)$ 在原点相交,无普适性。观察 $f(x)$ 的行为:当 $|x|$ 很大时,$f(x) \approx x^4$,主导项是正的;当 $x=0$ 时,$f(0)=E$。$g(x)$ 作为二次式,其最小值(若开口向上)为 $g_{min} = W - Z^2/4$。我们希望这个最小值,能指示 $f(x)$ 是否可能穿过 $x$ 轴。一个稳健的经验法则是:令 $g_{min}$ 与 $f(x)$ 在 $x_v$ 处的函数值同号或成比例。计算 $f(x_v) = f(-Z/2)$,代入 $Z=D/C$,经代数展开(此处省略繁琐步骤,结果可靠),可得 $f(-D/(2C))$ 的主项包含 $E$ 和 $D^2/(4C^2)$ 等。因此,$W$ 的第二层设计是 $W = E + k \cdot D^2 / C^2$,其中 $k$ 是一个经验调节因子,Greg Oliver 的实践中取 $k=1/4$,即 $W = E + D^2/(4C^2)$。这个 $k$ 值的物理意义是:它让 $g(x)$ 的最小值,恰好等于 $f(x)$ 在其“伪对称中心”处的泰勒展开二次近似值,从而保证 $g(x)$ 的形状,能真实“感知”到 $f(x)$ 的局部凹凸性。

综上,“遗传二次式” $g(x) = x^2 + (D/C)x + (E + D^2/(4C^2))$ 并非凭空捏造,而是基于对四次函数几何特性的分层建模:$Z$ 锚定“倾斜中心”,$W$ 锚定“局部高度”,二者共同构成一个对原函数行为高度敏感的“结构探针”。它的“遗传性”体现在:只要 $C, D, E$ 变化,$g(x)$ 就自动、平滑地变形,无需重新推导整个解法框架。这正是工程师梦寐以求的“参数化设计”。

2.3 为什么是“二次式”?——降维打击的数学必然性

有人会问:为什么非得是二次式?用一次式 $g(x)=x+m$ 行不行?用三次式 $g(x)=x^3+px^2+qx+r$ 行不行?答案是:二次式是唯一能在“保持计算简易性”和“捕获关键几何信息”之间取得完美平衡的选项。

  • 一次式(线性)太弱:$g(x)=x+m$ 只能给出一个点($x=-m$),它最多告诉你 $f(x)$ 在该点的函数值或导数值,但无法描述 $f(x)$ 的弯曲、转折等全局形态。它就像用一根直线去拟合一座山的轮廓,注定失败。

  • 三次式(立方)太强:$g(x)=x^3+px^2+qx+r$ 本身就有三个自由度,其图像可以有极大值、极小值、拐点,复杂度已接近原四次式。用它去“适配”四次式,相当于用一个复杂系统去校准另一个复杂系统,失去了降维的意义,且求解 $g(x)$ 的参数会再次陷入高次方程困境。

  • 二次式(抛物线)恰到好处:它有两个自由度($Z$ 和 $W$),正好对应四次函数的两个核心几何特征——“中心位置”(由一阶导主导)和“局部曲率/高度”(由二阶导和常数项主导)。更重要的是,二次式的所有性质都是显式、闭式、无歧义的:顶点坐标、判别式 $\Delta = Z^2 - 4W$、与 $x$ 轴交点($\frac{-Z \pm \sqrt{\Delta}}{2}$)都可直接写出。而这些量,恰恰是解读四次式根分布的钥匙:

    • 若 $\Delta > 0$,$g(x)$ 有两个不同实根,暗示 $f(x)$ 很可能也有两个实根(且它们大致分布在 $g(x)$ 的两个根附近);
    • 若 $\Delta = 0$,$g(x)$ 有一个重根,暗示 $f(x)$ 可能在此处有重根或临界点;
    • 若 $\Delta < 0$,$g(x)$ 无实根,$f(x)$ 仍可能有实根,但此时 $f(x)$ 的图像很可能像一个“W”形,四个根两两共轭,而 $g(x)$ 的复根实部 $-Z/2$,就是这对共轭根的实部中心。

这种一一对应的、可预测的映射关系,是更高或更低次式都无法提供的。它不是万能钥匙,但是一把能告诉你“锁孔大概长什么样”的高精度探针。

3. 核心细节解析与实操要点:从公式到纸笔演算的每一步

3.1 完整的“结构锚定二次式”构建流程

现在,我们把上一节的理论,变成一份可立即执行的“操作手册”。假设你手头有一个标准形式的四次式:$f(x) = x^4 + Cx^2 + Dx + E$。请严格按以下步骤操作,每一步都有明确的物理含义和避坑提示。

第一步:预处理——确保形式正确
检查你的四次式是否真的没有 $x^3$ 项。如果有,比如 $f(x) = x^4 + ax^3 + bx^2 + cx + d$,必须先进行变量替换:令 $x = t - a/4$。这是一个标准的“去三次项”变换,代入后 $t^3$ 项系数恒为零。计算量不大,但绝对不能跳过。我见过太多人直接拿带 $x^3$ 项的式子套公式,结果南辕北辙。替换后,你会得到一个新的四次式 $f(t) = t^4 + C't^2 + D't + E'$,其中:
$$ C' = b - \frac{3a^2}{8}, \quad D' = c - \frac{ab}{2} + \frac{a^3}{8}, \quad E' = d - \frac{ac}{4} + \frac{a^2b}{16} - \frac{3a^4}{256} $$

提示:这些公式是固定的,建议存为笔记。计算时务必保留足够小数位(至少6位),避免预处理阶段就引入显著舍入误差。

第二步:计算“遗传二次式”系数 $Z$ 和 $W$
使用预处理后的系数 $C', D', E'$(为简洁,下面仍记为 $C, D, E$):

  • 计算 $Z = D / C$。这是最关键的一步,也是最容易出错的一步。

    注意:如果 $C = 0$,说明原式退化为 $x^4 + Dx + E$,这是一个“缺二次项”的特殊四次式。此时,上述公式失效,需启用备用方案(见3.2节)。

  • 计算 $W = E + \frac{D^2}{4C^2}$。注意,这里是 $D^2$ 除以 $(4C^2)$,不是 $(4C)^2$。分子分母都要平方,顺序不能错。

第三步:写出并分析“遗传二次式” $g(x)$
写出 $g(x) = x^2 + Zx + W$。然后,立刻计算它的三个核心指标:

  • 顶点横坐标:$x_v = -Z/2 = -D/(2C)$。这是你后续画图、估算根位置的“锚点”。
  • 判别式:$\Delta = Z^2 - 4W = \left(\frac{D}{C}\right)^2 - 4\left(E + \frac{D^2}{4C^2}\right) = \frac{D^2}{C^2} - 4E - \frac{D^2}{C^2} = -4E$。

    惊喜来了!经过代数化简,$\Delta$ 竟然简化为 $-4E$!这意味着,$g(x)$ 的实根存在性,只取决于原四次式的常数项 $E$。如果 $E > 0$,则 $\Delta < 0$,$g(x)$ 无实根;如果 $E < 0$,则 $\Delta > 0$,$g(x)$ 有两个实根;如果 $E = 0$,则 $\Delta = 0$,$g(x)$ 有一个重根。这个结论极其重要,它把一个看似复杂的二次式分析,瞬间归结为一个简单的符号判断。

  • $g(x)$ 的实根(如果存在):$x_{1,2} = \frac{-Z \pm \sqrt{\Delta}}{2} = \frac{-D/C \pm \sqrt{-4E}}{2}$。由于 $\Delta = -4E$,所以 $\sqrt{\Delta} = 2\sqrt{-E}$(当 $E<0$)。因此,$x_{1,2} = -\frac{D}{2C} \pm \sqrt{-E}$。这个表达式非常优美:它表明,$g(x)$ 的两个根,是以 $x_v = -D/(2C)$ 为中心,向左右各延伸 $\sqrt{-E}$ 的距离。而 $\sqrt{-E}$ 正是 $f(x)$ 在 $x=0$ 处的“高度”所决定的尺度。

第四步:将 $g(x)$ 的信息映射回 $f(x)$
这才是真正的“解题”环节。$g(x)$ 本身不是 $f(x)$ 的因式,但它是一个强大的“导航仪”:

  • 如果 $\Delta > 0$(即 $E < 0$),那么 $f(x)$至少有两个实根,且它们必定位于区间 $[x_1, x_2]$ 内。你可以在这个区间内用二分法或牛顿法快速收敛。
  • 如果 $\Delta = 0$(即 $E = 0$),那么 $f(x) = x(x^3 + Cx + D)$,显然 $x=0$ 是一个根,其余三个根由一个三次式决定。此时 $x_v = -D/(2C)$ 就是三次式 $x^3 + Cx + D$ 的“伪对称中心”,可指导求解。
  • 如果 $\Delta < 0$(即 $E > 0$),$f(x)$ 可能有0个或2个或4个实根。此时,$x_v$ 是复根对的实部中心。你可以计算 $f(x_v)$ 的值:如果 $f(x_v) > 0$,且 $f(x)$ 在两端趋于 $+\infty$,则 $f(x)$ 可能没有实根(全为复根);如果 $f(x_v) < 0$,则 $f(x)$ 必有四个实根(形成W形),且两两对称分布在 $x_v$ 两侧。

3.2 特殊情形处理:当 $C=0$ 或 $E=0$ 时的实战策略

任何通用方法都会遇到边界情况,关键是如何优雅地处理它们。“结构锚定二次式”也不例外。以下是我在实际演算中总结的、最稳妥的应对方案。

情形一:$C = 0$(缺 $x^2$ 项)
此时原式为 $f(x) = x^4 + Dx + E$。$Z = D/C$ 无定义,公式崩溃。但别慌,这恰恰是结构最清晰的情形之一。$f(x)$ 的导数为 $f'(x) = 4x^3 + D$,令其为零,得唯一临界点 $x_c = \sqrt[3]{-D/4}$。这个 $x_c$ 就是新的“锚点”。我们构造一个新的、适配此情形的遗传二次式:$g_{\text{new}}(x) = x^2 - 2x_c x + (x_c^2 + \sqrt{|E|})$。

  • 为什么是这个形式?因为 $x_c$ 是 $f(x)$ 的唯一拐点(由 $f''(x)=12x^2$ 决定),所以 $g_{\text{new}}(x)$ 的顶点就在 $x_c$。而常数项中的 $\sqrt{|E|}$,是为了让 $g_{\text{new}}(x)$ 的最小值(即 $g_{\text{new}}(x_c) = \sqrt{|E|}$)能反映 $f(x)$ 在 $x_c$ 处的“偏离高度” $|f(x_c)|$。
  • 实操心得:我试过 $f(x) = x^4 - 8x + 12$(即 $D=-8, E=12$)。计算得 $x_c = \sqrt[3]{2} \approx 1.26$,$g_{\text{new}}(x) = x^2 - 2.52x + (1.587 + 3.464) \approx x^2 - 2.52x + 5.051$。其判别式 $\Delta_{\text{new}} = (-2.52)^2 - 4 \times 5.051 \approx 6.35 - 20.20 = -13.85 < 0$,无实根,提示 $f(x)$ 可能无实根。画图验证,$f(x)$ 确实在 $x_c$ 处取得全局最小值 $f(1.26) \approx 1.26^4 - 8 \times 1.26 + 12 \approx 2.54 - 10.08 + 12 = 4.46 > 0$,故确实无实根。完美吻合。

情形二:$E = 0$(过原点)
此时 $f(x) = x(x^3 + Cx + D)$,$x=0$ 是一个确定的根。剩下的任务是解三次式 $h(x) = x^3 + Cx + D$。这时,“遗传二次式”的作用转变为指导三次式的求解。我们知道,三次式 $h(x)$ 的导数 $h'(x) = 3x^2 + C$。如果 $C > 0$,则 $h'(x) > 0$ 恒成立,$h(x)$ 单调递增,只有一个实根;如果 $C < 0$,则 $h'(x) = 0$ 有两个解 $x = \pm \sqrt{-C/3}$,即 $h(x)$ 有极大值和极小值。此时,$x_v = -D/(2C)$(来自原公式的 $Z$)就变成了 $h(x)$ 的“平均中心”。计算 $h(x_v)$ 的值,如果它大于极大值或小于极小值,则只有一个实根;如果它介于两者之间,则有三个实根。这个判断比直接计算三次式的判别式 $\Delta_h = -4C^3 - 27D^2$ 更直观、更少计算量。

情形三:数值病态($C$ 极小)
当 $|C|$ 非常小(比如 $10^{-6}$),直接计算 $Z = D/C$ 会导致巨大的数值误差(除以一个极小数)。此时,应启动“小 $C$ 修正模式”:将 $C$ 视为一个扰动参数,对 $f(x)$ 在 $C=0$ 附近做泰勒展开。核心思想是,当 $C$ 很小时,$f(x) \approx x^4 + Dx + E + Cx^2$,其中 $Cx^2$ 是一个小的“弯曲扰动”。因此,先用 $C=0$ 的方案(情形一)求出一个近似根 $x_0$,再用牛顿法迭代一次:$x_1 = x_0 - \frac{f(x_0)}{f'(x_0)}$。由于 $f'(x_0) = 4x_0^3 + 2Cx_0 + D \approx 4x_0^3 + D$,计算依然稳定。我用 $f(x) = x^4 + 10^{-6}x^2 - 5x + 6$ 测试,$C=10^{-6}$ 小到几乎可忽略,但直接套公式 $Z = -5/10^{-6} = -5 \times 10^6$,导致 $g(x)$ 的顶点在 $2.5 \times 10^6$,完全脱离实际根的范围(实际根在 $[0,2]$ 区间)。而用小 $C$ 修正模式,首轮近似根 $x_0 \approx 1.2$,一次牛顿迭代后 $x_1 \approx 1.236$,与精确解 $1.236067...$ 仅差 $10^{-6}$。这就是工程智慧:不迷信公式,而懂得以退为进。

3.3 图形化验证:如何用一张草图读懂所有根的信息

“结构锚定二次式”的最大优势,是它赋予了纯代数问题以强烈的几何直观。我强烈建议,每次计算完 $g(x)$ 后,花2分钟画一张极简草图。不需要精确坐标,只需标出几个关键点。

草图四要素:

  1. 画 $x$ 轴和 $y$ 轴
  2. 标出 $g(x)$ 的顶点 $V$:坐标为 $(x_v, g(x_v)) = (-D/(2C), W - D^2/(4C^2))$。注意,$g(x_v) = W - Z^2/4 = E + D^2/(4C^2) - D^2/(4C^2) = E$。所以 $V$ 的纵坐标恒为 $E$!这是一个绝妙的发现:无论 $C$ 和 $D$ 如何变化,$g(x)$ 的顶点总在水平线 $y=E$ 上。这让你画图变得异常简单。
  3. 标出 $g(x)$ 与 $x$ 轴的交点(如果存在):即 $x_1$ 和 $x_2$,它们关于 $x_v$ 对称。
  4. 画出 $f(x)$ 的示意曲线:根据四次函数特性,它必然是“U”形或“W”形。起点和终点都趋向 $+\infty$。关键是要画出它与 $x$ 轴的可能交点数量和大致位置。规则如下:
    • 如果 $g(x)$ 与 $x$ 轴有两个交点($E<0$),则 $f(x)$ 的曲线必须穿过 $x$ 轴至少两次,且交点必在 $[x_1, x_2]$ 内。你可以把 $f(x)$ 画成一条从左上方向下穿过 $x$ 轴进入 $[x_1, x_2]$,再穿出,最后向右上方扬起的曲线。
    • 如果 $g(x)$ 与 $x$ 轴无交点($E>0$),且 $f(x_v) = f(-D/(2C)) > 0$,则 $f(x)$ 的整个曲线都在 $x$ 轴上方,无实根;如果 $f(x_v) < 0$,则 $f(x)$ 必须是“W”形,有四个交点,对称分布在 $x_v$ 两侧。

我用 $f(x) = x^4 - 6x^2 + 8x - 3$(即 $C=-6, D=8, E=-3$)做示范。计算:$x_v = -8/(2 \times -6) = 2/3 \approx 0.667$,$g(x) = x^2 + (8/-6)x + (-3 + 64/(4 \times 36)) = x^2 - 1.333x + (-3 + 0.444) = x^2 - 1.333x - 2.556$。判别式 $\Delta = -4E = 12 > 0$,所以 $x_{1,2} = 0.667 \pm \sqrt{3} \approx 0.667 \pm 1.732$,即 $x_1 \approx -1.065$, $x_2 \approx 2.399$。顶点 $V$ 在 $(0.667, -3)$。画图:标出 $V(0.667,-3)$,标出 $x_1$ 和 $x_2$,画一条开口向上的抛物线 $g(x)$ 连接它们。再画 $f(x)$:它在 $x_1$ 和 $x_2$ 之间必须穿过 $x$ 轴,且由于 $f(0) = -3 < 0$,$f(1) = 1-6+8-3=0$,哦!$x=1$ 是一个精确根。这验证了我们的区间 $[-1.065, 2.399]$ 完全包含了真实根。草图虽简,却已道尽玄机。

4. 实操过程与核心环节实现:从纸笔到Python的完整复现

4.1 手工演算全流程演示:解 $x^4 - 6x^2 + 8x - 3 = 0$

让我们把前面所有的理论,浓缩到一个具体例子的完整求解过程中。目标:不借助计算器,仅用纸笔,完成从构建到根定位的全过程。

Step 1: 确认形式与预处理
给定 $f(x) = x^4 - 6x^2 + 8x - 3$。已无 $x^3$ 项,$C = -6$, $D = 8$, $E = -3$。形式正确,跳过预处理。

Step 2: 计算 $Z$ 和 $W$

  • $Z = D / C = 8 / (-6) = -4/3 \approx -1.333$
  • $W = E + D^2/(4C^2) = -3 + 64/(4 \times 36) = -3 + 64/144 = -3 + 4/9 = (-27 + 4)/9 = -23/9 \approx -2.556$

Step 3: 写出 $g(x)$ 并分析
$g(x) = x^2 - \frac{4}{3}x - \frac{23}{9}$

  • 顶点横坐标 $x_v = -Z/2 = (4/3)/2 = 2/3 \approx 0.667$
  • 判别式 $\Delta = -4E = -4 \times (-3) = 12 > 0$,故有两个实根。
  • 根为 $x_{1,2} = \frac{-Z \pm \sqrt{\Delta}}{2} = \frac{4/3 \pm \sqrt{12}}{2} = \frac{4}{6} \pm \frac{\sqrt{12}}{2} = \frac{2}{3} \pm \sqrt{3}$
    $\sqrt{3} \approx 1.732$,所以 $x_1 \approx 0.667 - 1.732 = -1.065$, $x_2 \approx 0.667 + 1.732 = 2.399$

Step 4: 根的存在性与区间定位
由于 $\Delta > 0$ 且 $E < 0$,$f(x)$ 至少有两个实根,且必在 $[-1.065, 2.399]$ 内。我们可以在这个区间内进行有目的的试探:

  • $f(-1) = 1 - 6 - 8 - 3 = -16 < 0$
  • $f(0) = -3 < 0$
  • $f(1) = 1 - 6 + 8 - 3 = 0$ →发现一个精确根 $x=1$!
  • $f(2) = 16 - 24 + 16 - 3 = 5 > 0$
  • $f(2.3) \approx 27.98 - 31.74 + 18.4 - 3 = 11.64 > 0$
  • $f(2.4) \approx 33.18 - 34.56 + 19.2 - 3 = 14.82 > 0$

既然 $f(1)=0$,我们可以用多项式除法,将 $f(x)$ 除以 $(x-1)$。手工长除法:
$f(x) = (x-1)(x^3 + x^2 - 5x + 3)$。
现在,解三次式 $h(x) = x^3 + x^2 - 5x + 3$。再次使用“结构锚定”思想:它的导数 $h'(x) = 3x^2 + 2x - 5$,判别式 $4 + 60 = 64$,根为 $x = \frac{-2 \pm 8}{6}$,即 $x = 1$ 和 $x = -5/3 \approx -1.667$。所以 $h(x)$ 在 $x=1$ 处有极小值,在 $x=-1.667$ 处有极大值。计算 $h(1) = 1+1-5+3 = 0$ →又一个根 $x=1$!这意味着 $x=1$ 是重根。继续除:$

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询