种子公式全录(上):大众正典 22 条——从 1 + 1 = 2 到 Black-Scholes,每个符号都给准

数学号称有上亿条公式,但真正的"种子"很少。这篇收录两份最权威的大众榜单的并集——Ian Stewart《改变世界的 17 个方程》与 Robert Crease《伟大的方程》(Physics World 读者投票)——去重后恰好 22 条。按六幕从简单到复杂排列:数与形、变化与力、波与场、热随机与信息、相对论与量子、混沌与市场。每条给出精确公式、逐符号解释和它为什么配称"种子"。

数学文献库 zbMATH 收录了约 480 万篇论文,按每篇几十条公式估算,人类写下过的公式在 10⁸ 量级。但如果问”哪些公式烧掉之后文明要从头重写”,答案会缩到两位数。这份”种子清单”不用我拍脑袋——它有两份公认的权威版本:Ian Stewart《改变世界的 17 个方程》(数学家选的 17 条)和 Robert Crease《伟大的方程》Physics World 读者投票出的 10 条)。两份榜单取并集、去重,恰好 22 条。本篇把它们全部枚举出来,从简单的开始,每一条都给精确写法、逐符号解释、以及一句”它为什么是种子”。姊妹篇《种子公式全录(下)》收更硬核的两层:ZFC 九条公理与 Wiedijk 百定理。

先交代口径,免得被抬杠:

  • 入选即出处。22 条 = Stewart 17 条 ∪ Crease 10 条(重合 5 条:勾股、万有引力、麦克斯韦、热二律、薛定谔),外加 Crease 用作开卷的 1+1=21+1=2。每条标注来源(S = Stewart,C = Crease)。
  • “精确”的含义:给出该公式在原榜单中的写法;当原榜单的记号有歧义或非主流时,加注说明(你会在正态分布那条看到例子)。
  • 两本书都偏物理——这是大众正典层的特点,不是缺陷;纯数学的种子在下篇的 ZFC 与 Wiedijk 100 里。

第一幕:数与形(6 条)——一切的地基

1. 最简单的算式(C,开卷)

1+1=21 + 1 = 2

符号:没有需要解释的符号——这正是它入选的原因。

为什么是种子:它示范了”显然”与”已证”之间的鸿沟。罗素与怀特海的《数学原理》(Principia Mathematica)用了整整一卷的铺垫才在第一卷 ✱54.43 处写下”当算术加法被定义后,1+1=21+1=2 将随之成立”,完整证明直到第二卷才完成,作者还幽默地附注”上述命题偶尔有用”(The above proposition is occasionally useful)。在皮亚诺算术里它是三步推导:记 1:=S(0)1 := S(0)2:=S(S(0))2 := S(S(0))SS 是后继函数,“加一”),由加法的递归定义 a+S(b)=S(a+b)a + S(b) = S(a+b)

1+1=1+S(0)=S(1+0)=S(1)=21 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2

“最显然的事实也必须从公理走到”——这个态度就是下篇 ZFC 与形式化数学的全部起点。

2. 勾股定理(S #1,C)

a2+b2=c2a^2 + b^2 = c^2

符号:直角三角形中,aabb 为两条直角边(勾、股),cc 为斜边(弦)。逆命题同样成立:满足此式的三角形必是直角三角形。

为什么是种子:它定义了距离。平面上两点 (x1,y1)(x_1,y_1)(x2,y2)(x_2,y_2) 的距离 (x2x1)2+(y2y1)2\sqrt{(x_2-x_1)^2 + (y_2-y_1)^2} 就是它;后世一切范数、度量空间、最小二乘法、深度学习里的均方误差,全是这一条的后代。

3. 对数(S #2)

log(xy)=logx+logy\log(xy) = \log x + \log y

符号log\log 为任意固定底数 bbb>0b>0b1b \neq 1)的对数,x,y>0x, y > 0logbx\log_b x 的定义:使 bk=xb^k = x 成立的那个指数 kk

为什么是种子:它把乘法降级为加法——航海时代的天文计算靠它(对数表、计算尺)从数周缩到数小时。今天它藏在每个 log-likelihood、每次熵的计算里:概率连乘一取对数就变连加,这是整个统计学习的日常操作。

4. 虚数单位(S #5)

i2=1i^2 = -1

符号ii 为虚数单位。复数 a+bia + bia,bRa, b \in \mathbb{R})构成复平面上的点 (a,b)(a, b)

为什么是种子ii 不是”不存在的数”,而是”逆时针转 90°“这个动作的名字——转两次恰好是乘 1-1(掉头 180°)。它把代数从数轴解放到平面,让”方程 x2+1=0x^2 + 1 = 0 无解”变成”解在数轴外面”。详细的零基础拆解见本站《欧拉公式:不是一个数,是”旋转”的名字》

5. 欧拉恒等式(C,Physics World 投票第一)

eiπ+1=0e^{i\pi} + 1 = 0

符号e=2.71828e = 2.71828\ldots 为自然常数,ii 为虚数单位,π=3.14159\pi = 3.14159\ldots 为圆周率。一条式子串起五个最基本的常数 e,i,π,1,0e, i, \pi, 1, 0

为什么是种子:它是欧拉公式 eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\thetaθ=π\theta = \pi 处的特例——“连续垂直增长 π\pi 那么久,正好掉头”。Physics World 读者把它票选为最伟大的方程,评语包括”最深刻的数学陈述”。它的完整推导(两条独立路线)同样见欧拉公式那篇

6. 欧拉多面体公式(S #6)

VE+F=2V - E + F = 2

符号:任意凸多面体的顶点数 VV(vertex)、棱数 EE(edge)、面数 FF(face)。(Stewart 书中印作 FE+V=2F - E + V = 2,同一条式子。)手验立方体:812+6=28 - 12 + 6 = 2 ✓;四面体:46+4=24 - 6 + 4 = 2 ✓。

为什么是种子:这是拓扑学的出生证明——历史上第一个”形变不变量”:把多面体怎么捏、怎么拉伸,这个数都不变。它日后推广为欧拉示性数 χ\chi,是”不看长度、只看连接方式”这整门学问(拓扑)的起点。注意:此”欧拉公式”与第 5 条的 eiπ+1=0e^{i\pi}+1=0两条完全不同的公式,撞名而已——Stewart 榜单收的是这条,Crease 榜单收的是那条。

第二幕:变化与力(3 条)——微积分与力学

7. 导数的定义(S #3)

dfdt=limh0f(t+h)f(t)h\frac{df}{dt} = \lim_{h \to 0} \frac{f(t+h) - f(t)}{h}

符号ff 为随 tt 变化的量;hh 为一小段时间增量;limh0\lim_{h \to 0} 表示”令 hh 无限趋近于 0 时该比值的极限”。左边 dfdt\frac{df}{dt} 读作”fftt 的导数”,即瞬时变化率。

为什么是种子:它让”这一瞬间的速度”这句话第一次有了合法定义——平均速度(差商)在时间窗缩到零的极限。整个微积分、一切微分方程、以及深度学习赖以训练的梯度,都从这一条长出来。

8. 牛顿第二定律(C)

F=maF = ma

符号FF 为物体所受合外力(矢量),mm 为质量,aa 为加速度(矢量)。更一般的原始形式是 F=dpdtF = \frac{dp}{dt}(动量 p=mvp = mv 的变化率),质量恒定时二者等价。

为什么是种子:它第一次用等号连接了”原因(力)“与”变化(加速度)“。配合第 7 条,它宣告了物理学的基本语法:自然定律 = 微分方程。此后三百年的物理学都在写这个句型的新句子。

9. 万有引力定律(S #4,C)

F=Gm1m2d2F = G\,\frac{m_1 m_2}{d^2}

符号FF 为两质点间引力大小,m1,m2m_1, m_2 为两者质量,dd 为两者距离,G6.674×1011 Nm2/kg2G \approx 6.674 \times 10^{-11}\ \mathrm{N \cdot m^2 / kg^2} 为引力常数。

为什么是种子:苹果落地与月亮绕地第一次被证明是同一件事——“天上”和”地下”共用一套定律。这是科学史上第一次大统一,也立下了此后所有统一梦想(麦克斯韦、爱因斯坦、标准模型)的榜样。

第三幕:连续的世界——波与场(4 条)

10. 波动方程(S #8)

2ut2=c22ux2\frac{\partial^2 u}{\partial t^2} = c^2\,\frac{\partial^2 u}{\partial x^2}

符号u(x,t)u(x,t) 为位置 xx、时刻 tt 处介质的位移(如琴弦偏离平衡的高度);cc 为波速;\partial 为偏导数记号——多变量函数只对其中一个变量求导。

为什么是种子:这是历史上第一个场方程:描写的不再是一个质点,而是”每一点都有值”的连续对象。它说:每一小段介质的加速度,正比于它比左右邻居”翘起”多少(二阶空间导数度量的正是这个)。声、光、水波、地震波,同一条方程。

11. 傅里叶变换(S #9)

f^(ξ)=f(x)e2πixξdx\hat{f}(\xi) = \int_{-\infty}^{\infty} f(x)\, e^{-2\pi i x \xi}\, dx

符号f(x)f(x) 为原信号;f^(ξ)\hat{f}(\xi) 为它在频率 ξ\xi 上的分量强度;dx\int_{-\infty}^{\infty} \cdots\, dx 为对全轴积分;e2πixξe^{-2\pi i x \xi} 正是欧拉公式里的”旋转”——以频率 ξ\xi 匀速转圈的单位复数。

为什么是种子:它宣告任何信号都是旋转的叠加——把一段声音、一张图像拆成纯频率成分的配方单。压缩(JPEG/MP3)、信号处理、量子力学、乃至求解偏微分方程的谱方法,全靠这张配方单。它也是欧拉公式最重要的直系后代。

12. 纳维–斯托克斯方程(S #10)

ρ(vt+vv)=p+T+f\rho\left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \nabla \cdot \mathbf{T} + \mathbf{f}

符号ρ\rho 为流体密度,v(x,t)\mathbf{v}(x,t) 为速度场,pp 为压强,T\mathbf{T} 为(黏性)应力张量,f\mathbf{f} 为单位体积体积力(如重力);\nabla 为空间导数算子(梯度/散度)。左边是流体微元的”质量 × 加速度”,右边是它受的力——本质上是第 8 条 F=maF = ma 写给流体的版本。

为什么是种子:从天气预报、飞机机翼到血液流动,一切流体都归它管。同时它是谦卑课:三维情形下”光滑解是否总存在”至今未知,是克雷研究所悬赏百万美元的千禧年七大难题之一——我们天天用的方程,数学上还没被驯服。

13. 麦克斯韦方程组(S #11,C)

E=0,H=0,×E=1cHt,×H=1cEt\nabla \cdot \mathbf{E} = 0, \qquad \nabla \cdot \mathbf{H} = 0, \qquad \nabla \times \mathbf{E} = -\frac{1}{c}\frac{\partial \mathbf{H}}{\partial t}, \qquad \nabla \times \mathbf{H} = \frac{1}{c}\frac{\partial \mathbf{E}}{\partial t}

符号E\mathbf{E} 为电场,H\mathbf{H} 为磁场,cc 为光速;\nabla \cdot(散度)度量场从一点”冒出”多少,×\nabla \times(旋度)度量场绕一点”打转”多少。记号注意:这是 Stewart 书中所印的真空、高斯单位制形式;教科书常见的 SI 有源形式在前两式右边分别有 ρ/ε0\rho/\varepsilon_0(电荷)与 00,后两式含 μ0J\mu_0 \mathbf{J}(电流)项。

为什么是种子:四条式子首尾相咬——变化的电场生磁场,变化的磁场生电场——联立后恰好得到第 10 条形式的波动方程,波速恰好等于 cc“光是电磁波”是从方程里掉出来的,不是实验先发现的。无线电、雷达、手机信号,都是这次”纸上预言”的后代。

第四幕:热、随机与信息(3 条)

14. 热力学第二定律(S #12,C)

dS0dS \geq 0

符号SS 为孤立系统的熵(无序程度的度量),dSdS 为其变化量。Crease 书中写作 SS0S' - S \geq 0(末态熵不小于初态熵),同义。

为什么是种子:物理定律几乎全是时间可逆的——唯独这条不是。它给了宇宙一个方向(时间之箭):热量自发地只从高温流向低温,孤立系统的无序只增不减。它也是所有”永动机”的死刑判决书,并在一个世纪后与第 16 条(香农熵)意外重逢。

15. 正态分布(S #7)

Φ(x)=12πσ2  e(xμ)22σ2\Phi(x) = \frac{1}{\sqrt{2\pi\sigma^2}}\; e^{-\frac{(x-\mu)^2}{2\sigma^2}}

符号μ\mu 为均值(钟形曲线的中心),σ\sigma 为标准差(钟形的胖瘦),σ2\sigma^2 为方差。记号注意:Stewart 书中用 Φ\Phi 表示这条概率密度函数;主流教科书惯例是密度用小写 φ\varphiff,大写 Φ\Phi 留给累积分布函数——引用时留意。

为什么是种子:中心极限定理(下篇 Wiedijk 榜第 47 条)保证:大量独立小扰动之和,无论每个扰动本身什么分布,总和都逼近这条钟形曲线。所以测量误差、身高、噪声都长这个样——它是”随机性叠加”的普遍极限形状,统计学的地基。

16. 香农信息熵(S #15)

H=xp(x)logp(x)H = -\sum_{x} p(x) \log p(x)

符号xx 遍历信源的所有可能消息,p(x)p(x) 为消息 xx 出现的概率;log\log 取 2 为底时 HH 的单位是比特。\sum 为求和号。

为什么是种子:1948 年香农用它把”信息”变成了可度量的物理量,并一举给出压缩的极限(无损压缩不能低于 HH 比特/符号)与通信的极限(信道容量)。今天 LLM 训练的交叉熵损失、评估用的困惑度,全是这条式子的直系后代——本站《为什么困惑度要取对数》拆过这条线。

第五幕:相对论与量子(4 条)——二十世纪的两场革命

17. 质能方程(S #13,C)

E=mc2E = mc^2

符号EE 为能量,mm 为质量,c3×108 m/sc \approx 3 \times 10^8\ \mathrm{m/s} 为真空光速。(严格地说这是静止物体的情形;运动物体的完整关系是 E2=(mc2)2+(pc)2E^2 = (mc^2)^2 + (pc)^2pp 为动量。)

为什么是种子:质量与能量是同一种东西的两种记账方式,汇率是 c2c^2——一个大得惊人的数(1 克质量 ≈ 9 × 10¹³ 焦耳)。恒星发光、核能、正负电子湮灭,都是这本账的条目。

18. 爱因斯坦场方程(C)

GμνRμν12Rgμν=8πGc4TμνG_{\mu\nu} \equiv R_{\mu\nu} - \tfrac{1}{2} R\, g_{\mu\nu} = \frac{8\pi G}{c^4}\, T_{\mu\nu}

符号gμνg_{\mu\nu} 为时空度规(定义时空中”距离”怎么量),RμνR_{\mu\nu}RR 为由度规算出的里奇曲率张量与标量曲率(度量时空弯曲程度),合成爱因斯坦张量 GμνG_{\mu\nu}TμνT_{\mu\nu} 为能量–动量张量(物质与能量的分布);GGcc 同前;下标 μ,ν\mu, \nu 各取 0,1,2,30,1,2,3(一维时间 + 三维空间),故这其实是一组十个独立方程。宇宙学场合左边可加 Λgμν\Lambda g_{\mu\nu}(宇宙学常数项)。

为什么是种子:左边是几何(时空多弯),右边是物质(能量多少)——引力不是力,是弯曲。物理学家惠勒的著名概括:“时空告诉物质如何运动,物质告诉时空如何弯曲。” GPS 的时钟修正、黑洞、引力波,全在这十个方程里。

19. 薛定谔方程(S #14,C)

iΨt=H^Ψi\hbar\,\frac{\partial \Psi}{\partial t} = \hat{H}\Psi

符号Ψ(x,t)\Psi(x,t) 为波函数(其模方 Ψ2|\Psi|^2 给出粒子出现在各处的概率密度);=h/2π1.055×1034 Js\hbar = h/2\pi \approx 1.055 \times 10^{-34}\ \mathrm{J \cdot s} 为约化普朗克常数;H^\hat{H} 为哈密顿算符(系统总能量的算符化身);ii 又是那个”转 90°”。

为什么是种子:它是量子世界的 F=maF = ma——规定波函数如何随时间演化。注意左边那个 ii:能量本征态的演化是 ΨeiEt/\Psi \propto e^{-iEt/\hbar}每个量子态都在以自己能量决定的频率打转——欧拉公式的旋转图景再次现身,这不是巧合,是量子力学的骨架。

20. 海森堡不确定性原理(C)

ΔxΔp    2\Delta x \cdot \Delta p \;\geq\; \frac{\hbar}{2}

符号Δx\Delta x 为位置测量值的标准差,Δp\Delta p 为动量测量值的标准差,\hbar 同前。Δ\Delta 在此是统计意义的”弥散”,不是”仪器误差”。

为什么是种子:位置分布与动量分布恰好构成一对傅里叶变换对(第 11 条),而傅里叶数学本身就规定:一个函数越窄,它的变换就越宽。不确定性不是技术不行,是数学不允许——想同时知道”在哪”和”往哪去”,宇宙的账本上没有这一栏。

第六幕:混沌与市场(2 条)——确定性的黄昏

21. 逻辑斯蒂映射(S #16)

xt+1=kxt(1xt)x_{t+1} = k\, x_t (1 - x_t)

符号xt[0,1]x_t \in [0,1] 为第 tt 代种群占环境容量的比例;k[0,4]k \in [0,4] 为增长率参数;下标 tt 表示离散的代际。规则读作:下一代 = 增长率 × 这一代 × 剩余空间。

为什么是种子:一条初中生能手算的二次迭代,在 kk 越过约 3.57 后进入混沌:完全确定的规则,产生对初值极端敏感、长期不可预测的轨道(差 0.0001 的两个初值,几十步后天各一方)。它宣告”确定性 ≠ 可预测性”——天气预报有原理性上限(蝴蝶效应),不是算力不够。

22. 布莱克–斯科尔斯方程(S #17)

12σ2S22VS2+rSVS+VtrV=0\tfrac{1}{2}\sigma^2 S^2\, \frac{\partial^2 V}{\partial S^2} + r S\, \frac{\partial V}{\partial S} + \frac{\partial V}{\partial t} - rV = 0

符号V(S,t)V(S,t) 为期权在标的价格 SS、时刻 tt 的理论价格;σ\sigma 为标的资产的波动率;rr 为无风险利率。

为什么是种子:它给”不确定的未来”标了价——把期权定价从讨价还价变成解一条偏微分方程(变量替换后它就是物理里的热传导方程,“价格的扩散”与”热量的扩散”同构)。1997 年诺贝尔经济学奖授予斯科尔斯与默顿。Stewart 把它排在压轴也有警世意味:对它的滥用(把模型当现实)被广泛认为是 2008 年金融危机的助燃剂——种子公式也会长出毒草,取决于使用者是否记得它的假设边界

全表速查

#公式名称榜单驯服了什么
11+1=21+1=2最简单的算式C”显然”与”已证”的距离
2a2+b2=c2a^2+b^2=c^2勾股定理S, C距离
3log(xy)=logx+logy\log(xy)=\log x+\log y对数S乘法(降为加法)
4i2=1i^2=-1虚数单位S数轴之外(旋转)
5eiπ+1=0e^{i\pi}+1=0欧拉恒等式C五大常数的合流
6VE+F=2V-E+F=2欧拉多面体公式S形状的不变量(拓扑)
7dfdt=limh0f(t+h)f(t)h\frac{df}{dt}=\lim_{h\to 0}\frac{f(t+h)-f(t)}{h}导数S瞬间
8F=maF=ma牛顿第二定律C原因与变化
9F=Gm1m2d2F=G\frac{m_1 m_2}{d^2}万有引力S, C天与地的统一
102ut2=c22ux2\frac{\partial^2 u}{\partial t^2}=c^2\frac{\partial^2 u}{\partial x^2}波动方程S连续介质(场)
11f^(ξ)=f(x)e2πixξdx\hat{f}(\xi)=\int f(x)e^{-2\pi i x\xi}dx傅里叶变换S信号(= 旋转的叠加)
12ρ(tv+vv)=p+T+f\rho(\partial_t\mathbf{v}+\mathbf{v}\cdot\nabla\mathbf{v})=-\nabla p+\nabla\cdot\mathbf{T}+\mathbf{f}纳维–斯托克斯S流体
13E=0\nabla\cdot\mathbf{E}=0 等四条麦克斯韦方程组S, C电、磁、光的统一
14dS0dS\geq 0热力学第二定律S, C时间的方向
15Φ(x)=12πσ2e(xμ)22σ2\Phi(x)=\frac{1}{\sqrt{2\pi\sigma^2}}e^{-\frac{(x-\mu)^2}{2\sigma^2}}正态分布S随机的普遍形状
16H=xp(x)logp(x)H=-\sum_x p(x)\log p(x)香农熵S信息
17E=mc2E=mc^2质能方程S, C质量与能量的汇率
18Gμν=8πGc4TμνG_{\mu\nu}=\frac{8\pi G}{c^4}T_{\mu\nu}爱因斯坦场方程C引力(= 几何)
19itΨ=H^Ψi\hbar\,\partial_t\Psi=\hat{H}\Psi薛定谔方程S, C量子演化
20ΔxΔp2\Delta x\cdot\Delta p\geq\frac{\hbar}{2}不确定性原理C认知的边界
21xt+1=kxt(1xt)x_{t+1}=kx_t(1-x_t)逻辑斯蒂映射S混沌
2212σ2S2VSS+rSVS+VtrV=0\tfrac{1}{2}\sigma^2 S^2 V_{SS}+rSV_S+V_t-rV=0布莱克–斯科尔斯S不确定性的价格

读完这 22 条会发现一条暗线:欧拉公式的旋转出现了四次(#4 虚数、#5 恒等式、#11 傅里叶的 e2πixξe^{-2\pi i x\xi}、#19 薛定谔的 eiEt/e^{-iEt/\hbar})——大众正典层的种子里,藏着一颗种子的种子。

下篇继续往金字塔底部走:ZFC 九条公理与 Wiedijk 百定理全枚举——数学的 DNA,与学界公认的那张考卷。

参考来源