For a>0, choose the indicated trigonometric or hyperbolic branch so that
the substitution is one-to-one on the interval being integrated. Keep the
absolute value when simplifying a square root until the chosen range fixes
its sign; for example,
a2−a2sin2θ=a∣cosθ∣.
Integrand factor
Substitutions
Identities
a2−x2
x=asinθ, dx=acosθdθ or x=atanhθ, dx=asech2θdθ
cos2θ+sin2θ=1, sech2θ+tanh2θ=1
a2+x2
x=atanθ, dx=asec2θdθ or x=asinhθ, dx=acoshθdθ
sec2θ=tan2θ+1, cosh2θ=1+sinh2θ
x2−a2
x=asecθ, dx=asecθtanθdθ or, for x≥a, x=acoshθ, dx=asinhθdθ
sec2θ=1+tan2θ, cosh2θ=1+sinh2θ
For a2−x2 the hypotenuse is a and the side opposite θ is x, so the adjacent side is a2−x2. For a2+x2 the opposite side is x, the adjacent side is a and the hypotenuse is a2+x2. For x2−a2, this triangle description assumes x≥a: the hypotenuse is x, the adjacent side is a and the opposite side is x2−a2.
The identity sech2θ+tanh2θ=1 is the same relation as 1−tanh2θ=sech2θ.
Writing 1−sin2θ=cosθ without the absolute value is legitimate on the range of sin−1, where cosθ≥0; it fails if θ is taken outside that range. For x2−a2 on x≤−a, use a separate branch, such as x=−acoshθ with θ≥0, or choose a secant range and retain the required signs.