数学文献库 zbMATH 收录了约 480 万篇论文,按每篇几十条公式估算,人类写下过的公式在 10⁸ 量级。但如果问”哪些公式烧掉之后文明要从头重写”,答案会缩到两位数。这份”种子清单”不用我拍脑袋——它有两份公认的权威版本:Ian Stewart《改变世界的 17 个方程》(数学家选的 17 条)和 Robert Crease《伟大的方程》(Physics World 读者投票出的 10 条)。两份榜单取并集、去重,恰好 22 条。本篇把它们全部枚举出来,从简单的开始,每一条都给精确写法、逐符号解释、以及一句”它为什么是种子”。姊妹篇《种子公式全录(下)》收更硬核的两层:ZFC 九条公理与 Wiedijk 百定理。
先交代口径,免得被抬杠:
- 入选即出处。22 条 = Stewart 17 条 ∪ Crease 10 条(重合 5 条:勾股、万有引力、麦克斯韦、热二律、薛定谔),外加 Crease 用作开卷的 。每条标注来源(S = Stewart,C = Crease)。
- “精确”的含义:给出该公式在原榜单中的写法;当原榜单的记号有歧义或非主流时,加注说明(你会在正态分布那条看到例子)。
- 两本书都偏物理——这是大众正典层的特点,不是缺陷;纯数学的种子在下篇的 ZFC 与 Wiedijk 100 里。
第一幕:数与形(6 条)——一切的地基
1. 最简单的算式(C,开卷)
符号:没有需要解释的符号——这正是它入选的原因。
为什么是种子:它示范了”显然”与”已证”之间的鸿沟。罗素与怀特海的《数学原理》(Principia Mathematica)用了整整一卷的铺垫才在第一卷 ✱54.43 处写下”当算术加法被定义后, 将随之成立”,完整证明直到第二卷才完成,作者还幽默地附注”上述命题偶尔有用”(The above proposition is occasionally useful)。在皮亚诺算术里它是三步推导:记 、( 是后继函数,“加一”),由加法的递归定义 得
“最显然的事实也必须从公理走到”——这个态度就是下篇 ZFC 与形式化数学的全部起点。
2. 勾股定理(S #1,C)
符号:直角三角形中,、 为两条直角边(勾、股), 为斜边(弦)。逆命题同样成立:满足此式的三角形必是直角三角形。
为什么是种子:它定义了距离。平面上两点 、 的距离 就是它;后世一切范数、度量空间、最小二乘法、深度学习里的均方误差,全是这一条的后代。
3. 对数(S #2)
符号: 为任意固定底数 (,)的对数,。 的定义:使 成立的那个指数 。
为什么是种子:它把乘法降级为加法——航海时代的天文计算靠它(对数表、计算尺)从数周缩到数小时。今天它藏在每个 log-likelihood、每次熵的计算里:概率连乘一取对数就变连加,这是整个统计学习的日常操作。
4. 虚数单位(S #5)
符号: 为虚数单位。复数 ()构成复平面上的点 。
为什么是种子: 不是”不存在的数”,而是”逆时针转 90°“这个动作的名字——转两次恰好是乘 (掉头 180°)。它把代数从数轴解放到平面,让”方程 无解”变成”解在数轴外面”。详细的零基础拆解见本站《欧拉公式:不是一个数,是”旋转”的名字》。
5. 欧拉恒等式(C,Physics World 投票第一)
符号: 为自然常数, 为虚数单位, 为圆周率。一条式子串起五个最基本的常数 。
为什么是种子:它是欧拉公式 在 处的特例——“连续垂直增长 那么久,正好掉头”。Physics World 读者把它票选为最伟大的方程,评语包括”最深刻的数学陈述”。它的完整推导(两条独立路线)同样见欧拉公式那篇。
6. 欧拉多面体公式(S #6)
符号:任意凸多面体的顶点数 (vertex)、棱数 (edge)、面数 (face)。(Stewart 书中印作 ,同一条式子。)手验立方体: ✓;四面体: ✓。
为什么是种子:这是拓扑学的出生证明——历史上第一个”形变不变量”:把多面体怎么捏、怎么拉伸,这个数都不变。它日后推广为欧拉示性数 ,是”不看长度、只看连接方式”这整门学问(拓扑)的起点。注意:此”欧拉公式”与第 5 条的 是两条完全不同的公式,撞名而已——Stewart 榜单收的是这条,Crease 榜单收的是那条。
第二幕:变化与力(3 条)——微积分与力学
7. 导数的定义(S #3)
符号: 为随 变化的量; 为一小段时间增量; 表示”令 无限趋近于 0 时该比值的极限”。左边 读作” 对 的导数”,即瞬时变化率。
为什么是种子:它让”这一瞬间的速度”这句话第一次有了合法定义——平均速度(差商)在时间窗缩到零的极限。整个微积分、一切微分方程、以及深度学习赖以训练的梯度,都从这一条长出来。
8. 牛顿第二定律(C)
符号: 为物体所受合外力(矢量), 为质量, 为加速度(矢量)。更一般的原始形式是 (动量 的变化率),质量恒定时二者等价。
为什么是种子:它第一次用等号连接了”原因(力)“与”变化(加速度)“。配合第 7 条,它宣告了物理学的基本语法:自然定律 = 微分方程。此后三百年的物理学都在写这个句型的新句子。
9. 万有引力定律(S #4,C)
符号: 为两质点间引力大小, 为两者质量, 为两者距离, 为引力常数。
为什么是种子:苹果落地与月亮绕地第一次被证明是同一件事——“天上”和”地下”共用一套定律。这是科学史上第一次大统一,也立下了此后所有统一梦想(麦克斯韦、爱因斯坦、标准模型)的榜样。
第三幕:连续的世界——波与场(4 条)
10. 波动方程(S #8)
符号: 为位置 、时刻 处介质的位移(如琴弦偏离平衡的高度); 为波速; 为偏导数记号——多变量函数只对其中一个变量求导。
为什么是种子:这是历史上第一个场方程:描写的不再是一个质点,而是”每一点都有值”的连续对象。它说:每一小段介质的加速度,正比于它比左右邻居”翘起”多少(二阶空间导数度量的正是这个)。声、光、水波、地震波,同一条方程。
11. 傅里叶变换(S #9)
符号: 为原信号; 为它在频率 上的分量强度; 为对全轴积分; 正是欧拉公式里的”旋转”——以频率 匀速转圈的单位复数。
为什么是种子:它宣告任何信号都是旋转的叠加——把一段声音、一张图像拆成纯频率成分的配方单。压缩(JPEG/MP3)、信号处理、量子力学、乃至求解偏微分方程的谱方法,全靠这张配方单。它也是欧拉公式最重要的直系后代。
12. 纳维–斯托克斯方程(S #10)
符号: 为流体密度, 为速度场, 为压强, 为(黏性)应力张量, 为单位体积体积力(如重力); 为空间导数算子(梯度/散度)。左边是流体微元的”质量 × 加速度”,右边是它受的力——本质上是第 8 条 写给流体的版本。
为什么是种子:从天气预报、飞机机翼到血液流动,一切流体都归它管。同时它是谦卑课:三维情形下”光滑解是否总存在”至今未知,是克雷研究所悬赏百万美元的千禧年七大难题之一——我们天天用的方程,数学上还没被驯服。
13. 麦克斯韦方程组(S #11,C)
符号: 为电场, 为磁场, 为光速;(散度)度量场从一点”冒出”多少,(旋度)度量场绕一点”打转”多少。记号注意:这是 Stewart 书中所印的真空、高斯单位制形式;教科书常见的 SI 有源形式在前两式右边分别有 (电荷)与 ,后两式含 (电流)项。
为什么是种子:四条式子首尾相咬——变化的电场生磁场,变化的磁场生电场——联立后恰好得到第 10 条形式的波动方程,波速恰好等于 。“光是电磁波”是从方程里掉出来的,不是实验先发现的。无线电、雷达、手机信号,都是这次”纸上预言”的后代。
第四幕:热、随机与信息(3 条)
14. 热力学第二定律(S #12,C)
符号: 为孤立系统的熵(无序程度的度量), 为其变化量。Crease 书中写作 (末态熵不小于初态熵),同义。
为什么是种子:物理定律几乎全是时间可逆的——唯独这条不是。它给了宇宙一个方向(时间之箭):热量自发地只从高温流向低温,孤立系统的无序只增不减。它也是所有”永动机”的死刑判决书,并在一个世纪后与第 16 条(香农熵)意外重逢。
15. 正态分布(S #7)
符号: 为均值(钟形曲线的中心), 为标准差(钟形的胖瘦), 为方差。记号注意:Stewart 书中用 表示这条概率密度函数;主流教科书惯例是密度用小写 或 ,大写 留给累积分布函数——引用时留意。
为什么是种子:中心极限定理(下篇 Wiedijk 榜第 47 条)保证:大量独立小扰动之和,无论每个扰动本身什么分布,总和都逼近这条钟形曲线。所以测量误差、身高、噪声都长这个样——它是”随机性叠加”的普遍极限形状,统计学的地基。
16. 香农信息熵(S #15)
符号: 遍历信源的所有可能消息, 为消息 出现的概率; 取 2 为底时 的单位是比特。 为求和号。
为什么是种子:1948 年香农用它把”信息”变成了可度量的物理量,并一举给出压缩的极限(无损压缩不能低于 比特/符号)与通信的极限(信道容量)。今天 LLM 训练的交叉熵损失、评估用的困惑度,全是这条式子的直系后代——本站《为什么困惑度要取对数》拆过这条线。
第五幕:相对论与量子(4 条)——二十世纪的两场革命
17. 质能方程(S #13,C)
符号: 为能量, 为质量, 为真空光速。(严格地说这是静止物体的情形;运动物体的完整关系是 , 为动量。)
为什么是种子:质量与能量是同一种东西的两种记账方式,汇率是 ——一个大得惊人的数(1 克质量 ≈ 9 × 10¹³ 焦耳)。恒星发光、核能、正负电子湮灭,都是这本账的条目。
18. 爱因斯坦场方程(C)
符号: 为时空度规(定义时空中”距离”怎么量), 与 为由度规算出的里奇曲率张量与标量曲率(度量时空弯曲程度),合成爱因斯坦张量 ; 为能量–动量张量(物质与能量的分布);、 同前;下标 各取 (一维时间 + 三维空间),故这其实是一组十个独立方程。宇宙学场合左边可加 (宇宙学常数项)。
为什么是种子:左边是几何(时空多弯),右边是物质(能量多少)——引力不是力,是弯曲。物理学家惠勒的著名概括:“时空告诉物质如何运动,物质告诉时空如何弯曲。” GPS 的时钟修正、黑洞、引力波,全在这十个方程里。
19. 薛定谔方程(S #14,C)
符号: 为波函数(其模方 给出粒子出现在各处的概率密度); 为约化普朗克常数; 为哈密顿算符(系统总能量的算符化身); 又是那个”转 90°”。
为什么是种子:它是量子世界的 ——规定波函数如何随时间演化。注意左边那个 :能量本征态的演化是 ,每个量子态都在以自己能量决定的频率打转——欧拉公式的旋转图景再次现身,这不是巧合,是量子力学的骨架。
20. 海森堡不确定性原理(C)
符号: 为位置测量值的标准差, 为动量测量值的标准差, 同前。 在此是统计意义的”弥散”,不是”仪器误差”。
为什么是种子:位置分布与动量分布恰好构成一对傅里叶变换对(第 11 条),而傅里叶数学本身就规定:一个函数越窄,它的变换就越宽。不确定性不是技术不行,是数学不允许——想同时知道”在哪”和”往哪去”,宇宙的账本上没有这一栏。
第六幕:混沌与市场(2 条)——确定性的黄昏
21. 逻辑斯蒂映射(S #16)
符号: 为第 代种群占环境容量的比例; 为增长率参数;下标 表示离散的代际。规则读作:下一代 = 增长率 × 这一代 × 剩余空间。
为什么是种子:一条初中生能手算的二次迭代,在 越过约 3.57 后进入混沌:完全确定的规则,产生对初值极端敏感、长期不可预测的轨道(差 0.0001 的两个初值,几十步后天各一方)。它宣告”确定性 ≠ 可预测性”——天气预报有原理性上限(蝴蝶效应),不是算力不够。
22. 布莱克–斯科尔斯方程(S #17)
符号: 为期权在标的价格 、时刻 的理论价格; 为标的资产的波动率; 为无风险利率。
为什么是种子:它给”不确定的未来”标了价——把期权定价从讨价还价变成解一条偏微分方程(变量替换后它就是物理里的热传导方程,“价格的扩散”与”热量的扩散”同构)。1997 年诺贝尔经济学奖授予斯科尔斯与默顿。Stewart 把它排在压轴也有警世意味:对它的滥用(把模型当现实)被广泛认为是 2008 年金融危机的助燃剂——种子公式也会长出毒草,取决于使用者是否记得它的假设边界。
全表速查
| # | 公式 | 名称 | 榜单 | 驯服了什么 |
|---|---|---|---|---|
| 1 | 最简单的算式 | C | ”显然”与”已证”的距离 | |
| 2 | 勾股定理 | S, C | 距离 | |
| 3 | 对数 | S | 乘法(降为加法) | |
| 4 | 虚数单位 | S | 数轴之外(旋转) | |
| 5 | 欧拉恒等式 | C | 五大常数的合流 | |
| 6 | 欧拉多面体公式 | S | 形状的不变量(拓扑) | |
| 7 | 导数 | S | 瞬间 | |
| 8 | 牛顿第二定律 | C | 原因与变化 | |
| 9 | 万有引力 | S, C | 天与地的统一 | |
| 10 | 波动方程 | S | 连续介质(场) | |
| 11 | 傅里叶变换 | S | 信号(= 旋转的叠加) | |
| 12 | 纳维–斯托克斯 | S | 流体 | |
| 13 | 等四条 | 麦克斯韦方程组 | S, C | 电、磁、光的统一 |
| 14 | 热力学第二定律 | S, C | 时间的方向 | |
| 15 | 正态分布 | S | 随机的普遍形状 | |
| 16 | 香农熵 | S | 信息 | |
| 17 | 质能方程 | S, C | 质量与能量的汇率 | |
| 18 | 爱因斯坦场方程 | C | 引力(= 几何) | |
| 19 | 薛定谔方程 | S, C | 量子演化 | |
| 20 | 不确定性原理 | C | 认知的边界 | |
| 21 | 逻辑斯蒂映射 | S | 混沌 | |
| 22 | 布莱克–斯科尔斯 | S | 不确定性的价格 |
读完这 22 条会发现一条暗线:欧拉公式的旋转出现了四次(#4 虚数、#5 恒等式、#11 傅里叶的 、#19 薛定谔的 )——大众正典层的种子里,藏着一颗种子的种子。
下篇继续往金字塔底部走:ZFC 九条公理与 Wiedijk 百定理全枚举——数学的 DNA,与学界公认的那张考卷。
参考来源
- In Pursuit of the Unknown: 17 Equations That Changed the World — Wikipedia(Stewart 17 条的原始清单与书内记号)
- A Brief Guide to the Great Equations — Robert P. Crease(Crease 10 条,Physics World 读者投票)
- The Feynman Lectures on Physics, Vol. I, Ch. 22(欧拉公式”最非凡的公式”评语出处)
- Navier–Stokes Equation — Clay Mathematics Institute(千禧年难题悬赏)
- 本站姊妹篇:《欧拉公式:不是一个数,是”旋转”的名字》、《种子公式全录(下)》