∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
数学史话 · 常数故事

数学常数故事

Famous Mathematical Constants

常数是数学中「命中注定」的数:它们不以人的意志为转移,却在宇宙的每个角落重复出现。以下精选 8 个最具故事的数学常数,讲述它们的定义、发现史与奇异性质。

共 8 个常数
π\pi

圆周率 π

≈ 3.14159 26535 89793…
PI · 圆与周长的比

圆周率是圆周长与直径之比,人类历史上被计算得最久的常数:古巴比伦取 3.125,阿基米德用正 96 边形逼近,祖冲之的密率 355113\frac{355}{113} 领先千年,兰伯特 1761 年证明它是无理数,林德曼 1882 年证明它是超越数——化圆为方从此在数学上被判了「死刑」。今天超级计算机已把 π 算到百万亿位。

定义与性质

圆周率定义为 π=Cd\pi=\frac{C}{d}(周长与直径之比);它是无理数(1761 兰伯特)且是超越数(1882 林德曼)。

古代逼近史

阿基米德得 22371<π<227\frac{223}{71}<\pi<\frac{22}{7};刘徽割圆术得 3.14;祖冲之的 3.1415926<π<3.14159273.1415926<\pi<3.1415927 与密率 355113\frac{355}{113} 保持世界纪录近千年。

无穷级数时代

莱布尼茨级数 π4=1−13+15−17+⋯\frac{\pi}{4}=1-\frac13+\frac15-\frac17+\cdots 与马钦公式开启了 π 的机器计算时代。

无处不在

从正态分布 12πσe−x2/2σ2\frac{1}{\sqrt{2\pi}\sigma}e^{-x^2/2\sigma^2} 到欧拉恒等式 eiπ+1=0e^{i\pi}+1=0,π 出现在数学与物理的每个角落。

ee

自然对数的底 e

≈ 2.71828 18284 59045…
EULER’S NUMBER · 连续增长的极限

e 是复利问题的产物:雅各布·伯努利研究连续复利时遇到极限 lim⁡n→∞(1+1n)n\lim_{n\to\infty}(1+\frac1n)^n,欧拉 1727 年正式引入记号 e 并证明它是无理数,埃尔米特 1873 年证明它是超越数。e 是自然增长与衰变过程的「通用底数」,微积分中处处可见。

定义与极限

e=lim⁡n→∞(1+1n)ne=\lim_{n\to\infty}\left(1+\frac1n\right)^n,也可由指数函数 exe^x 是导函数等于自身的唯一函数来刻画。

欧拉恒等式

eiπ+1=0e^{i\pi}+1=0 把 e、π、i、1、0 五个常数融为一体,被公认为最优美的数学公式。

自然规律的语言

放射性衰变 N(t)=N0e−λtN(t)=N_0e^{-\lambda t}、人口增长、冷却定律——凡是「变化率正比于自身」的过程都以 e 为底。

计算历史

欧拉本人算到 23 位;2020 年 e 的计算位数突破 3 万亿位。

φ\varphi

黄金比例 φ

≈ 1.61803 39887 49895…
GOLDEN RATIO · 最美的分割

黄金比例来自「把线段分为两段,使整段与长段之比等于长段与短段之比」的古老问题,其值 φ=1+52\varphi=\frac{1+\sqrt5}{2}。它满足 φ2=φ+1\varphi^2=\varphi+1,其连分数与连根式展开都惊人地简单。从帕特农神庙、达芬奇的画作到向日葵的种子排列与鹦鹉螺的螺旋,φ 被认为是自然与艺术中最和谐的比例。

代数之美

φ=1+52\varphi=\frac{1+\sqrt5}{2},满足 φ2=φ+1\varphi^2=\varphi+1 与 φ=1+11+11+⋯\varphi=1+\frac{1}{1+\frac{1}{1+\cdots}},是最「缓慢收敛」的连分数。

斐波那契数列

相邻斐波那契数之比收敛于 φ:Fn+1Fn→φ\frac{F_{n+1}}{F_n}\to\varphi,兔子繁殖问题与黄金比在此交汇。

正五边形与五角星

正五边形的对角线与边长之比正是 φ,正二十面体与正十二面体中处处隐藏着黄金分割。

自然与艺术

向日葵种子按斐波那契螺线排列、鹦鹉螺的壳按对数螺线生长,画家与建筑师长期把 φ 视为美的标准。

2\sqrt{2}

根号 2

≈ 1.41421 35623 73095…
SQUARE ROOT OF TWO · 第一个无理数

√2 是历史上第一个被证明的无理数。传说毕达哥拉斯学派的希帕索斯发现正方形对角线与边长不可公度,动摇了「万物皆数」的信仰,为此甚至被投海处死。这个发现迫使希腊数学从「数」转向「几何」,深刻改变了数学史的走向。

几何来源

边长为 1 的正方形对角线长 12+12=2\sqrt{1^2+1^2}=\sqrt2,勾股定理直接把它带到人类面前。

不可公度性

经典反证法:若 2=pq\sqrt2=\frac pq(既约),则 p2=2q2p^2=2q^2 推出 p、q 均为偶数,矛盾——优雅而不可辩驳。

连分数展开

2=1+12+12+⋯\sqrt2=1+\frac{1}{2+\frac{1}{2+\cdots}},是所有二次无理数中连分数最简单的。

文化印记

A4 纸张的长宽比为 1:21:\sqrt2,对折后比例不变——现代办公处处是它的身影。

γ\gamma

欧拉-马歇罗尼常数 γ

≈ 0.57721 56649 01533…
EULER–MASCHERONI · 神秘的调和数余项

γ 衡量调和级数与自然对数的差距:γ=lim⁡n→∞(1+12+⋯+1n−ln⁡n)\gamma=\lim_{n\to\infty}\left(1+\frac12+\cdots+\frac1n-\ln n\right)。它出现在数论、分析与组合数学的无数角落,但迄今连「是不是有理数」都不知道——是数学中最神秘的常数之一,每个数学家都盼望着知道它的真面目。

定义

γ=lim⁡n→∞(∑k=1n1k−ln⁡n)\gamma=\lim_{n\to\infty}\left(\sum_{k=1}^n\frac1k-\ln n\right),调和级数 1+12+13+⋯1+\frac12+\frac13+\cdots 与对数函数的「精确差距」。

未解之谜

γ 是有理数还是无理数?是否超越?至今无人知晓——悬赏高额的未解问题之一。

出现场景

素数分布、黎曼 ζ 函数在 1 处的展开、斯特林公式 n!∼2πn(ne)nn!\sim\sqrt{2\pi n}(\frac ne)^n 的精细修正中都藏着 γ。

ii

虚数单位 i

$i^2=-1$
IMAGINARY UNIT · 想象的数

i 是为了给 x2=−1x^2=-1 一个解而「发明」的数,曾长期被视为数学的怪胎——笛卡尔轻蔑地称之为「虚数」。高斯用复平面给复数以几何意义,欧拉公式 eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta 把指数与三角函数联为一体。今天,没有复数就没有量子力学、交流电分析与现代信号处理。

诞生与正名

欧拉 1777 年引入记号 i;高斯用复平面 a+bi 给虚数以直观几何解释,「虚」数从此落地。

欧拉公式

eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta,令 θ=π\theta=\pi 即得欧拉恒等式 eiπ+1=0e^{i\pi}+1=0。

物理中的必需

量子力学的波函数、交流电路的分析都以复数为基础——i 是宇宙规律的真正参与者。

代数基本定理

高斯证明:任何 n 次复系数方程恰有 n 个复数根——引入 i 之后,方程的世界变得完整。

ζ(3)\zeta(3)

阿培里常数 ζ(3)

≈ 1.20205 69031 59594…
APÉRY’S CONSTANT · 意想不到的无理数

ζ(3) 是黎曼 ζ 函数在 3 处的值:ζ(3)=1+123+133+⋯\zeta(3)=1+\frac1{2^3}+\frac1{3^3}+\cdots。1978 年,名不见经传的法国数学家阿培里突然宣布证明了 ζ(3) 是无理数——由于证明被认为「不可能」,演讲现场听众互递纸条传阅。他的证明经补全后成立,这个常数因此以他命名;而 ζ(5) 是否无理数至今仍无人知晓。

定义

ζ(3)=∑n=1∞1n3\zeta(3)=\sum_{n=1}^{\infty}\frac{1}{n^3},黎曼 ζ 函数在 3 处的值。

欧拉的早慧

欧拉 1735 年解决巴塞尔问题 ζ(2)=π26\zeta(2)=\frac{\pi^2}{6},但对奇数值的 ζ 几乎无能为力。

阿培里的传奇

1978 年阿培里以出人意料的级数方法证明 ζ(3) 无理,震惊数学界——如今「阿培里式证明」已成专有名词。

cc

光速 c

= 299 792 458 m/s
SPEED OF LIGHT · 宇宙的标尺

光速是宇宙中信息传播的极限速度,也是数学在物理学中最优美的联结点:爱因斯坦狭义相对论的洛伦兹因子 γ=11−v2/c2\gamma=\frac{1}{\sqrt{1-v^2/c^2}}、质能方程 E=mc2E=mc^2 都以 c 为核心。1983 年起,米的定义直接由光速决定——数学常数升格为度量衡的基石。

不变的光速

真空中的光速对所有惯性参考系都相同,这一「反常」直接催生了狭义相对论。

质能方程

E=mc2E=mc^2:质量与能量通过光速的平方换算,是最著名的物理公式。

米的定义

1983 年国际计量大会规定:1 米 = 光在真空中 1299792458\frac{1}{299792458} 秒内通过的距离。