正切半角公式，又称万能公式，这一组公式有四个功能：因此，这组公式被称为以切表弦公式，简称以切表弦。它们是由二倍角公式求得的。而被称为万能公式的原因是利用formula_3的代换可以解决一些有关三角函数的积分。参见三角换元法。
万能公式的证明.由二倍角公式，有：formula_6再由同角三角函数间的关系，得出
几何证明.在单位圆内，t = tan("φ"/2)。根据 相似关系，formula_15，可得出显然formula_17。Sec