正切半角公式

正切半角公式 又称万能公式，这一组公式有四个功能：
将角统一为；
将函数名称统一为；
任意实数都可以的形式表達，可用正切函数换元。
在某些积分中，可以将含有三角函数的积分变为有理分式的积分。
因此，这组公式被称为以切表弦公式，简称以切表弦。它们是由二倍角公式求得的。

而被称为萬能公式的原因是利用的代換可以解決一些有關三角函数的積分。参见三角换元法。

万能公式的证明
由二倍角公式，有：

再由同角三角函数间的关系，得出

三角学
数学恒等式

几何证明 

在单位圆内，。根据相似关係，，可得出

。

显然。

双曲函数
此公式亦可以对双曲函数起到类似的作用，由双曲线右支上的一点给出。从到y轴给出了如下等式：

可以得到

和

卡尔·维尔斯特拉斯引入这个式子来省去查找原函数的麻烦。

在而得出下面的双曲反正切函數和自然对数之间的关系：