三角恒等式 三角函数示意图 几个三角函数的图形，分别为正弦、余弦、正切、余切、正割、余割和正矢。配色与上图相同 在数学中，三角恒等式是对出现的所有值都为实变量，涉及到三角函数的等式。这些恒等式在表达式中有些三角函数需要简化的时候是很有用的。一个重要应用是非三角函数的积分：一个常用技巧是首先使用使用三角函数的代换规则，则通过三角恒等式可简化结果的积分。 符号. 为了避免由于formula_1的不同意思所带来的混淆，我们经常用下列两个表格来表示三角函数的倒数和反函数。另外在表示余割函数时，'formula_2'有时会写成比较长的'formula_3'。 不同的角度度量适合于不同的情况。本表展示最常用的系统。弧度是缺省的角度量并用在指数函数中。所有角度度量都是无单位的。另外在计算机中角度的符号为D，弧度的符号为R，梯度的符号为G。 基本关系. 毕达哥拉斯三角恒等式如下： 由上面的平方关系加上三角函数的基本定义，可以导出下面的表格，即每个三角函数都可以用其他五个表达。（严谨地说，所有根号前都应根据实际情况添加正负号） 其他函数的基本关系. 正矢、余矢、半正矢、半余矢、外正割用于航行。例如半正矢可以计算球体上的两个点之间的距离，但它们不常用。 对称、移位和周期. 通过检视单位圆，可确立三角函数的下列性质： 对称. 当三角函数反射自某个特定的formula_4值，结果经常是另一个其他三角函数。这导致了下列恒等式： 移位和周期. 通过旋转特定角度移位三角函数，经常可以找到更简单的表达结果的不同的三角函数。例如通过旋转formula_5、formula_6和formula_7弧度移位函数。因为这些函数的周期要么是formula_6要么是formula_7，新函数和没有移位的旧函数完全一样。 角的和差恒等式. 它们也叫做“和差定理”、“和差公式”或“和角公式”。最快速简要的检定方式是使用欧拉公式。 formula_10 formula_11 正弦与余弦的无限多项和. 这里的"formula_12"意味着索引formula_13遍历集合formula_14的大小为formula_15的所有子集的集合。 在这两个恒等式中出现了在有限多项中不出现的不对称：在每个乘积中，只有有限多个正弦因子和余有限多个余弦因子。 如果只有有限多项formula_16是非零，则在右边只有有限多项是非零，因为正弦因子将变为零，而在每个项中，所有却有限多的余弦因子将是单位一。 正切的有限多项和. 设formula_17，对于formula_18。设formula_19是变量formula_20，formula_18，formula_22的"formula_15"次基本对称多项式。则 formula_24 项的数目依赖于formula_25。例如， formula_26 并以此类推。一般情况可通过数学归纳法证明。 formula_27。 多倍角公式. （这个formula_28的函数是狄利克雷核。） 双倍角、三倍角和半角公式. 这些公式可以使用和差恒等式或多倍角公式来证明。 n倍角公式. 参见正切半角公式，它也叫做“万能公式”。 幂简约公式. 从解余弦二倍角公式的第二和第三版本得到。 formula_31 formula_32 formula_33,formula_34,formula_35 formula_36,formula_37,formula_38 formula_39,formula_40,formula_41 常见的恒等式. 积化和差与和差化积恒等式. 数学家韦达在其三角学著作《应用于三角形的数学定律》给出积化和差与和差化积恒等式。积化和差恒等式可以通过展开角的和差恒等式的右手端来证明。 平方差公式. formula_42 formula_43 如果formula_44， 那么formula_45 formula_46 如果formula_47， 那么formula_48 formula_49 如果formula_50， 那么formula_51 formula_52 formula_53 如果formula_54（半圆） 那么: formula_55 其他恒等式. 托勒密定理. （前三个等式是一般情况；第四个是本质。） 三角函数与双曲函数的恒等式. 利用三角恒等式的指数定义和双曲函数的指数定义即可求出下列恒等式： formula_56 formula_57 所以 formula_58 formula_59 下表列出部分的三角函数与双曲函数的恒等式： formula_58 formula_59 formula_62 formula_63 formula_64 formula_65 formula_66 formula_67 线性组合. 对于某些用途，知道同样周期但不同相位移动的正弦波的任何线性组合是有相同周期但不同相位移动的正弦波是重要的。在正弦和余弦波的线性组合的情况下，我们有 formula_68 这里的 formula_69 这个公式也叫辅助角公式或李善兰公式。更一般的说，对于任何相位移动，我们有 formula_70 这里 formula_71 而 formula_72 formula_73 formula_74 formula_75 formula_76 无限乘积公式. 为了用于特殊函数，有下列三角函数无穷乘积公式： 微积分. 正弦的微分 正弦（蓝色）、正弦的微分（橘色），其中，正弦的微分正好是余弦。 余弦的微分 余弦（蓝色）、余弦的微分（橘色），其中，余弦的微分正好是正弦的对x轴的镜射。 在微积分中，下面陈述的关系要求角用弧度来度量；如果用其他方式比如角度来这些关系会变得更加复杂。如果三角函数以几何的方式来定义，它们的导数可以通过验证两个极限而找到。第一个是： formula_77 可以使用单位圆和夹挤定理来验证。如果用洛必达法则来证明这个极限，那也就用这个极限证明了正弦的导数是余弦，并因此在应用洛必达法则中使用正弦的导数是余弦的事实，就是逻辑谬论中的循环论证了。第二个极限是： formula_78 使用恒等式formula_79验证。已经确立了这两个极限，你可以使用导数的极限定义和加法定理来证明formula_80和formula_81。如果正弦和余弦函数用它们的泰勒级数来定义，则导数可以通过幂级数逐项微分得到。 formula_82 结果的三角函数可以使用上述恒等式和微分规则来做微分。 formula_83 在三角函数积分表中可以找到积分恒等式。 蕴涵. 三角函数（正弦和余弦）的微分是同样两个函数线性组合的事实在很多数学领域包括微分方程和傅立叶变换中是重要的基本原理。 参考文献. 来源.