三角恒等式是对出现的所有值都为实变量，涉及到三角函数的等式。

数学上的一类公式，用于 三角函数等价代换，可以用于 方便我们化简式子，也方便运算。基本上可以从三角函数的函数图像中推理出诱导公式，也能从 诱导公式中延展出其他的公式，其中包括倍角公式，和差化积，万能公式等。