Euler's Eyes
2026-10-15
数学记号的符号学
第 27 页，共 46 页
一个字母，五种角色
看看这五行：
$$x+3=7,\qquad A=b\cdot h,\qquad a+b=b+a,\qquad y=kx,\qquad \sin^2x+\cos^2x=1.$$它们都用了字母，看起来都是代数。但在任何两行里，字母做的事都不一样。
- 在 $x+3=7$ 中，$x$ 是一个确定而未知的数。只有 $4$ 合适。它是未知数。
- 在 $A=b\cdot h$ 中，字母什么也不隐藏：它们说的是三个量之间的关系。这是一个公式，字母是一起变化的量。
- 在 $a+b=b+a$ 中，字母是任意的数。这句话对每一对数都成立。字母在推广。
- 在 $y=kx$ 中，$x$ 和 $y$ 在移动，$k$ 保持不动。$k$ 是参数：在每个问题里固定，但可以任意取。
- 在 $\sin^2x+\cos^2x=1$ 中，$x$ 也是任意的，但这句话不是要解的方程：它是一个恒等式，对每个 $x$ 都成立。
乌西斯金的观念
1988 年，美国教育学者扎尔曼·乌西斯金（Zalman Usiskin）在一篇后来成为经典的文章中提出：学校代数混合了至少四种观念，每一种都给字母一个不同的角色：
| 代数观 | 字母是什么 | 例子 |
|---|---|---|
| 推广的算术 | 推广某个规律的任意数 | $a+b=b+a$ |
| 解决问题 | 未知数，等待被发现 | $3x+5=20$ |
| 研究关系 | 变量，随其他量一起变化 | $y=2x+1$ |
| 研究结构 | 按规则操作的任意符号 | $x^2-y^2=(x-y)(x+y)$ |
在最后一行，没有人去想数：$x$ 和 $y$ 是按规则移动的记号，就像棋子。在这四种之外，我们再加上第五种，它贯穿全书：作为名字的字母，函数的名字（$f$）、常数的名字（$\pi$、$e$、$c$）或对象的名字（点 $A$，直线 $r$）。
文字不提醒你
符号学上的问题在于：对所有角色，写法都一样。能指里没有任何东西能区分未知数和变量：两者都是一个斜体的 $x$。起决定作用的是语境，也就是莫里斯所说的语用（见第 2 章）。线索通常是一些小词，学生学会了忽略它们，其实不该忽略：
- “求 $x$，使得……”宣告一个未知数。
- “对任意 $x$……”或“设 $a$、$b$ 为实数”宣告一个任意数。
- “当 $x$ 增大时，$y$……”宣告变量。
- “已知 $a>0$……”宣告一个参数。
职业数学家读这些线索时毫无察觉。学生却往往不知道它们存在，后果就体现在我们将在第 8 篇看到的错误里。
练习：每个字母的角色是什么？
(a) $2n$ 总是偶数。(b) $2x=10$。(c) $s=s_0+vt$。(d) $(a+1)^2=a^2+2a+1$。
(a) $n$ 是任意整数：字母在推广。(b) $x$ 是未知数，只能是 $5$。(c) $s$ 和 $t$ 一起变化；$s_0$ 和 $v$ 是参数，对每一种运动是固定的。(d) $a$ 是任意的：这是恒等式，在变形中字母可以当作任意符号处理。
练习：同样的写法，两种角色
式子 $x^2=4x$ 可以有两种读法。作为方程，它问哪些 $x$ 使它成立：$x^2-4x=0$，$x(x-4)=0$，所以 $x=0$ 或 $x=4$。作为函数的比较，它比较曲线 $y=x^2$ 与 $y=4x$，解就变成两条曲线的交点。写法完全相同；变的是读者拿它做什么。