跨卷导读：方程、根与求解证据

从解集开始：方程不是把未知量机械搬家

这是一页跨卷导读，不是一章把所有求根公式重新讲完的教材。作者目录中的《一封名叫数学公式的情书》首先提醒我们：公式不是装饰，它把对象、关系和可操作的变形固定下来。本页把前四卷中反复出现的方程线索连成一条证据链，但不替代任何原书章节的叙事、证明和练习。作者目录用于核对原书范围。

先预测：如果等式两边做了同一个看似合理的操作，原方程的全部解是否一定还在？不一定。求解的对象是定义域内的解集；每一步都要说明它是否可逆，若只是单向推出，就必须把候选代回原式。

公式的两种身份：方程式与恒等式

第1卷第2章《一封名叫数学公式的情书》提供了一个很好的入口：方程式与恒等式都写着等号，但任务不同。方程式要求在给定定义域中找出使等式成立的未知量；恒等式则要求在它有定义的范围内，对所有允许取值都成立。

“质数与绝对值的定义”也属于同一条训练：先说对象是什么，再说符号如何作用。若不声明变量所在集合，$|x|$、分式和根式都可能被误读。把“对象—定义—关系”写完整，才知道一条变形究竟保留了什么。

积的形式与和的形式是另一个反复出现的转换。因式分解强调乘法结构，展开式强调系数比较；两种形式描述同一个多项式，却让不同的求解动作变得容易。公式不是答案本身，而是为下一步选择合适的表示。

等价变形：从定义域到候选集

是求解流程的第一项证据。对

可以用零乘积性质得到 $x=0$ 或 $x=1$；如果直接除以 $x$，则会把 $x=0$ 从问题中删掉。乘以一个可能为零的表达式也可能引入额外解，所以“同乘同除”只有在可逆条件明确时才是等价操作。

平方、开方和通分需要更谨慎。由 $x=2$ 可以推出 $x^2=4$，但由 $x^2=4$ 只能得到候选 $x=2$ 或 $x=-2$；由分式方程清除分母前，必须把分母为零的值列入排除集。可靠的求解记录包含五步：写定义域，标出等价或单向，形成候选集，代回原式，输出最终解集。

二次方程：判别式与根的对称信息

从配方推导求根公式

对 $a\ne0$ 的二次方程

除以 $a$ 并配方：

因此

根号下的 判别式 $\Delta=b^2-4ac$ 在实数域中区分三种情况：$\Delta$ 大于 0 有两个不同实根，等于 0 有一个二重根，小于 0 没有实根；在复数域中则总有两个根并按重数计算。结论必须连同“在哪个数域”一起写。

韦达关系不是另一个求根公式

若根为 $r_1,r_2$，则

比较系数得到 韦达关系：

它的价值是直接计算根的对称量，而不必先求出每个根。高次多项式也有对应的初等对称多项式，但符号数量增加后，必须更仔细地区分根的重数、系数归一化和所在数域。

高次方程的边界

阿贝尔—鲁菲尼定理否定的是一般五次及以上方程的通用根式公式，不是否定每一个高次方程都能得到精确解。某些方程具有特殊对称性，可以因式分解；另一些方程适合数值算法。发布级表述必须写清“通用公式”“根式表达”“数值近似”分别是什么意思。

线性方程组：行变换保持解集

线性系统可以写成

交换方程、把方程乘以非零常数、用一个方程的倍数加到另一个方程，都会保持方程组的解集。高斯消元把增广矩阵化为阶梯形，再根据主元和矛盾行分类：出现 $0=1$ 一类的行则无解；每个未知量都有主元则唯一解；没有矛盾且存在自由变量则有无穷多解。

二阶矩阵

的 行列式 为 $\det(A)=ad-bc$。当行列式不为零时，矩阵可逆并且系统有唯一解；当行列式为零时，只能确定“不是唯一解”，还要看增广矩阵判断无解还是无穷多解。

递推和方程：同一个根可以解释增长

斐波那契递推

可以尝试 $F_n=r^n$，得到特征方程

两个根决定通解的增长模式；矩阵状态转移则把相邻两项放进向量，用特征值解释长期行为。这里的“根”不是只为解一元方程服务，它还连接数列、线性变换和算法复杂度。

数值求根：近似答案也要留下失败证据

对可微函数 $f$，牛顿迭代从初值 $x_0$ 开始：

在根附近且导数不接近零时，它往往收敛很快；但初值不当、导数过小、迭代越界或函数不够平滑，都可能让它失败。残差 $|f(x_n)|$ 只能说明方程满足程度，不等同于答案与真值之间的前向误差。

工程实现至少要记录初值、容差、迭代次数、残差和停止原因。已知连续函数在区间两端异号时，可以用二分法提供包围区间，作为牛顿步失控时的保护。对病态问题，还要结合相对误差和尺度调整，不能只看一个固定绝对阈值。

type NewtonResult =
  | { ok: true; root: number; iterations: number; residual: number }
  | { ok: false; reason: string; iterations: number };
 
export function newton(
  f: (x: number) => number,
  derivative: (x: number) => number,
  initial: number,
  tolerance = 1e-10,
  maxIterations = 50,
): NewtonResult {
  let x = initial;
 
  for (let iteration = 0; iteration < maxIterations; iteration += 1) {
    const residual = Math.abs(f(x));
    if (residual <= tolerance) {
      return { ok: true, root: x, iterations: iteration, residual };
    }
 
    const slope = derivative(x);
    if (!Number.isFinite(slope) || Math.abs(slope) < 1e-14) {
      return {
        ok: false,
        reason: "derivative too small",
        iterations: iteration,
      };
    }
 
    x -= f(x) / slope;
    if (!Number.isFinite(x)) {
      return { ok: false, reason: "iteration diverged", iterations: iteration };
    }
  }
 
  return {
    ok: false,
    reason: "iteration limit reached",
    iterations: maxIterations,
  };
}

三步求解复习

回到原书：方程是表达问题的语言

前四卷没有一章可以替代“方程求解”的全部内容，却在不同对象中反复使用方程语言：数列递推描述时间推进，勾股与费马方程约束整数解，复数方程揭示单位根对称，极限定义把条件写成量词关系，矩阵方程描述状态转移，随机算法用递推计算期望运行步数。

因此本页的验收不是背完一个公式表，而是看到新方程时先问：未知量在哪个域？目标是全部精确解、一个候选解，还是近似解？哪一步保持了解集？最后用什么代回、残差或边界证据验收？

本章练习

本章回顾

• 方程求解的对象是定义域内的完整解集；恒等式则是在其定义域内对所有允许值成立。
• 等价变形保持解集，平方、开方、约分和通分可能需要候选筛选与回代。
• 二次公式来自配方；判别式判断实根结构；韦达关系直接表达根的对称量。
• 一般五次及以上方程没有通用根式公式，不等于每个具体高次方程都不可解。
• 线性系统通过行变换分类为无解、唯一解或无穷多解；行列式为零不能独立完成分类。
• 数值求根的交付物包括近似根、残差、停止原因、失败边界和可复现实验条件。