第1卷第2章一封名叫数学公式的情书

把公式当作需要读懂的信：从质数与绝对值的定义出发，补全定义域与量词，区分方程式和恒等式，并在积的形式与和的形式之间做保持解集的变形。

学习目标

能解释公式如何借助符号、定义域与量词传递一个可验收的数学断言
能推导质数与绝对值的边界定义，并用正例、反例和回代检查它们
能区分方程式与恒等式，判断积的形式或和的形式更适合当前任务
能手算 $(x-2)(x-3)=0$ 的解集，并回答“除以 $x-2$ 会丢掉什么证据？”

先读信的语气：这章要解决什么

想象你收到一封只写着“请把它变得更简单”的信。你会先确认每个词的意思、谁可以代入，以及这句话是在提问还是在陈述；若直接按字面搬动符号，可能把真正重要的条件删掉。公式也一样：它把对象、关系和作者希望你完成的动作压缩在一行里。

本章训练的不是背更多公式，而是读出公式的任务。没有这一步，看到同一个等号时，你可能把“找出满足者”误当成“证明所有值都成立”，把一个定义的边界漏掉，或为了露出系数而改变原方程的解集。

先预测：2(x-1)=2x-2 是在求 x，还是在陈述任意 x 都成立？(x-2)(x-3)=0 为什么能直接读出两个候选？如果把两边除以 x-2，哪一个候选会消失？带着这三个问题读，后面的图和练习都会留下可检查的证据。

切换标签观察任务、量词和验收证据如何一起改变；两种读法都不能只看等号外形。

质数与绝对值的定义

本节把质数与绝对值的定义并置，是为了比较两种“先说边界、再推出性质”的读法：前者筛选自然数，后者把有方向的数转换成距离，二者都必须先声明输入范围。

质数定义要能判定

质数不是“看起来不能分”的数，而是一条可以执行的判定规则。对自然数 $p$ ，初等定义写成：

p\ge 2,\qquad d\mid p\Longrightarrow d=1\ \text{或}\ d=p\quad(d\in\mathbb N).

这个式子在说：候选 $p$ 先要位于自然数边界 $p\ge2$ ，再检查它的每个正因数 $d$ 是否只能是两端的 1 和 $p$ 。所以 2 是唯一偶质数，1 被第一条条件排除，4 则因有正因数 2 而被排除。

定义的质量要用边界测试验收。取一个应当属于的例子 2，再取最接近的反例 1 和 4；如果某个说法把 1 也算进去，或漏掉 2，就说明它不是完整定义。定义负责确定对象，试除等算法负责更快地判定对象，两者不要混成同一件事。

绝对值把方向变成距离

在实数上，绝对值可以按正负分段：

|x|=\begin{cases}x,&x\ge0,\\-x,&x<0.\end{cases}

这个式子在说：正数和零保留原值，负数翻转符号，因此结果始终是到零的非负距离。由此可以验证 $|-x|=|x|$ 和 $|xy|=|x||y|$ ；但 $|x+y|=|x|+|y|$ 不是恒等式，只有在两个数方向不相反等附加条件下才可能取等。

把定义和性质分开很重要。|x|=x 只在 $x\ge0$ 时成立；如果缺少这个前提，它不是对所有实数成立的恒等式。正、零、负三个边界已经足以让我们发现“把绝对值当作去掉竖线”会错在哪里。

定义同时给出对象、边界和判定规则：1 被排除，2 是唯一偶质数，绝对值记录到零的距离。

方程式与恒等式

本节的方程式与恒等式都使用等号，却交付不同证据：前者要报告定义域内的完整解集，后者要给出对所有允许输入都能复现的推导。

先补全与。的输出是解集，例如 $x-1=0$ 在实数中的解集是 $\{1\}$ ；的任务则是证明通用关系，例如：

2(x-1)=2x-2.

这个式子在说：对每个允许的实数 $x$ ，左侧和右侧取值都相同。代入 $x=0,1,2$ 只能抽查三个点；真正的证据是分配律和合并同类项这样的对任意 $x$ 都可用的推导。

有些句子需要把前提写出来才不歧义： $|x|=x$ 可以作为方程式求解，解集是 $[0,\infty)$ ；也可以写成“对所有 $x\ge0$ ， $|x|=x$ ”，这时它是带条件的恒等陈述。等号的墨迹没有变，阅读任务却由量词决定。

等号相同，量词不同：方程式输出解集，恒等式输出对所有允许输入的证明。

积的形式与和的形式

本节把积的形式与和的形式当成同一对象的两扇观察窗：前者保留因式和零点，后者保留次数、系数以及根的对称信息，选择哪一扇取决于下一步任务。

考虑

(x-\alpha)(x-\beta)=0.

这个式子在说：在实数或复数这类没有非零零因子的数域中，至少一个因式必须为零，所以候选是 $x=\alpha$ 或 $x=\beta$ 。这一步使用的是，而不是“看到括号就拆开”。若 $\alpha=\beta$ ，解集仍只有一个不同的值，但这个根有重数 2。

展开同一个乘积得到：

(x-\alpha)(x-\beta)=x^2-(\alpha+\beta)x+\alpha\beta.

这个式子在说：根的和 $\alpha+\beta$ 进入一次项系数，根的积 $\alpha\beta$ 成为常数项。左侧适合读零点，右侧适合比较系数；它们由恒等式连接，所以把其中一种放进“等于 0”的方程时，解集不变。

例如 $x^2-5x+6=0$ 可以因式分解为 $(x-2)(x-3)=0$ ，于是解集为 $\{2,3\}$ 。如果任务是研究根的和与积，和式直接给出 $2+3=5$ 与 $2\cdot3=6$ ；如果任务是找根，积式更快。好形式不是绝对的“更简单”，而是更适合下一步观察。

积式把零点放在台前，和式把系数结构放在台前；变形前先说清楚下一步要看什么。

等价变形要保护解集

的验收标准是解集相同，而不是新式子看起来更短。两边加同一个式子、减同一个式子，或乘以非零常数，通常可以反向恢复；但除以含未知量的因式、两边平方、开方和清分母，都要记录附加条件。

从 $(x-2)(x-3)=0$ 两边除以 $x-2$ ，只得到 $x-3=0$ ，因为这一步已经假设 $x-2\ne0$ ；原来的候选 $x=2$ 恰好被删掉。反过来，把 $x=1$ 平方得到 $x^2=1$ ，则新方程还允许 $x=-1$ ，说明单向推出产生的候选必须回到原式筛选。

安全记录可以压缩成四步：先写原定义域；为每个操作标记“可逆”或“单向”；收集变形后的候选；把候选代回原方程并输出最终解集。若某一步只保留了充分条件，就不能把候选直接写成结论。

四步读懂陌生公式

读符号：变量、参数、绝对值竖线和整除竖线是否被声明。
读定义域：是在自然数、整数、实数还是复数中工作，分母与根式还有什么限制。
读量词：是在找一个值、找完整解集，还是证明任意允许值都成立。
读结构：最外层是和、积、幂还是分式；作者希望你看零点、系数、距离还是变形路径。

公式像一封信，形式是作者选择的语气。把多项式写成积，是邀请你看根；写成和，是邀请你看系数；写成绝对值，是邀请你看距离或分段。每次变形都补一句“现在更容易看见什么”，就能避免机械操作。

分步练习：把阅读变成证据

分步1 / 4

1. 定义：测试质数与绝对值的边界

对 1、2、4 分别写出“属于/不属于质数”的理由；再用正、零、负三个输入验证绝对值的分段定义。注意不要把“性质”冒充“定义”。

定义同时给出对象、边界和判定规则：1 被排除，2 是唯一偶质数，绝对值记录到零的距离。

小结：读公式的四条检查线

定义必须包含对象、范围和能执行的边界条件。
方程式输出解集，恒等式断言所有允许输入都成立。
积的形式突出零点，和的形式突出系数与对称信息。
变形要标记可逆性，单向步骤的候选必须回代原式。

练习与答案

练习

问题 1：质数与绝对值的定义——定义与反例

为什么 1 不是质数？请给出一个把 1 错判为质数的常见说法，并指出它缺少了哪条边界。

问题 2：方程式与恒等式——等号与量词

分别判断 x-1=0 与 2(x-1)=2x-2 的任务，并说明为什么代入 x=0,1,2 不能单独证明第二式。

问题 3：积的形式与和的形式——解集风险

求解 $(x-2)(x-3)=0$ 。如果两边除以 $x-2$ ，会得到什么不完整结果？请用一句话修复这个过程。

问题 4：改 Demo 代码

在 MglFormulaReadingDiagram 中增加一个“带条件的陈述”模式，显示 |x|=x（x≥0），并让重置按钮仍回到方程式模式。你需要新增哪个状态值，哪些文字必须同步更新？

名词解释

本章出现的专业名词，用大白话再讲一遍。

定义域: 允许代入的输入范围；分母不能为零、根式要有意义等限制也属于它。
量词: 说明是在说“至少有一个”还是“每一个都”的范围词。
方程式: 提出筛选任务：找出让等式成立的全部输入。
恒等式: 在指定范围内，每个允许输入都成立的等式。
零乘积性质: 在普通数域中，乘积为零时至少有一个因式为零。
等价变形: 前后方程拥有同一解集的变形；若步骤不可逆，就必须另外回代检查。