万能置换公式

正切半角公式，又称万能置换公式，这组公式有四个功能：

1. 将角统一为 ；
2. 将函数名称统一为 ；
3. 任何实数都可以以 的形式表达，后用正切函数换元；
4. 在某一些积分中，可以将含三角函数的积分变成有理分式的积分。