在数学中，三角恒等式是对出现的变量的所有值都为实的涉及到三角函数的等式。这些恒等式在表达式中有些三角函数需要简化的时候是很有用的。一个重要应用是非三角函数的积分：一个常用技巧是首先使用使用三角函数的代换规则，则通过三角恒等式可简化结果的积分。