倍角公式,是三角函数中非常实用的一类公式。就是把二倍角的三角函数用本角的三角函数表示出来。在计算中可以用来化简计算式、减少求三角函数的次数,在工程中也有广泛的运用。
三角函数倍角公式文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
sin2θ=2sinθcosθ文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
tan2θ=2tanθ/(1−tan2θ)文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
cos2θ=1−2sin2θ
📐 三角函数恒等式计算器
倍角·半角·和差·积化和差·和差化积·降幂·特殊角精确值(分数/根式)
三角函数恒等式完全指南 —— 从高中到大学
一、为什么需要恒等式?
三角函数恒等式是数学中最重要的工具箱之一。无论是解三角方程、化简复杂表达式、求不定积分、还是傅里叶分析和信号处理,恒等式都是不可替代的"桥梁"——它把复杂的形式转化为简单的、可计算的形式。文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
本文按递进关系组织:基础关系 → 和差公式(核心)→ 倍角/半角 → 积化和差/和差化积 → 降幂 → 万能代换 → 大学扩展。文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
二、基础关系(同角公式)
一切推导的起点。以下六个函数定义在单位圆上,彼此不是独立的。文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
2.1 倒数关系
文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
2.2 商数关系
文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
2.3 平方关系(勾股恒等式)
文章源自公式库网-https://www.gongshiku.com/html/201909/beijiaogongshijisuanqi.html
记忆口诀:第一式是整个三角学的"宪法"——可从单位圆定义直接得出。后两式分别用 cos²θ 和 sin²θ 去除第一式的每一项即得。
2.4 诱导公式("奇变偶不变,符号看象限")
| 角度 | sin | cos | tan |
|---|---|---|---|
| −θ | −sinθ | cosθ | −tanθ |
| π/2 ± θ | cosθ | ∓sinθ | ∓cotθ |
| π ± θ | ∓sinθ | −cosθ | ±tanθ |
| 3π/2 ± θ | −cosθ | ±sinθ | ∓cotθ |
| 2π − θ | −sinθ | cosθ | −tanθ |
三、特殊角的精确值
这些值必须在脑中形成肌肉记忆——它们是所有精确计算的基石。
θ
0°
30°
45°
60°
90°
120°
135°
150°
180°
sinθ
0
1/2
√2/2
√3/2
1
√3/2
√2/2
1/2
0
cosθ
1
√3/2
√2/2
1/2
0
−1/2
−√2/2
−√3/2
−1
tanθ
0
1/√3
1
√3
∞
−√3
−1
−1/√3
0
推导方法
-
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θ)/21 − 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 多项式:
n
T_n(x)
0
1
1
x
2
2x²−1
3
4x³−3x
4
8x⁴−8x²+1
5
16x⁵−20x³+5x
递推关系:**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 反三角函数恒等式
十三、记忆技巧总览
| 公式类型 | 记忆法 |
|---|---|
| 和差 sin(α±β) | "sin 异名":sinαcosβ ± cosαsinβ |
| 和差 cos(α±β) | "cos 同名,符号相反":cosαcosβ ∓ sinαsinβ(注意加变减!) |
| 二倍角 sin2θ | 2sinθcosθ —— 两倍的异名乘积 |
| 二倍角 cos2θ | 三种形式选最方便的——降 sin 用 1−2sin²,降 cos 用 2cos²−1 |
| 半角 | 分子 1∓cosθ,全部除以 2,再开方 |
| 积化和差 | 乘积→和差,每条前面都有 ½ |
| 和差化积 | 和差→乘积,每条前面都有 2,中间是 (A±B)/2 的三角 |
| 降幂 | sin²→(1−cos2θ)/2,cos²→(1+cos2θ)/2 —— "二次降一次,角度翻倍" |
| 万能公式 | 令 t=tan(θ/2),sin=2t/(1+t²),cos=(1−t²)/(1+t²) —— "直角三角形对边=2t,邻边=1−t²,斜边=1+t²" |
十四、为什么精确值(分数/根式)如此重要?
在数学推导中:
-
约分消元: (1/2)·(√3/2) = √3/4—— 用 0.5×0.866 你永远得不到 √3/4 -
平方运算: (√2/2)² = 2/4 = 1/2—— 精确简化 -
代回恒等式:sin²θ+cos²θ = (1/2)²+(√3/2)² = 1/4+3/4 = 1 —— 验证正确性
这就是本在线工具优先显示分数和根式而非小数的原因。