tan和角公式tan（α-β）=（tanα-tanβ）/（1+tanαtanβ）。

和角公式又称三角函数的加法定理是几个角的和（差）的三角函数通过其中各个角的三角函数来表示的关系。三角函数是数学中属于初等函数中的超越函数的一类函数。

在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。