开篇：数学为什么这么美？ / Opening: Why Is Mathematics So Beautiful?

你有没有过这样的经历：刷科普短视频的时候，屏幕飘过一行弹幕——“$e^{i\pi}+1=0$是宇宙最美数学公式”，紧接着一堆人跟着刷“醍醐灌顶”“数学居然这么浪漫”，但你盯着那五个看起来毫无关联的符号看了半天，只觉得“这有啥美的？甚至还没我昨天抽的SSR卡面好看”？如果你有过这种疑惑，甚至曾经因为做不出数学题、背不住公式，觉得数学就是一堆枯燥的符号游戏，那你来对地方了——这本书不会逼你背公式，不会让你做 endless 的练习题，只会带你看看数学藏在公式背后的故事、它跨越千年的探索历程，还有那些至今没被解决的、能让全人类心跳加速的谜题。

> 💡 电子版侧边栏：点击本章开头的欧拉公式，可查看1分钟动态演示，直观感受复数在复平面上的旋转过程，瞬间理解公式的几何意义；纸书读者可扫描本章末尾的二维码观看同款动画。

我们先从那个“最美公式”说起。你可能不知道，这个公式叫欧拉公式（Euler's Formula），是18世纪瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在1748年出版的《无穷小分析引论》里提出的。当时欧拉已经是欧洲最负盛名的数学家之一，他一生写了超过800篇数学论文，占了他在圣彼得堡科学院发表的论文总量的三分之二，是他晚年几乎完全失明后，靠心算和口述、由助手代笔完成的——你以后要是觉得“我数学不好是因为没天赋”，可以先想想欧拉的例子。

那这个公式到底美在哪？数学家哈代（G. H. Hardy）在《一个数学家的辩白》里说过：“数学的美，就像绘画或诗歌的美，是形式的组合，是简洁、深刻、出乎意料的统一。” 我们拿欧拉公式一条一条对照，你就懂了：

第一，它足够简洁。

整个公式只有5个核心符号：$e$、$i$、$\pi$、$1$、$0$，没有多余的修饰，没有复杂的推导，连起来就是一句等式。你对比一下你学过的其他数学公式，比如二次方程求根公式$\frac{-b\pm\sqrt{b^2-4ac}}{2a}$，虽然也简洁，但只涉及代数运算；而欧拉公式的五个符号，分别来自五个完全独立的数学分支：$0$是算术里的加法单位元，$1$是乘法单位元，$\pi$是几何里圆的周长与直径的比值，$e$是微积分里的自然增长底数，$i$是代数里的虚数单位（imaginary unit），也就是-1的平方根——这五个平时八竿子打不着的概念，居然被一个等式焊在了一起，就像你发现你平时一起打游戏、一起补课、一起追番的五个同学，居然都是同一个冷门天文社的成员，那种“原来你们认识”的惊喜感，就是数学的“出乎意料之美”。

第二，它足够深刻。

你可能会说：“不就是五个符号凑一起吗？有啥深刻的？” 那你想想：为什么$e$的$i\pi$次方会等于-1？$e$本来是描述“钱存银行复利增长”的自然底数，$i$本来是代数里为了解方程$x^2=-1$虚构出来的数，$\pi$本来是描述圆周长和直径比的几何常数，这三个本来属于不同领域的概念，为什么会发生联系？欧拉公式的证明背后，藏着复分析、微积分、代数几何的深刻原理，甚至后来发展出的傅里叶变换、量子力学的波函数公式，都从它这里脱胎而来——就像你海边捡了个平平无奇的贝壳，打开发现里面藏着一整个完整的微观宇宙，这种“小公式藏大世界”的感觉，就是数学的“深刻之美”。

第三，它有出乎意料的统一性。

在欧拉提出这个公式之前，数学界一直把实数（你平时用的1、2、3、-1、0.5这些）和虚数（比如$i$、$2i$、$1+i$这些）当成两个完全独立的世界：实数用来描述长度、重量、时间这些“真实存在”的量，虚数则被当时的主流数学家嘲笑为“虚构的数”，连提出虚数概念的卡尔达诺都觉得自己是在“做无用功”。但欧拉公式直接把虚数和实数、几何量绑在了一起，相当于给两个互不往来的世界修了一座桥，后来人们发现，虚数不是“虚构的”，是描述振动、波动、量子态的核心工具——你平时用的手机信号处理、5G通信、甚至量子计算机的底层逻辑，都离不开虚数，这就是数学的“统一之美”：它能把看似不相关的领域打通，让我们看到整个数学世界甚至物理世界的底层联系。

> 📖 纸书脚注1：哈代是20世纪最著名的纯数学家之一，他一生研究数论、分析学，他的《一个数学家的辩白》是数学随笔的经典之作，首次出版于1940年。 > 🤖 Markdown标签：`<concept zh="欧拉公式" en="Euler's Formula" id="euler_formula" category="analysis" era="18世纪">`

你可能又要问了：“数学美是美，但它有啥用啊？我又不搞数学研究，学这些干啥？” 这个问题太常见了，我们干脆先给你算一笔账：你今天刷短视频的推荐算法，核心是线性代数里的矩阵运算；你玩的3A游戏里的3D画面、物理碰撞效果，核心是三维坐标系和微分方程；你出门用的导航给你规划的“最短路径”，核心是图论里的最短路径算法；你微信支付、银行转账用的RSA加密，核心是数论里的大数分解难题；甚至你坐的飞机的外形设计、天气预报的精度提升，核心都是流体力学里的纳维-斯托克斯方程——这些你每天在用、但从来没注意过的技术，底层全是数学。很多人觉得“数学没用”，只是因为数学已经像空气一样，融进了你生活的每个角落，你没注意到它而已。

而比“有用”更重要的，是数学能给你一种“看透世界本质”的能力。比如你看到雪花是六边形的，不用只觉得“好看”，你能想到这是因为冰晶的分子结构是六方对称，符合群论里的对称性原理；你看到股市涨跌，不用只觉得“玄学”，你能想到股价的波动可以用随机过程建模；甚至你玩数独的时候，解出一道难题的“啊哈”瞬间，其实就是数学家在证明定理时的快乐——数学从来不是课本里那些做不完的试卷、背不完的公式，它是人类探索世界最 powerful 的工具，也是能给你带来纯粹快乐的游戏。

如果你已经被勾起了兴趣，那我们接下来就要给你看个“大东西”：千禧年难题（Millennium Prize Problems）。你可能在网上见过“解决数学难题拿百万美元奖金”的新闻，说的就是它：2000年，美国克莱数学研究所（Clay Mathematics Institute）公布了7个至今没有被解决的数学难题，每个难题的奖金是100万美元，至今17年过去了，7个难题里只解决了1个——俄罗斯数学家格里戈里·佩雷尔曼（Grigori Perelman）证明了庞加莱猜想，但是他直接拒绝了奖金，甚至拒绝了菲尔兹奖（数学界的诺贝尔奖），理由是“我对钱和 fame 没兴趣，我只需要数学”。

> 💡 电子版侧边栏：点击此处可查看7个千禧年难题的完整介绍，每个难题都配有生活化的案例讲解，还有相关科普视频链接。 > 🤖 Markdown标签：`<concept zh="千禧年难题" en="Millennium Prize Problems" id="millennium_problems" issuer="Clay Mathematics Institute" year="2000" prize="1000000 USD per problem">`

你可能会觉得“百万美元奖金？是不是噱头啊？” 完全不是。克莱数学研究所的创始人兰顿·克莱（Landon Clay）说，设立这些奖金不是为了给数学家送钱，而是为了让更多人关注数学——因为这7个难题每一个的解决，都会推动整个科学界的进步：比如第一个难题P vs NP问题，问的是“所有能快速验证答案的问题，是不是都能快速求解”，你玩数独的时候，给你一个填好的数独，你1分钟就能验证它是不是对的，这就是“快速验证”；但要你从头解一个空白的数独，可能花10分钟都解不出来，这就是“慢速求解”。如果P vs NP被证明“P=NP”，那现在的所有网络加密（比如你微信支付用的RSA加密）都会被瞬间破解，人工智能也会迎来大爆发，因为所有现在需要花几个月才能算出来的问题，都能在几秒钟里解决；如果被证明“P≠NP”，那密码学就有了最坚实的理论基础

你有没有过刷科普短视频时看到弹幕刷“$e^{i\pi}+1=0$是宇宙最美公式”，盯着五个符号半天只觉得“这有啥美的，还不如我抽的SSR卡面好看”的经历？或者曾经因为背不住公式、做不出题，觉得数学就是一堆枯燥符号的堆砌？如果你有过这些疑惑，甚至曾经对数学产生过抵触，那你来对地方了——这本书不会逼你背公式，不会让你做 endless 的练习题，只会带你看看公式背后的故事、数学跨越千年的探索历程，还有那些至今没被解决的、能让全人类心跳加速的谜题。

> 💡 电子版侧边栏：点击本章开头的欧拉公式，可查看1分钟动态演示，直观感受复数在复平面上的旋转过程，瞬间理解公式的几何意义；纸书读者可扫描本章末尾的二维码观看同款动画。

我们先从那个“最美公式”说起。你可能不知道，这个公式叫欧拉公式（Euler's Formula），是18世纪瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在1748年出版的《无穷小分析引论》里提出的。当时欧拉已经是欧洲最负盛名的数学家之一，他一生写了超过800篇数学论文，占了他在圣彼得堡科学院发表的论文总量的三分之二，是他晚年几乎完全失明后，靠心算和口述、由助手代笔完成的——你以后要是觉得“我数学不好是因为没天赋”，可以先想想欧拉的例子：他就算看不见，也能在脑子里推演复杂的公式，甚至能靠心算算出月球轨道的小数点后十几位的结果。

那这个公式到底美在哪？数学家哈代（G. H. Hardy）在《一个数学家的辩白》里说过：“数学的美，就像绘画或诗歌的美，是形式的组合，是简洁、深刻、出乎意料的统一。” 我们拿欧拉公式一条一条对照，你就懂了：

第一，它足够简洁。

整个公式只有5个核心符号：$e$、$i$、$\pi$、$1$、$0$，没有多余的修饰，没有复杂的推导，连起来就是一句等式。你对比一下你学过的其他数学公式，比如二次方程求根公式$\frac{-b\pm\sqrt{b^2-4ac}}{2a}$，虽然也简洁，但只涉及代数运算；而欧拉公式的五个符号，分别来自五个完全独立的数学分支：$0$是算术里的加法单位元，$1$是乘法单位元，$\pi$是几何里圆的周长与直径的比值，$e$是微积分里的自然增长底数，$i$是代数里的虚数单位（imaginary unit），也就是-1的平方根——这五个平时八竿子打不着的概念，居然被一个等式焊在了一起。就像你发现平时一起打游戏、一起补课、一起追番的五个同学，居然都是同一个冷门天文社的成员，那种“原来你们认识”的惊喜感，就是数学的“出乎意料之美”。

> 📖 纸书脚注1：哈代是20世纪最著名的纯数学家之一，一生研究数论、分析学，《一个数学家的辩白》是数学随笔的经典之作，首次出版于1940年。 > 🤖 Markdown标签：`<concept zh="欧拉公式" en="Euler's Formula" id="euler_formula" category="analysis" era="18世纪" author="Leonhard Euler" year="1748">`

第二，它足够深刻。

你可能会说：“不就是五个符号凑一起吗？有啥深刻的？” 那你想想：为什么$e$的$i\pi$次方会等于-1？$e$本来是描述“钱存银行复利增长”的自然底数，$i$本来是代数里为了解方程$x^2=-1$虚构出来的数，$\pi$本来是描述圆周长和直径比的几何常数，这三个本来属于不同领域的概念，为什么会发生联系？欧拉公式的证明背后，藏着复分析、微积分、代数几何的深刻原理，甚至后来发展出的傅里叶变换、量子力学的波函数公式，都从它这里脱胎而来——就像你海边捡了个平平无奇的贝壳，打开发现里面藏着一整个完整的微观宇宙，这种“小公式藏大世界”的感觉，就是数学的“深刻之美”。

我们甚至可以自己推导一遍这个公式，看看它到底是怎么凑出来的，一点都不难： 首先，$e^x$有一个非常漂亮的展开式，叫泰勒展开（Taylor Expansion），它的意思是，不管$x$是什么数，$e^x$都可以写成无限项的和： $$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\dots$$ 这里的$2!$是2的阶乘，也就是$2\times1=2$，$3!=3\times2\times1=6$，以此类推，项数越多，算出来的结果越接近$e^x$的真实值。

然后，我们回忆一下虚数单位$i$的幂次规律：$i^0=1$，$i^1=i$，$i^2=-1$，$i^3=-i$，$i^4=1$，之后每4个一循环，这个规律是推导的关键。

接下来，我们做一个大胆的替换：把上面的$x$换成$i\theta$（$\theta$是任意实数，代表角度），代入泰勒展开式： $$e^{i\theta}=1+i\theta+\frac{(i\theta)^2}{2!}+\frac{(i\theta)^3}{3!}+\frac{(i\theta)^4}{4!}+\dots$$ 我们把$i$的幂次展开，合并同类项：

• 所有偶数次项（比如第0、2、4…项）：$(i\theta)^{2n}=i^{2n}\theta^{2n}=(-1)^n\theta^{2n}$，这部分刚好是$\cos\theta$的泰勒展开式：$\cos\theta=1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\dots$
• 所有奇数次项（比如第1、3、5…项）：$(i\theta)^{2n+1}=i^{2n+1}\theta^{2n+1}=i(-1)^n\theta^{2n+1}$，这部分刚好是$\sin\theta$的泰勒展开式：$\sin\theta=\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\dots$

所以整个式子就可以拆成两部分： $$e^{i\theta}=\left(1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\dots\right)+i\left(\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\dots\right)=\cos\theta+i\sin\theta$$ 这就是欧拉公式的另一种常见形式。当我们令$\theta=\pi$（也就是180度）的时候，$\cos\pi=-1$，$\sin\pi=0$，代入进去就得到： $$e^{i\pi}=\cos\pi+i\sin\pi=-1$$ 移项就是$e^{i\pi}+1=0$，五个符号就这么自然地凑在了一起，没有任何强行拼凑，全是数学原理的必然结果。

> 📖 纸书侧边栏：你可以试试把$\theta$换成$\frac{\pi}{2}$（90度），算一下$e^{i\frac{\pi}{2}}$等于多少？答案是$i$，刚好对应复平面上的90度旋转，这就是欧拉公式的几何意义：$e^{i\theta}$代表复平面上一个长度为1的向量，旋转了$\theta$角度。 > 🤖 Markdown标签：`<example zh="欧拉公式推导" en="Derivation of Euler's Formula" type="proof" difficulty="初级">`

第三，它有出乎意料的统一性。

在欧拉提出这个公式之前，数学界一直把实数（你平时用的

1、2、3、-1、0.5这些）和虚数（比如$i$、$2i$、$1+i$这些）当成两个完全独立的世界：实数用来描述长度、重量、时间这些“真实存在”的量，虚数则被当时的主流数学家嘲笑为“虚构的数”，连提出虚数概念的卡尔达诺都觉得自己是在“做无用功”。16世纪意大利数学家杰罗拉莫·卡尔达诺（Gerolamo Cardano）在解三次方程$x^3=15x+4$时，第一次在计算过程中遇到了$\sqrt{-121}$，他在自己的著作《大术》里无奈地写道：“这个数既useless又subtle，我还没法给它一个名字。”比我们现在吐槽“这公式有啥用”还直接。后来过了100多年，欧拉才正式提出了虚数单位$i$的定义，把$i^2=-1$作为公理，但是他自己早期也觉得虚数是“不存在的数”，直到1748年提出欧拉公式，才把虚数和实数、几何量彻底绑在了一起——相当于给两个互不往来的世界修了一座跨海大桥，后来人们发现，这座桥不仅连通了数学的两个世界，还连通了数学和物理、工程的所有领域。

> 📖 纸书脚注3：卡尔达诺是文艺复兴时期最博学的学者之一，既是数学家，也是医生、占星家，他发明的“卡尔达诺环”是早期的概率论著作，首次提出了“概率”的概念。 > 🤖 Markdown标签：`<concept zh="虚数" en="Imaginary Number" id="imaginary_number" category="algebra" era="16世纪" founder="Gerolamo Cardano">`

你可能会觉得“不就是个虚构的数吗？能有啥用？” 完全不是。19世纪英国物理学家麦克斯韦（James Clerk Maxwell）在写电磁学的麦克斯韦方程组时，特意用虚数来描述电磁波的振动方向，成功预言了电磁波的存在，后来无线电、手机、WiFi、5G通信的所有技术，底层全是麦克斯韦方程组，也就是全是虚数的应用。再比如你玩的3A游戏里的3D画面，角色转头、镜头旋转、无人机的姿态控制，用的都是19世纪爱尔兰数学家威廉·哈密顿（William Rowan Hamilton）发明的四元数——当时哈密顿在都柏林的 canals 边散步，突然想通了四元数的运算规则，当场把公式刻在了旁边的桥上（当然现在桥已经拆了，但当地建了个纪念碑纪念这件事），当时四元数也被主流数学家骂是“无用的虚构”，但现在它已经是3D图形学的核心工具，要是没有虚数和四元数，你玩的《原神》《塞尔达传说》里的3D画面根本动不起来。

我们甚至可以给欧拉公式的五个符号补上一个“时间跨度”的注脚：0和1的概念可以追溯到公元前3000年的古埃及和美索不达米亚文明，是算术的最基础概念；$\pi$的近似值是公元前3世纪阿基米德用割圆术算出来的，误差不到千分之一；$e$是17世纪末瑞士数学家雅各布·伯努利（Jacob Bernoulli）研究银行复利的时候发现的，当时他算$e$的近似值，算到了小数点后十几位；$i$是16世纪卡尔达诺解三次方程的时候“碰”出来的，当时他自己都觉得这个数是“荒谬的”。五个跨度近4000年的概念，最后被欧拉用一个等式焊在了一起，这种“跨越时空的统一”，才是欧拉公式最打动人的地方。

> 📖 纸书侧边栏：你可以在纸书的附录里找到“数学符号时间线”，看看你熟悉的数学符号都是什么时候被发明出来的。 > 🤖 Markdown标签：`<timeline zh="数学符号时间线" en="Mathematics Symbol Timeline" start="公元前3000年" end="18世纪">`

如果你已经被欧拉公式的美勾起了兴趣，那我们接下来就要给你看个“大东西”：**千禧年难题（Millennium Pri