正切和差角公式的推导是tan(A+B)要有意义，A+B≠π来/2+kπ源(k是整数)。三角函数差角公式又称三角函数的减法定理是几个角的和的三角函数通过其中各个角的三角函数来表示的关系。三角函数是数学中属于初等函数中的超越函数的函数。它们的本质是任何角的集合与一个比值的集合的变量之间的映射。通常的三角函数是在平面直角坐标系中定义的。