设 f(x) 为可积函数,x=x(g) 为连续可导函数,则有:
在遇到类似 x2−a2、x2+a2 和 a2−x2 的式子时,通常采取分别令 x=±asect、x=±atant 或 x=±asint 进行换元,得到关于 t 的一个原函数。如果要计算不定积分,则再由 x 与 t 的关系还原即可;如果要计算定积分,只需在变换后的积分限 α 和 β 下计算相应的定积分即可。