Lably
Skip to content

Trigonometric substitution

Technique of integral evaluation

  • 3 min read
  • 5 chapters

Related on Lably

Through Mathematics, Trigonometric functions and Calculus

In the case of a definite integral, this substitution changes the interval of integration. Alternatively, the antiderivative of the integrand may be applied to the original interval.

Case I: Integrands containing a2 − x2

Let x=asin⁡θ, and use the identity 1−sin2⁡θ=cos2⁡θ.

Examples of Case I

Example 1

In the integral

∫dxa2−x2,

we may use

x=asin⁡θ,dx=acos⁡θdθ,θ=arcsin⁡xa.

Then, ∫dxa2−x2=∫acos⁡θdθa2−a2sin2⁡θ=∫acos⁡θdθa2(1−sin2⁡θ)=∫acos⁡θdθa2cos2⁡θ=∫dθ=θ+C=arcsin⁡xa+C.

The above step requires that a>0 and cos⁡θ>0. We can choose a to be the principal root of a2, and impose the restriction −π/2<θ<π/2 by using the inverse sine function.

For a definite integral, one must figure out how the bounds of integration change. For example, as x goes from 0 to a/2, then sin⁡θ goes from 0 to 1/2, so θ goes from 0 to π/6. Then,

∫0a/2dxa2−x2=∫0π/6dθ=π6.

Some care is needed when picking the bounds. Because integration above requires that −π/2<θ<π/2 , θ can only go from 0 to π/6. Neglecting this restriction, one might have picked θ to go from π to 5π/6, which would have resulted in the negative of the actual value.

Alternatively, fully evaluate the indefinite integrals before applying the boundary conditions. In that case, the antiderivative gives

∫0a/2dxa2−x2=arcsin⁡(xa)|0a/2=arcsin⁡(12)−arcsin⁡(0)=π6 as before.

Example 2

The integral

∫a2−x2dx,

may be evaluated by letting x=asin⁡θ,dx=acos⁡θdθ,θ=arcsin⁡xa, where a>0 so that a2=a, and −π/2≤θ≤π/2 by the range of arcsine, so that cos⁡θ≥0 and cos2⁡θ=cos⁡θ.

Then, ∫a2−x2dx=∫a2−a2sin2⁡θ(acos⁡θ)dθ=∫a2(1−sin2⁡θ)(acos⁡θ)dθ=∫a2(cos2⁡θ)(acos⁡θ)dθ=∫(acos⁡θ)(acos⁡θ)dθ=a2∫cos2⁡θdθ=a2∫(1+cos⁡2θ2)dθ=a22(θ+12sin⁡2θ)+C=a22(θ+sin⁡θcos⁡θ)+C=a22(arcsin⁡xa+xa1−x2a2)+C=a22arcsin⁡xa+x2a2−x2+C.

For a definite integral, the bounds change once the substitution is performed and are determined using the equation θ=arcsin⁡xa, with values in the range −π/2≤θ≤π/2. Alternatively, apply the boundary terms directly to the formula for the antiderivative.

For example, the definite integral

∫−114−x2dx,

may be evaluated by substituting x=2sin⁡θ,dx=2cos⁡θdθ, with the bounds determined using θ=arcsin⁡x2.

Because arcsin⁡(1/2)=π/6 and arcsin⁡(−1/2)=−π/6, ∫−114−x2dx=∫−π/6π/64−4sin2⁡θ(2cos⁡θ)dθ=∫−π/6π/64(1−sin2⁡θ)(2cos⁡θ)dθ=∫−π/6π/64(cos2⁡θ)(2cos⁡θ)dθ=∫−π/6π/6(2cos⁡θ)(2cos⁡θ)dθ=4∫−π/6π/6cos2⁡θdθ=4∫−π/6π/6(1+cos⁡2θ2)dθ=2[θ+12sin⁡2θ]−π/6π/6=[2θ+sin⁡2θ]|−π/6π/6=(π3+sin⁡π3)−(−π3+sin⁡(−π3))=2π3+3.

On the other hand, direct application of the boundary terms to the previously obtained formula for the antiderivative yields ∫−114−x2dx=[222arcsin⁡x2+x222−x2]−11=(2arcsin⁡12+124−1)−(2arcsin⁡(−12)+−124−1)=(2⋅π6+32)−(2⋅(−π6)−32)=2π3+3 as before.

Sign in to keep reading

4 more chapters are free with a Lably account.

More in Calculus and analysis