把指数函数 $e^x$ 想成「连续复利增长」。现在让增长方向不是「沿实轴」，而是「沿虚轴」——也就是说，每一瞬间不是「变大」，而是「向左转 90 度」。结果你会发现：你不是在变大，你在画圆。$e^{i\theta}$ 就是从 1 出发，在单位圆上旋转 $\theta$ 弧度后到达的点。当 $\theta = \pi$，也就是旋转半圈，你正好到达 $-1$。所以 $e^{i\pi} = -1$，搬过来就是 $e^{i\pi}+1=0$。这不是一个"巧合的算式"，而是「指数 = 旋转」这个深层结构的必然推论。
它把数学中五个最基本的常数——$0, 1, e, i, \pi$——以及三种基本运算（加法、乘法、幂运算）和一种最重要的关系（等号），全部塞进一行。每个常数来自完全独立的分支：$\pi$ 来自几何，$e$ 来自微积分/增长，$i$ 来自代数，$0$ 和 $1$ 来自算术公理。它们居然在这里相遇。物理学家 Feynman 称它为「数学中最非凡的公式」("the most remarkable formula in mathematics")。Hardy 说：真正美的数学，应该让人觉得「不可避免」。这个公式正是如此——一旦你理解了复指数即旋转，它就不再是奇迹，而是必然。
欧拉公式 $e^{i\theta} = \cos\theta + i\sin\theta$ 是所有交流电分析、信号处理、傅里叶变换、量子力学的语言基石。你手机里的 Wi-Fi、5G 信号、JPEG 图像压缩、MP3 解码，背后全是复指数。在量子力学里，粒子的波函数本质上是 $e^{i(kx-\omega t)}$——宇宙似乎就用旋转的复数在记账。
Leonhard Euler（欧拉，1707–1783）在 1748 年的《Introductio in analysin infinitorum》中公开了 $e^{i\theta} = \cos\theta + i\sin\theta$。这是他失明前后的高产期之一。当时复数还被视为"想象的"(imaginary)、不正经的存在；欧拉把它装进解析机器，第一次让数学界看到：虚数不只是合法，而且是必不可少的。
• 3Blue1Brown — 《e to the pi i, for dummies》
• Paul Nahin — 《Dr. Euler's Fabulous Formula》(Princeton)
想象一条线段，分成长短两段。如果「整段 : 长段 = 长段 : 短段」，那这个比值就是 $\varphi$。换句话说：$\varphi$ 是唯一一个满足 $\varphi = 1 + 1/\varphi$ 的数——它的倒数减一就等于它本身减二。这是一种自相似性：把它"剥掉一层"，剩下的形状和原来成比例。这就是为什么向日葵、菠萝、松果的螺旋里会出现 $\varphi$——不是因为植物"喜欢美"，而是因为按照黄金角 $360°/\varphi^2 \approx 137.5°$ 旋转放置种子，是用有限空间填充最均匀的策略。
$\varphi$ 真正美的地方是它的「不可有理性」——它是所有无理数中"最难用分数逼近的"。连分数展开 $\varphi = [1;1,1,1,\ldots]$ 全是 1，这是连分数收敛最慢的情形。这就是为什么自然界用它来铺排叶子和种子：它最不容易"对齐"成稀疏的辐条状。但请破除这两个流行神话：（1）帕特农神庙、蒙娜丽莎、苹果 Logo 都基于 $\varphi$ 设计——基本是后人附会，没有可信证据；（2）人脸越接近 $\varphi$ 越美——心理学实证研究并不支持。数学家 Mario Livio 在《The Golden Ratio》中专章打假。
真实的应用：植物的叶序学 (phyllotaxis)、Fibonacci 数列与算法（黄金分割搜索 Golden-Section Search 是一种经典优化方法）、Penrose 镶嵌（准晶体结构，使 Shechtman 获 2011 诺贝尔化学奖）。还有一个深刻事实：把 $\varphi$ 写成 $\varphi = \lim_{n\to\infty} F_{n+1}/F_n$，其中 $F_n$ 是 Fibonacci 数。两个分支的相遇，是数论里非常 Hardy 式的"必然之美"。
欧几里得在《几何原本》卷 VI 中称之为「中末比」(extreme and mean ratio)，纯粹是几何对象。"黄金"二字是 19 世纪德国数学家 Martin Ohm 才加上的。Kepler 称它和勾股定理是几何学的"两大珍宝"。20 世纪生物学家 D'Arcy Thompson 在《On Growth and Form》中用它解释生物形态——这本书至今值得读。
• Mario Livio — 《The Golden Ratio》（带批判精神的全面史）
• Vi Hart — 《Doodling in Math: Spirals, Fibonacci, and Being a Plant》
数学家说一个东西是「对称的」，不是指"看起来好看"，而是指「存在某种变换，让它变了之后跟没变一样」。一个正方形旋转 90 度后还是它自己，所以它有"4 重旋转对称"。一个圆怎么转都不变——它有连续对称。雪花有 6 重对称。所有"让你变了等于没变"的操作合在一起，叫做这个对象的对称群。这是 19 世纪数学最深刻的发明：把"对称"从视觉直觉，升级成了一个可以代数运算的对象。
对称的深邃在于：当你说"X 有这种对称性"，你其实在说"宇宙关于 X 知道的、可观测的东西，必须尊重这个对称"。这就是 Noether 定理（1918）的核心：每一种连续对称，对应一条守恒律——时间平移对称给你能量守恒，空间平移给你动量守恒，旋转对称给你角动量守恒。物理定律不是被人发现的偶然事实，而是几种基本对称性的逻辑后果。这是 20 世纪最美的洞见之一。Frank Wilczek 称："对称性决定了相互作用"。
整个粒子物理标准模型，本质上是几个李群 $U(1) \times SU(2) \times SU(3)$ 的对称性写出来的。化学家用对称群 (point groups) 分类晶体和分子。密码学里 AES 用了置换群结构。在 AI 里，"等变神经网络" (equivariant neural networks) 是把对称性硬编码进网络的前沿方向——比如处理分子结构时让网络对旋转/平移保持不变，可以大幅减少训练数据需求 (AlphaFold 用了这个思想)。
群论的源头是 Évariste Galois（1811–1832）——一位 20 岁就死于决斗的法国天才。他为了回答「五次以上方程为什么没有求根公式」，发明了"群"这个概念。然后 Felix Klein 在 1872 年的《Erlanger Programm》中提出：每一种几何，本质上是研究在某个变换群下不变的性质。最后 Emmy Noether（1882–1935）把对称和守恒律打通——爱因斯坦称她为"数学史上最重要的女性"。
• Ian Stewart — 《Why Beauty Is Truth: A History of Symmetry》
• 3Blue1Brown — 《Group theory, abstraction, and the 196,883-dimensional monster》
"证明"在中学被教成"按格式写步骤"。但在数学家眼里，证明是一种解释——它要回答的不只是"这是真的"，而是"为什么这是真的"。一个美的证明会让你拍桌子说："啊，原来必须是这样。"一个丑的证明只让你说："好吧，每一步我都查不出错。"前者给你洞见，后者只给你确信。Erdős 经常说"上帝有一本书 (The Book)，里面记着每个定理最美的证明"——数学家的工作就是偷看几页。
欧几里得这个证明只有 3 行，但它做到了三件事：（1）不可避免：你看完会觉得"当然如此"，找不到能改的步骤；（2）意外：你以为要去数素数，结果他构造一个新数把矛盾"挤出来"；（3）普适：这个"构造反例"的技巧能用在无数其他定理上。Hardy 在《A Mathematician's Apology》里用这个证明和另一个（$\sqrt{2}$ 是无理数）作为"真正数学"的范例，并明确说：实用数学（计算、商业算术）是"丑陋的、初等的"，真正美的是这种用最少假设揭示最深结构的论证。
四色定理 (Four Color Theorem, 1976) 的原始证明用计算机暴力检查了 1936 种情况。它是正确的，但许多数学家不满意——因为它没有解释为什么四种颜色就够了，只是穷举说明了"反例不存在"。这引发了关于"什么算证明"的哲学争论：如果一个论证人类无法在脑中走完，它还是数学吗？这个问题随着 Lean、Coq 等形式化证明工具的兴起，再次成为前沿议题。
Paul Erdős（1913–1996）是 20 世纪最高产的数学家之一，他和 Alfréd Rényi 共著的论文里反复提到 "Book proof"。2003 年 Aigner 和 Ziegler 把这些证明整理成《Proofs from THE BOOK》，是数学美学的圣经之一。George Pólya 的《How to Solve It》(1945) 则从另一面教你"如何构造美的论证"，是每个搞 STEM 的人都该读的小书。
• Aigner & Ziegler — 《Proofs from THE BOOK》(Springer)
• Paul Lockhart — 《A Mathematician's Lament》（一篇 25 页的檄文，论中学如何谋杀了数学之美）