三角恒等式验证工具
这款免费的在线三角恒等式计算器使用户能够快速验证各种三角恒等式。通过输入任意角度(度或弧度),您可以立即看到相关恒等式(包括勾股恒等式、倍角恒等式、半角恒等式、和差恒等式以及旋转/反射公式)应用于该特定值。它既是验证工具也是学习辅助工具,帮助学生、教育工作者和专业人士检查并理解三角恒等式关系。
什么是三角恒等式?
三角恒等式是在变量定义域内对一切值都成立的数学等式。与需要求解未知数的方程不同,恒等式阐述了一种始终成立的固有关系。常见类别包括勾股恒等式、倒数恒等式和角求和公式。它们是简化三角表达式、求解方程和转换函数的基础。
勾股恒等式:基石
最基本的三角恒等式来自单位圆。对于任意角度 θ,单位圆上的点的坐标为 (cosθ,sinθ),由此得出:
sin2θ+cos2θ=1
由此,可以用余弦表示正弦,反之亦然:
sinθ=±1−cos2θ,cosθ=±1−sin2θ
符号取决于 θ 所在的象限。这个勾股恒等式构成了许多其他三角恒等式的基础。
旋转与反射恒等式
由于正弦、余弦和正切是周期函数,将角度平移一定量会产生可预测的结果。正弦和余弦的周期为 2π,而正切的周期为 π。
平移(旋转)恒等式
下表总结了将角度平移四分之一周期、半周期或整周期的影响。
| 平移 | 正弦 | 余弦 | 正切 |
|---|
| θ±2π | sin(θ±2π)=±cosθ | cos(θ±2π)=∓sinθ | tan(θ±2π)=−cotθ |
| θ±π | sin(θ±π)=−sinθ | cos(θ±π)=−cosθ | tan(θ±π)=tanθ |
| θ±k⋅2π | sin(θ±k⋅2π)=sinθ | cos(θ±k⋅2π)=cosθ | tan(θ±kπ)=tanθ |
注意,正切每隔 π 重复,而非 2π。
反射恒等式
将角度关于一条直线反射会以特定方式变换三角函数。四种常见的反射轴是水平轴 (θ→−θ)、第一象限角平分线 (θ→2π−θ)、垂直轴 (θ→π−θ) 和第二象限角平分线 (θ→23π−θ)。
| 反射 | 正弦 | 余弦 | 正切 |
|---|
| θ→−θ | sin(−θ)=−sinθ | cos(−θ)=cosθ | tan(−θ)=−tanθ |
| θ→2π−θ | sin(2π−θ)=cosθ | cos(2π−θ)=sinθ | tan(2π−θ)=cotθ |
| θ→π−θ | sin(π−θ)=sinθ | cos(π−θ)=−cosθ | tan(π−θ)=−tanθ |
| θ→23π−θ | sin(23π−θ)=−cosθ | cos(23π−θ)=−sinθ | tan(23π−θ)=cotθ |
这些恒等式与平移恒等式一起,使您可以推导出许多其他有用的关系。
复合与多角恒等式
和差恒等式
对于两个角度 α 和 β,其和或差的三角函数可以表示为:
sin(α±β)=sinαcosβ±cosαsinβ
cos(α±β)=cosαcosβ∓sinαsinβ
tan(α±β)=1∓tanαtanβtanα±tanβ
这些公式可以通过将两个直角三角形放在一个矩形中并比较边长来几何推导得出。
倍角恒等式
令 β=α 将和差恒等式转化为倍角公式:
sin(2α)=2sinαcosα
cos(2α)=cos2α−sin2α=2cos2α−1=1−2sin2α
tan(2α)=1−tan2α2tanα
倍角恒等式广泛应用于积分、表达式简化和三角方程求解。
三倍角恒等式
进一步扩展得到三倍角公式:
sin(3α)=3sinα−4sin3α
cos(3α)=4cos3α−3cosα
tan(3α)=1−3tan2α3tanα−tan3α
半角恒等式
半角公式涉及平方根,因此必须根据 α/2 的象限选择符号:
sin2α=±21−cosα
cos2α=±21+cosα
tan2α=±1+cosα1−cosα=1+cosαsinα=sinα1−cosα
使用 sinα 和 cosα 的形式完全避免了符号歧义。
如何使用这个三角恒等式验证工具
使用计算器很简单:
- 选择恒等式类别(例如,勾股、倍角、半角、旋转、反射)。
- 输入角度值(度或弧度)。
- 工具将显示恒等式公式及其对输入角度的数值求值。
这样可以轻松确认恒等式是否适用于您的具体输入,并查看所涉及三角函数的精确值。该计算器涵盖所有主要恒等式类别,为任何使用三角恒等式的人提供可靠的参考。