第2卷 第9章 最美的数学公式

学习目标

• 能用指数运算法则解释零次方、负整数次方和分数次方的条件，而不把指数误当成相乘次数
• 能从 f'=f、f(0)=1 比较幂级数系数，说明 1/n! 如何逐项确定
• 能把 iθ 代入复指数级数并按偶数次、奇数次拆分，得到欧拉公式
• 能用单位圆与交互实验解释复指数的旋转、2π 周期和欧拉恒等式

从“iπ次方是什么意思”开始

第2卷第9章从尤里的质疑开始。2^3可以解释成三个2相乘，但：

$$e^{i\pi}$$

难道表示“把e乘i\pi个”吗？i\pi既不是物品个数，也不是自然数。如果连左边是什么意思都说不清，仅凭：

$$e^{i\pi}=-1$$

就称它“最美”，只是记住了外形。

先预测：为什么a^0不是0；a^{-1}为何成为倒数；a^{1/2}为何要补充正值条件；微分方程怎样逐个锁定幂级数系数；将i\theta代入指数级数后，为什么偶数次项变成余弦、奇数次项变成正弦；单位圆又如何回答“这个公式到底是什么意思”？

先区分两个名字。欧拉公式是：

$$e^{i\theta}=\cos\theta+i\sin\theta.$$

令\theta=\pi，利用\cos\pi=-1、\sin\pi=0，得到它的特例：

$$e^{i\pi}=-1,$$

也常写成：

$$e^{i\pi}+1=0.$$

但这只是终点。原章选择从指数定义出发，把抵达终点的桥一段一段搭起来。

离开“相乘次数”的旧直觉

当n是正整数时：

$$a^n=\underbrace{a\cdot a\cdots a}_{n\text{ 个}}$$

是很好的直觉。但它只覆盖1,2,3,\ldots。一遇到0、负数、分数、无理数或复数，“多少个”就失去字面意义。

更能推广的核心是指数运算法则：

$$a^s a^t=a^{s+t}.$$

原章不是把未知指数值随意补上，而是要求扩张后的定义继续遵守这条数学公式。

令s=1,t=0：

$$a^1a^0=a^{1+0}=a.$$

当a\ne0时，两边除以a：

$$a^0=1.$$

令s=1,t=-1：

$$a^1a^{-1}=a^0=1,$$

所以：

$$a^{-1}=\frac1a.$$

进一步，对正整数n：

$$a^{-n}=\frac1{a^n}.$$

这不是把“-1个”解释成某种物品数量，而是让指数相加法则在整数范围内保持相容。

分数次方与条件

对a^{1/2}，指数运算法则要求：

$$a^{1/2}a^{1/2}=a^1=a.$$

因此它必须是方程x^2=a的解。在实数范围内若a>0，平方根有正负两个，而指数函数通常选择正值：

$$a^{1/2}=\sqrt a.$$

更一般地：

$$a^{p/q}=\left(\sqrt[q]{a}\right)^p$$

需要说明底数、根的选择和讨论数域。若坚持实值指数函数并希望对所有实数指数保持连续，通常要求a>0。原章中特意停下来检查“平方根有两个”，正是在提醒：公式扩张总伴随条件。

良定义

，也就是well-defined，要求同一个对象不能从两条合法路径得到冲突答案。例如若指数法则一会儿推出a^0=1，另一会儿推出a^0=0，这套扩张就自相矛盾，无法定义对象。“无矛盾性是存在的基石”在这里变成可操作的检查标准。

从微分方程定义指数函数

为了走向e^{i\theta}，原章从实指数函数的微分方程开始。设：

$$f(x)=e^x.$$

它满足：

$$f'(x)=f(x),\qquad f(0)=1.$$

也就是说，函数在每一点的变化率等于自身，且从1出发。这里的常数e可理解为e^1，约等于2.71828。

尝试把f写成幂级数：

$$f(x)=a_0+a_1x+a_2x^2+a_3x^3+\cdots =\sum_{n=0}^{\infty}a_nx^n.$$

逐项微分使用两条基础规则：常数的导数为0，而x^k的导数为kx^{k-1}。

逐项微分：

$$f'(x)=a_1+2a_2x+3a_3x^2+\cdots =\sum_{n=0}^{\infty}(n+1)a_{n+1}x^n.$$

比较f'=f两边同次幂系数：

$$(n+1)a_{n+1}=a_n.$$

初值f(0)=1给出a_0=1。系数像多米诺骨牌依次确定：

$$a_1=1,\qquad a_2=\frac1{2!},\qquad a_3=\frac1{3!},\qquad a_n=\frac1{n!}.$$

于是得到指数函数的泰勒展开：

$$e^x =1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots =\sum_{n=0}^{\infty}\frac{x^n}{n!}.$$

原章略去的严谨条件

上述推导抓住了系数结构，但严格证明还要回答：

1. 指数函数确实能由这个幂级数表示吗？
2. 级数在哪些x上收敛？
3. 能否逐项微分？
4. 满足微分方程和初值的解是否唯一？

这里的级数对所有复数z都绝对收敛，收敛半径为无穷大；在任意有界区域可逐项微分，所得函数满足f'=f,f(0)=1。因此可以反过来直接定义：

$$\exp z=\sum_{n=0}^{\infty}\frac{z^n}{n!}, \qquad z\in\mathbb C.$$

这个定义还保持指数运算法则：

$$\exp(z+w)=\exp z\exp w.$$

证明可用绝对收敛级数的柯西乘积与二项式定理。这样，“遵守数学公式”不再只是愿望，而是定义后可验证的定理。

遵守公式：把复数代入指数级数

现在e^z已由对所有复数收敛的级数定义，可以合法地把它看作复指数，并令：

$$z=i\theta.$$

得到：

$$e^{i\theta} =1+i\theta+\frac{(i\theta)^2}{2!} +\frac{(i\theta)^3}{3!} +\frac{(i\theta)^4}{4!}+\cdots.$$

虚数单位的幂每四次循环：

$$i^0=1,\quad i^1=i,\quad i^2=-1,\quad i^3=-i,\quad i^4=1.$$

把偶数次与奇数次分开：

$$e^{i\theta} =\left(1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots\right) +i\left(\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\cdots\right).$$

余弦与正弦的泰勒展开分别是：

$$\cos\theta =1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots,$$ $$\sin\theta =\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\cdots.$$

偶次部分正是\cos\theta，奇次部分正是i\sin\theta，因此：

$$\boxed{e^{i\theta}=\cos\theta+i\sin\theta}.$$

这就是原章“向三角函数架起桥梁”的核心：幂级数让看似急剧增长的指数函数与来回振荡的三角函数拥有可逐项对齐的共同语言。

单位圆给出公式的几何含义

复平面单位圆上幅角为\theta的点，直角坐标是：

$$(\cos\theta,\sin\theta),$$

对应复数：

$$\cos\theta+i\sin\theta.$$

欧拉公式说明同一点也可以写成e^{i\theta}。因此复指数不是“把e乘虚数个”，而是单位圆上的旋转编码：

$$e^{i\theta}\longleftrightarrow \text{从正实轴逆时针旋转 }\theta.$$

当\theta=\pi时，点从右方旋转半圈落到-1：

$$e^{i\pi}=\cos\pi+i\sin\pi=-1.$$

当角度增加一整圈：

$$e^{i(\theta+2\pi)} =\cos(\theta+2\pi)+i\sin(\theta+2\pi) =e^{i\theta}.$$

所以复指数沿虚轴具有2\pi i周期。乘法也对应角度相加：

$$e^{i\alpha}e^{i\beta}=e^{i(\alpha+\beta)}.$$

这与第5章“复数乘法使幅角相加”、第6章“单位根形成循环群”、第7章“以周期折叠”、第9章“指数函数与三角函数统一”彼此呼应。

为什么这行公式被称为美

欧拉恒等式：

$$e^{i\pi}+1=0$$

同时出现加法单位元0、乘法单位元1、虚数单位i、圆周率\pi和自然对数底e。但美不只来自“五个著名常数站在同一行”。

更深的统一是：

1. 指数运算法则把自然数指数扩张到连续与复数世界。
2. 微分方程把“变化率等于自身”编码成系数1/n!。
3. 虚数单位的四周期把级数自动分成实部与虚部。
4. 余弦和正弦的偶奇泰勒级数正好接住这两股项。
5. 代数表达最终落在单位圆旋转这一几何对象上。

原章末尾从家庭学习转到音乐教室筹备庆功宴。故事上的“准备庆功宴”也给下一章留出舞台：人物将聚在一起，回顾费马大定理的历史，并把前九章的数论、群、域、复数和公式拼入现代证明概要。

本章回顾：幂级数架起桥梁

1. “指数是相乘次数”只适用于正整数，不能定义零、负数、分数或复数指数。
2. 指数运算法则a^sa^t=a^{s+t}相容地确定a^0=1与a^{-n}=1/a^n。
3. 分数次方需要说明数域与根的分支；实指数函数通常要求底数为正。
4. 良定义要求同一对象不因表达路径不同而得到冲突结果。
5. 指数函数满足f'=f,f(0)=1；幂级数比较系数给出a_n=1/n!。
6. e^z=\sum z^n/n!对所有复数收敛，可作为复指数的严格定义。
7. 代入z=i\theta后，i的四周期把级数拆成偶次实部和奇次虚部。
8. 两部分分别是\cos\theta与i\sin\theta，得到欧拉公式。
9. 单位圆解释e^{i\theta}是幅角为\theta的点，乘法对应旋转角相加。
10. 令\theta=\pi得到欧拉恒等式e^{i\pi}+1=0，一行连接代数、分析与几何。

概念核对：从指数扩张到欧拉恒等式

以下核对项把原书单元中容易只记住符号、却没有说清含义的节点重新写成可验证的解释。

• “最美的数学公式”不是只指最后一行，而是指数、微分方程、幂级数、三角函数和单位圆在同一条推导链上相遇。
• a的s次方乘a的t次方等于a的s加t次方是扩张指数含义时的约束；它先推出零次方和负一次方，再指导分数次方。
• 二分之一次方要解释为平方根，并说明平方根有正负两个、指数函数通常选择正值，以及底数和数域的条件。
• 相容性要求新定义继续满足旧公式；如果同一表达式从两条规则推出不同结果，扩张就不能称为良定义。
• 系数递推来自f'=f逐项比较：(n+1)a_{n+1}=a_n，每个系数都由前一个系数和初值唯一锁定。
• 指数函数的泰勒展开是e^x=Σx^n/n!，它不仅近似数值，还为把复数代入指数提供对所有复数收敛的定义。

互动实验与四步复盘

先预测：如果只看到 e^{iπ}+1=0 而不展开级数，你能指出实部、虚部分别从哪里来吗？切换实验模式，观察“指数扩张”“偶奇分组”“单位圆旋转”如何互相对齐。

Euler Formula Evidence Lab

从定义切换到几何含义

指数扩张偶奇桥梁单位圆旋转重置实验

当前证据：单位圆把 eⁱᶿ 解释为幅角 θ 的旋转，θ=π 落在 −1。

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 扩张指数：保持规则

从正整数相乘次数出发，逐步检查零次方、负数次方和分数次方的定义条件。

上一步播放下一步

练习与答案

练习

1. 问题 1：指数扩张。 用a^s a^t=a^{s+t}分别推出a^0=1和a^{-1}=1/a，并说明为什么这不是把指数继续解释成相乘次数。

查看答案

取s=1,t=0得a·a^0=a，在a≠0时约去a得到a^0=1；取s=1,t=-1得a·a^{-1} =1，所以a^{-1} =1/a。这些结论来自保持指数运算法则的相容定义，不是“相乘零次”或“相乘负一次”。

2. 问题 2：系数递推。 设f'=f、f(0)=1，若f(x)=Σa_nx^n，写出递推式并求a_0,a_1,a_2,a_3。

查看答案

逐项微分并比较同次幂得(n+1)a_{n + 1} =a_n；初值给出a_0=1，于是a_1=1、a_2=1/2!、a_3=1/3!，一般项为a_n=1/n!。

3. 问题 3：欧拉公式。 将e^{iθ}的级数按偶数次和奇数次分组，说明为什么实部是cosθ、虚部是sinθ。

查看答案

i^{2k}=(-1)^k产生1-θ^2/2!+θ^4/4!-…，这正是cosθ；i^{2k+1}=i(-1)^k产生i(θ-θ^3/3!+θ^5/5!-…)，括号内正是sinθ，所以e^{iθ}=cosθ+i sinθ。

4. 问题 4：单位圆。 为什么θ=π会给出欧拉恒等式？再说明θ增加2π时复指数发生什么变化。

查看答案

单位圆上幅角为π的点位于负实轴，坐标是(-1,0)，代入欧拉公式得e^{iπ}=-1，移项即e^{iπ}+1=0。增加2π只绕圆一整圈，坐标不变，所以e^{i(θ+2π)}=e^{iθ}。

名词解释

本章出现的专业名词，用大白话再讲一遍。

欧拉公式

把复指数写成单位圆坐标的公式：e^{iθ}=cosθ+i sinθ，左边表示旋转，右边给出坐标。

指数运算法则

同底数相乘时指数相加的规则；它帮助我们一致地定义零次方、负数次方和更多指数。

良定义

同一个对象无论怎样按允许的规则表达，最终都得到同一个结果，不会因路径不同而矛盾。

指数函数

变化率等于自身、从f(0)=1出发的函数；它的系数会形成1/n!的幂级数。

幂级数

按1,x,x²,…的幂次排列、用无穷多个系数表达函数的级数；本章用它定义复指数。

复指数

允许指数输入复数、由Σz^n/n!定义的指数函数；在虚轴上表现为单位圆旋转。

正式目录节点：逐项释义

下面补齐本章正文已经涉及、但容易被公式或叙事压缩掉的节点。每一项都给出对象、验证动作与边界；它们是第2卷 第9章 最美的数学公式的知识证据，不是把目录标题重复一遍。

• 欧拉恒等式：“欧拉恒等式”在第2卷 第9章 最美的数学公式中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• e的iπ次方等于负1：“e的iπ次方等于负1”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• e的iθ次方等于cosθ加i sinθ：“e的iθ次方等于cosθ加i sinθ”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 指数不是相乘次数：“指数不是相乘次数”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 相乘次数只适用于正整数指数：“相乘次数只适用于正整数指数”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 负一次方等于倒数：“负一次方等于倒数”在第2卷 第9章 最美的数学公式中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 负整数次方：“负整数次方”在第2卷 第9章 最美的数学公式中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 常数微分为0：“常数微分为0”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• x的k次方微分为k乘x的k减1次方：“x的k次方微分为k乘x的k减1次方”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 比较幂级数系数：“比较幂级数系数”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• a_n等于1除以n阶乘：“a_n等于1除以n阶乘”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 收敛与逐项微分条件：“收敛与逐项微分条件”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 把iθ代入指数函数：“把iθ代入指数函数”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• i的幂以4为周期：“i的幂以4为周期”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 偶数次项与奇数次项分开：“偶数次项与奇数次项分开”在第2卷 第9章 最美的数学公式中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 余弦的泰勒展开：“余弦的泰勒展开”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 正弦的泰勒展开：“正弦的泰勒展开”是第2卷 第9章 最美的数学公式中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 单位圆上的幅角：“单位圆上的幅角”在第2卷 第9章 最美的数学公式中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 复指数的2π周期性：“复指数的2π周期性”在第2卷 第9章 最美的数学公式中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。