三角函数恒等式完全指南 —— 从高中到大学

一、为什么需要恒等式？

三角函数恒等式是数学中最重要的工具箱之一。无论是解三角方程、化简复杂表达式、求不定积分、还是傅里叶分析和信号处理，恒等式都是不可替代的"桥梁"——它把复杂的形式转化为简单的、可计算的形式。

本文按递进关系组织：基础关系 → 和差公式（核心）→ 倍角/半角 → 积化和差/和差化积 → 降幂 → 万能代换 → 大学扩展。

二、基础关系（同角公式）

一切推导的起点。以下六个函数定义在单位圆上，彼此不是独立的。

2.1 倒数关系

2.2 商数关系

2.3 平方关系（勾股恒等式）

记忆口诀：第一式是整个三角学的"宪法"——可从单位圆定义直接得出。后两式分别用 cos²θ 和 sin²θ 去除第一式的每一项即得。

2.4 诱导公式（"奇变偶不变，符号看象限"）

三、特殊角的精确值

这些值必须在脑中形成肌肉记忆——它们是所有精确计算的基石。

推导方法

• 30°-60°-90° 三角形：半等边三角形，短直角边=斜边/2
• 45°-45°-90° 三角形：等腰直角三角形，腰=斜边/√2
• 其他角度：通过诱导公式从第一象限角导出

关键认知：根式值 1/2、√2/2、√3/2 在手算和精确推导中不可替代。0.5 和 1/2 在数学意义上截然不同——前者是近似，后者是精确有理数，可以在后续运算中约分、通分。

四、和差公式（一切的核心）

所有后续公式（倍角、半角、积化和差、和差化积）都可以从和差公式推导出来。

几何证明（sin 的加法公式）

在单位圆上取角 α 和 α+β。弦长相等可得：

展开化简即得 sin(α+β) = sinαcosβ + cosαsinβ。cos 的和角公式类似可证。

实例（用在线工具验证）

α = 75°, β = 15°：

• sin(75°+15°) = sin90° = 1（精确）
• sin(75°−15°) = sin60° = √3/2（精确）
• cos(75°+15°) = cos90° = 0（精确）
• cos(75°−15°) = cos60° = 1/2（精确）

五、倍角公式

5.1 二倍角（令 β = α 即得）

cos(2θ) 的三种形式各有用处：

• cos²θ − sin²θ → 最对称，适合理论推导
• 2cos²θ − 1 → 方便将 cos²θ 降幂：cos²θ = (1+cos2θ)/2
• 1 − 2sin²θ → 方便将 sin²θ 降幂：sin²θ = (1−cos2θ)/2

实例：θ = 30°

• sin60° = 2×(1/2)×(√3/2) = √3/2 ✓
• cos60° = (√3/2)²−(1/2)² = 3/4−1/4 = 1/2 ✓

5.2 三倍角

在二倍角基础上再加一次和角公式：

实例：θ = 30°

• sin90° = 3×(1/2) − 4×(1/8) = 3/2 − 1/2 = 1 ✓

三倍角公式的本质是 Chebyshev 多项式：cos(3θ) = T₃(cosθ)，其中 T₃(x) = 4x³−3x。

5.3 n 倍角的通式（De Moivre + 二项式展开）

由欧拉公式

二项式展开后取实部和虚部：

以 n=4 为例展开：

六、半角公式

在 cos(2θ) = 1−2sin²θ 中令 θ→θ/2，解出 sin(θ/2)：

± 号的确定：看 θ/2 所在的象限。

tan(θ/2) 后两种形式的价值：避免了根号和正负号的困扰——在积分 ∫dx/(1+cosx) 中特别有用。

实例：θ = 60°

• sin30° = √[(1−1/2)/2] = √(1/4) = 1/2 ✓

七、降幂公式（升角降次）

由 cos(2θ) = 1−2sin²θ 和 cos(2θ) = 2cos²θ−1 反解：

高次幂同理可得（反复应用或利用三倍角公式）：

应用：积分 ∫sin²x dx

没有降幂公式，这个积分几乎无法直接求出。

实例：θ = 30°

• sin²30° = (1−cos60°)/2 = (1−1/2)/2 = 1/4 ✓
• cos²30° = (1+cos60°)/2 = (1+1/2)/2 = 3/4 ✓

八、积化和差

将和差公式正反两个方向相加/相减即得：

应用：积分 ∫sin(3x)cos(5x)dx

记忆口诀：sin·cos → 两个 sin（"异名得同名"），cos·cos → 两个 cos，sin·sin → 负的两个 cos。

九、和差化积

令 A = α+β, B = α−β，则 α = (A+B)/2, β = (A−B)/2。代入积化和差即得：

应用：解三角方程 sin(5x) = sin(3x)

应用：波的叠加（拍频现象）

两个频率接近的正弦波叠加：sin(100t) + sin(102t) = 2cos(t)·sin(101t)

结果是一个快速振荡（频率 101）乘以一个慢速包络（频率 1）——这就是物理中的"拍"。

十、万能公式（t = tan(θ/2) 代换）

令 t = tan(θ/2)，则所有三角函数化为 t 的有理函数：

应用：积分 ∫dx/(1+sinx+cosx)

令 t = tan(x/2)，则 dx = 2dt/(1+t²)，sinx = 2t/(1+t²)，cosx = (1−t²)/(1+t²)。代入后，三角积分化为有理函数积分——这是积分学中最强大的技巧之一。

十一、辅助角公式（合一变形）

将 a·sinθ + b·cosθ 合并为单一三角函数：

其中 φ = arctan(b/a)（需根据 a,b 符号确定象限）。

应用

• 求 f(θ) = 3sinθ + 4cosθ 的最大值：√(3²+4²) = 5
• 解方程 sinθ + √3cosθ = 1 → 2sin(θ+60°) = 1 → θ+60° = 30° 或 150° → θ = −30° 或 90°

十二、大学扩展

12.1 Euler 公式 —— 三角函数的"终极形式"

这是数学中最美的公式之一。令 θ=π 即得

由此可导出：

这两式把三角函数定义为复指数的线性组合——在傅里叶分析、量子力学、信号处理中，这是标准视角。

12.2 与双曲函数的桥梁

双曲函数的恒等式与三角函数的恒等式有惊人的相似性——只需将 sin↔sinh、cos↔cosh、符号适当调整即可。例如 cosh²x − sinh²x = 1（对比 cos²+sin²=1）。

12.3 Chebyshev 多项式

满足 T_n(cosθ) = cos(nθ) 的多项式族 {T_n} 称为第一类 Chebyshev 多项式：

递推关系：**T_{n+1}(x) = 2x·T_n(x) − T_{n-1}(x)**，初始 T₀=1, T₁=x。

这正是 cos(2θ) = 2cos²θ−1、cos(3θ) = 4cos³θ−3cosθ 的多项式化。

12.4 傅里叶级数 —— 三角函数作为基函数

任意周期为 2π 的函数 f(x) 可展开为：

其中系数由正交性决定：

正交性的证明完全依赖积化和差公式——这就是为什么那些"看起来没什么用"的恒等式，在高级课程中突然变得不可或缺。

12.5 反三角函数恒等式

十三、记忆技巧总览

十四、为什么精确值（分数/根式）如此重要？

在数学推导中：

1. 约分消元：(1/2)·(√3/2) = √3/4 —— 用 0.5×0.866 你永远得不到 √3/4
2. 平方运算：(√2/2)² = 2/4 = 1/2 —— 精确简化
3. 代回恒等式：sin²θ+cos²θ = (1/2)²+(√3/2)² = 1/4+3/4 = 1 —— 验证正确性

这就是本在线工具优先显示分数和根式而非小数的原因。