正弦与余弦
正弦、余弦(由幂级数定义)
- 定义
- 依赖深度 layer 16
- 分析学
- 函数列、幂级数与初等函数
def.trig-function · 定义 · 幂级数 · 初等函数
陈述
对 ,定义
两个级数对每个 都绝对收敛(收敛半径 ),并且
说明
⭐ 三角函数的分析定义(而非几何定义):由级数出发,一切恒等式与求导公式都可以算出来,而且自动对复数成立。
⭐ 与 的关系将在「Euler 公式」那一条里揭晓:把 的级数按 的奇偶拆开,就得到 与 。
⚠ 几何意义(单位圆、角度、弧度)是后来才接上的:级数先告诉我们 有零点、 有周期,几何图像才随之而来。
它指向谁(出边)
推出 1
-
级数的奇偶拆分 Euler 公式
把 的级数按 的奇偶拆开:
用 、:
(拆分与重排的合法性来自绝对收敛。)取 :由 、 得 。∎
整条证明只有「拆奇数项与偶数项」这一个动作 —— 但这一步把指数函数与三角函数之间的关系揭示成一个恒等式,而不是两个巧合。
定义引用 1
-
用 的最小正零点定义 —— 没有 的幂级数,这个定义写不出来。
谁指向它(入边)
定义引用 1
-
与 同样由幂级数定义,只保留偶次项 / 奇次项。
参考
- Rudin, Principles of Mathematical Analysis, Ch. 8