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

为什么公式像一封需要读懂的信

第1卷第2章没有把公式当成要背诵的图案。它从心算问题、质数与绝对值的定义进入，随后区分方程式与恒等式，再比较积的形式与和的形式。公式由某个人写给读者；符号是词汇，括号和运算顺序是语法，定义域与量词是上下文，整体形式则透露作者希望我们看见的结构。

先预测：2(x-1)=2x-2是在求x，还是在陈述任意x都成立；(x-2)(x-3)=0为何一眼能读出两个候选解；把等式两边除以x-2为何可能丢解；|x|=x是恒等式还是带条件的方程。若没有先写定义域和量词，同一个等号会被读成不同任务。

本章官方概念依次是一封名叫数学公式的情书、质数与绝对值的定义、方程式与恒等式、积的形式与和的形式。它们共同训练一项能力：不只会操作符号，还能说明每一步为什么被允许、保留了什么信息。

定义不是印象的近似描述

必须让不同读者对同一对象作出相同判断。质数的定义可写为：

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

中的“大于1”排除了1。若只说“不能被其他数整除”，会误伤所有整数都能被-1整除，也没有说明因数取正整数。2是唯一偶质数；0和1不是质数；负数是否称为质元属于另一代数语境，不能悄悄带入初等定义。

绝对值在实数上可用分段定义：

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

因此满足|x|≥0、|-x|=|x|和|xy|=|x||y|。但|x+y|=|x|+|y|并非恒成立，正确关系是三角不等式。定义产生性质，性质需要证明；不能把几个熟悉性质反过来当作完整定义而不检查是否唯一确定对象。

用反例检查定义

定义可能过宽、过窄或循环。把质数说成“不能分成两个更小正整数乘积的数”会误判1，因为1也不能这样分；把质数说成“只可被1和自己整除的奇数”又会漏掉2；把它说成“具有质数性质的数”则没有提供任何判定依据。每类错误都可用最小边界对象揭示。

检查流程是双向的。先取所有应该属于概念的代表，确认定义不会漏掉；再取最接近边界但不应属于的对象，确认定义能排除。对质数测试1,2,4，对绝对值测试正、零、负，对方程和恒等式测试“只在一个值成立”与“所有值成立”。一个定义若只能给出正例却无法排除反例，通常缺少必要条件。

还要检查定义是否可执行。p是质数当且仅当“p不可再分”听起来直观，但“不可再分”若没有被另行定义，判定仍然含糊。正因数定义把它化为可枚举关系；在更大规模上可进一步设计算法，但计算快慢不改变逻辑含义。定义负责确定对象，算法负责判定对象，两者相关却不相同。

定义之间可以互相推出等价表述，但等价需要证明。例如实数绝对值也可由|x|=\sqrt{x^2}定义；要证明它与分段式一致，分别讨论x≥0和x<0。证明完成后才能自由切换表示，用距离解释几何，用平方根参与代数。

同一个等号，两种不同任务

隐含存在性问题。比如：

$$x-1=0$$

在实数域的解集是{1}。隐含全称量词。例如：

$$2(x-1)\equiv 2x-2.$$

两边的表达式对每个实数x取值相同。用≡可以强调恒等，但很多教材仍写=，因此必须从上下文判断。方程的任务是求满足者，证据是完整解集且无增根失根；恒等式的任务是证明任意值成立，证据是从定义与已知恒等律出发的通用推导。

有限代入不能证明恒等式。检查x=0,1,2都成立，只证明三个点；两个次数不受限的函数仍可在其他点分离。对次数不超过n的多项式，足够多不同点可借助多项式根的定理证明相等，但“次数界”正是额外前提。最稳妥的方法是做合法代数变形并标注定义域。

有些陈述介于两者之间。|x|=x在x≥0时成立，在负数时不成立；它可以被读作方程，解集为[0,∞)，也可以被写成带前提的恒等陈述：对所有非负x成立。量词和前提一旦补全，歧义消失。

积的形式让零点显形

考虑方程：

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

在没有零因子的数域（如实数或复数）中，零乘积性质给出x-α=0或x-β=0，所以解为x=α或x=β。这里必须说“至少一个因式为0”，因为当α=β时两个因式可以同时为0。把求根问题转成更小的方程。

展开得到：

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

这是关于x,α,β的恒等式。右侧是。将同一恒等式放进方程，可得：

$$x^2-(\alpha+\beta)x+\alpha\beta=0,$$

它与原积式有相同解集。积式暴露根，和式暴露根的和α+β与积αβ如何进入系数；后续学习韦达关系、生成函数或多项式时，这种“换一种形式看同一个对象”的动作会反复出现。

零乘积性质也依赖数域

从uv=0推出u=0或v=0，在整数、实数和复数中成立，因为这些结构没有非零零因子。但在模6剩余类中，2·3≡0 (mod 6)，2和3都不等于0。若把积式求根规则搬到任意代数结构，就会忽略定义域并得到错误结论。

这不是要求初学者先掌握抽象代数，而是训练阅读习惯：定理总在某个对象系统中陈述。ab=ac约去a也要求a≠0或结构允许消去；大小比较要求有序结构；平方根的实数规则不能原样用于复数。公式越熟悉，越容易忘记它依赖的背景。

在通常的实数二次方程中，零乘积性质可放心使用。验收时仍要写出逻辑连接词“或”，并收集所有因式为0的候选。若因式重复，如(x-2)^2=0，解集只有{2}，但根具有重数2；“两个因式”不意味着两个不同解。

形式还决定后续任务。研究符号时，积式能按根把数轴分区；做数值计算时，展开式可能遭遇消去误差，积式可能更稳定；比较两个多项式时，和式方便逐项比较系数。等价表达式拥有相同数学值，却不保证有相同的可读性和计算性质。

因此每次变形后都写一句“现在更容易看见什么”，并保留一条反向验算路径；只会展开而不知道目的，仍没有读懂这封公式写成的信。

等价变形与解集风险

比“左右看起来更简单”严格。两边加减同一表达式通常等价；乘除非零常数等价；但乘除含未知量的表达式必须单独检查它何时为0。

例如从(x-2)(x-3)=0两边除以x-2得到x-3=0，会丢失x=2。反过来，两边平方可能引入符号不同的增根：x=1平方后成为x^2=1，后者还有x=-1。开方、取对数、约分和交叉相乘也都带定义域条件。

安全流程是：先写原定义域；记录每个可能不等价步骤的附加条件；求出变形后候选；回代原方程筛选。因式分解与展开本身是恒等变形，所以代入同一方程时通常保持解集；除以因式则不是，因为它在因式为0处没有定义。

四步读懂陌生公式

先读符号：x是未知量、任意变量还是参数；p是否已声明质数；竖线表示绝对值、整除还是集合大小。再读定义域：整数上的因式分解、实数上的开方、复数上的根不同。接着读量词：求一个值、找全部值，还是证明任意值成立。最后读整体结构：最外层是和、积、幂、分式还是函数复合。

公式的“另一头”还包括作者的目标。把多项式写成积，是邀请你看零点；写成和，是邀请你看系数；写成绝对值，是邀请你看距离或分段；写成恒等式，是邀请你把一种形式转换成另一种。能回答“为什么此刻写成这样”，才算真正读到数学公式携带的信息。

本章回顾：定义、量词与形式

1. 质数和绝对值的定义包含对象、定义域、必要充分条件与边界。
2. 方程式寻找使等式成立的值，恒等式断言所有允许值都成立；等号外观不能替代量词。
3. 积的形式暴露因式和零点，和的形式暴露项、次数和系数。
4. 展开与因式分解由恒等式连接，可以把同一方程切换到更适合任务的形式。
5. 除法、平方、开方等操作可能改变解集，必须记录条件并回代原式。
6. 阅读公式依次核对符号、定义域、量词与整体结构，最后识别作者希望传递的目标。

术语表