Learning Outcomes
- Solve integration problems involving the square root of a sum or difference of two squares
Integrals Involving √a2−x2√a2−x2
Before developing a general strategy for integrals containing √a2−x2√a2−x2, consider the integral ∫√9−x2dx∫√9−x2dx. This integral cannot be evaluated using any of the techniques we have discussed so far. However, if we make the substitution x=3sinθx=3sinθ, we have dx=3cosθdθdx=3cosθdθ. After substituting into the integral, we have
After simplifying, we have
Letting 1−sin2θ=cos2θ1−sin2θ=cos2θ, we now have
Assuming that cosθ≥0cosθ≥0, we have
At this point, we can evaluate the integral using the techniques developed for integrating powers and products of trigonometric functions. Before completing this example, let’s take a look at the general theory behind this idea.
To evaluate integrals involving √a2−x2√a2−x2, we make the substitution x=asinθx=asinθ and dx=acosθdx=acosθ. To see that this actually makes sense, consider the following argument: The domain of √a2−x2√a2−x2 is [-a,a][-a,a]. Thus, -a≤x≤a-a≤x≤a. Consequently, −1≤xa≤1−1≤xa≤1. Since the range of sinxsinx over [-π2,π2][-π2,π2] is [−1,1][−1,1], there is a unique angle θθ satisfying -π2≤θ≤π2-π2≤θ≤π2 so that sinθ=x/asinθ=x/a, or equivalently, so that x=asinθx=asinθ. If we substitute x=asinθx=asinθ into √a2−x2√a2−x2, we get
Since cosθ≥0cosθ≥0 on −π2≤θ≤π2−π2≤θ≤π2 and a>0a>0, |acosθ|=acosθ|acosθ|=acosθ. We can see, from this discussion, that by making the substitution x=asinθx=asinθ, we are able to convert an integral involving a radical into an integral involving trigonometric functions. After we evaluate the integral, we can convert the solution back to an expression involving xx. To see how to do this, let’s begin by assuming that [latex]0
Recall: Right Triangle Trigonometry Relationships
Given a right triangle with an acute angle of θθ,
sin(θ)=oppositehypotenusecos(θ)=adjacenthypotenusetan(θ)=oppositeadjacentsin(θ)=oppositehypotenusecos(θ)=adjacenthypotenusetan(θ)=oppositeadjacent
A common mnemonic for remembering these relationships is SohCahToa, formed from the first letters of “Sine is opposite over hypotenuse, Cosine is adjacent over hypotenuse, Tangent is opposite over adjacent.”
It can be shown that this triangle actually produces the correct values of the trigonometric functions evaluated at θθ for all θθ satisfying −π2≤θ≤π2−π2≤θ≤π2. It is useful to observe that the expression √a2−x2√a2−x2 actually appears as the length of one side of the triangle. Last, should θθ appear by itself, we use θ=sin−1(xa)θ=sin−1(xa).

Figure 1. A reference triangle can help express the trigonometric functions evaluated at θθ in terms of xx.
The essential part of this discussion is summarized in the following problem-solving strategy.
Problem-Solving Strategy: Integrating Expressions Involving √a2−x2√a2−x2
- It is a good idea to make sure the integral cannot be evaluated easily in another way. For example, although this method can be applied to integrals of the form ∫1√a2−x2dx∫1√a2−x2dx, ∫x√a2−x2dx∫x√a2−x2dx, and ∫x√a2−x2dx∫x√a2−x2dx, they can each be integrated directly either by formula or by a simple u-substitution.
- Make the substitution x=asinθx=asinθ and dx=acosθdθdx=acosθdθ. Note: This substitution yields √a2−x2=acosθ√a2−x2=acosθ.
- Simplify the expression.
- Evaluate the integral using techniques from the section on trigonometric integrals.
- Use the reference triangle from Figure 1 to rewrite the result in terms of xx. You may also need to use some trigonometric identities and the relationship θ=sin−1(xa)θ=sin−1(xa).
Example: Integrating an Expression Involving √a2−x2√a2−x2
Evaluate ∫ √9−x2dx∫ √9−x2dx.
Example: Integrating an Expression Involving √a2−x2√a2−x2
Evaluate ∫√4−x2xdx∫√4−x2xdx.
In the next example, we see that we sometimes have a choice of methods.
Example: Integrating an Expression Involving √a2−x2√a2−x2 Two Ways
Evaluate ∫ x3√1−x2dx∫ x3√1−x2dx two ways: first by using the substitution u=1−x2u=1−x2 and then by using a trigonometric substitution.
try it
Rewrite the integral ∫x3√25−x2dx∫x3√25−x2dx using the appropriate trigonometric substitution (do not evaluate the integral).
Watch the following video to see the worked solution to the above Try It
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.
You can view the transcript for this segmented clip of “3.3 Trigonometric Substitution” here (opens in new window).
Integrating Expressions Involving √a2+x2√a2+x2
For integrals containing √a2+x2,√a2+x2, let’s first consider the domain of this expression. Since √a2+x2√a2+x2 is defined for all real values of xx, we restrict our choice to those trigonometric functions that have a range of all real numbers. Thus, our choice is restricted to selecting either x=atanθx=atanθ or x=acotθx=acotθ. Either of these substitutions would actually work, but the standard substitution is x=atanθx=atanθ or, equivalently, tanθ=xatanθ=xa. With this substitution, we make the assumption that -π2<θ<π2-π2<θ<π2, so that we also have θ=tan−1(x/a)θ=tan−1(x/a). The procedure for using this substitution is outlined in the following problem-solving strategy.
Problem-Solving Strategy: Integrating Expressions Involving √a2+x2√a2+x2
- Check to see whether the integral can be evaluated easily by using another method. In some cases, it is more convenient to use an alternative method.
- Substitute x=atanθx=atanθ and dx=asec2θdθdx=asec2θdθ. This substitution yields
√a2+x2=√a2+(atanθ)2=√a2(1+tan2θ)=√a2sec2θ=|asecθ|=asecθ√a2+x2=√a2+(atanθ)2=√a2(1+tan2θ)=√a2sec2θ=|asecθ|=asecθ. (Since −π2<θ<π2−π2<θ<π2 and secθ>0secθ>0 over this interval, |asecθ|=asecθ|asecθ|=asecθ ) - Simplify the expression.
- Evaluate the integral using techniques from the section on trigonometric integrals.
- Use the reference triangle from Figure 4 to rewrite the result in terms of xx. You may also need to use some trigonometric identities and the relationship θ=tan−1(xa)θ=tan−1(xa). (Note: The reference triangle is based on the assumption that x>0x>0; however, the trigonometric ratios produced from the reference triangle are the same as the ratios for which x≤0x≤0 )

Figure 4. A reference triangle can be constructed to express the trigonometric functions evaluated at θθ in terms of xx.
Example: Integrating an Expression Involving √a2+x2√a2+x2
Evaluate ∫dx√1+x2∫dx√1+x2 and check the solution by differentiating.
In the example below, we explore how to use hyperbolic trigonometric functions as an alternative substitution method. First, we briefly review the definition of these functions and their derivatives.
Recall: Definition and Derivatives of Hyperbolic Trigonometric Functions
For any real number xx, the hyperbolic sine and hyperbolic cosine are defined as:
sinhx=ex−e−x2andcoshx=ex+e−x2sinhx=ex−e−x2andcoshx=ex+e−x2
Their derivatives are given by:
ddx(sinhx)=coshxandddx(coshx)=sinhxddx(sinhx)=coshxandddx(coshx)=sinhx
Example: Evaluating ∫dx√1+x2∫dx√1+x2 Using a Different Substitution
Use the substitution x=sinhθx=sinhθ to evaluate ∫dx√1+x2∫dx√1+x2.
Example: Finding an Arc Length
Find the length of the curve y=x2y=x2 over the interval [0,12][0,12].
try it
Rewrite ∫ x3√x2+4dx∫ x3√x2+4dx by using a substitution involving tanθtanθ.
Watch the following video to see the worked solution to the above Try It
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.
You can view the transcript for this segmented clip of “3.3 Trigonometric Substitution” here (opens in new window).
Try It
Integrating Expressions Involving √x2−a2√x2−a2
The domain of the expression √x2−a2√x2−a2 is (-∞,-a]∪[a,+∞)(-∞,-a]∪[a,+∞). Thus, either x≤-ax≤-a or x≥ax≥a. Hence, xa≤−1xa≤−1 or xa≥1xa≥1. Since these intervals correspond to the range of secθsecθ on the set [0,π2)∪(π2,π][0,π2)∪(π2,π], it makes sense to use the substitution secθ=xasecθ=xa or, equivalently, x=asecθx=asecθ, where 0≤θ<π20≤θ<π2 or π2<θ≤ππ2<θ≤π. The corresponding substitution for dxdx is dx=asecθtanθdθdx=asecθtanθdθ. The procedure for using this substitution is outlined in the following problem-solving strategy.
Problem-Solving Strategy: Integrals Involving √x2−a2√x2−a2
- Check to see whether the integral cannot be evaluated using another method. If so, we may wish to consider applying an alternative technique.
- Substitute x=asecθx=asecθ and dx=asecθtanθdθdx=asecθtanθdθ. This substitution yields
√x2−a2=√(asecθ)2−a2=√a2(sec2θ−1)=√a2tan2θ=|atanθ|√x2−a2=√(asecθ)2−a2=√a2(sec2θ−1)=√a2tan2θ=|atanθ|.
For x≥ax≥a, |atanθ|=atanθ|atanθ|=atanθ and for x≤−ax≤−a, |atanθ|=-atanθ|atanθ|=-atanθ. - Simplify the expression.
- Evaluate the integral using techniques from the section on trigonometric integrals.
- Use the reference triangles from Figure 6 to rewrite the result in terms of xx. You may also need to use some trigonometric identities and the relationship θ=sec−1(xa)θ=sec−1(xa). (Note: We need both reference triangles, since the values of some of the trigonometric ratios are different depending on whether x≥ax≥a or x≤-a.x≤-a.)

Figure 6. Use the appropriate reference triangle to express the trigonometric functions evaluated at θθ in terms of xx.
For the next example, it is worthwhile to review the technique of how to precisely evaluate a trignometric function whose input is an inverse trigonometric function.
Recall: Evaluating Trigonometric Functions composed with Inverse Trigonometric Functions
Suppose we wanted to evaluate a trigonometric function composed with an inverse trigonometric function, for example: sin(cos−1(45))sin(cos−1(45)).
Beginning with the inside, we can say there is some angle such that θ=cos−1(45)θ=cos−1(45), which means cosθ=45cosθ=45, and we are looking for sinθsinθ. We can use the Pythagorean identity to do this.
sin2θ+cos2θ=1Use our known value for cosine.sin2θ+(45)2=1Solve for sine.sin2θ=1−1625sinθ=±√925=±35sin2θ+cos2θ=1Use our known value for cosine.sin2θ+(45)2=1Solve for sine.sin2θ=1−1625sinθ=±√925=±35
Since θ=cos−1(45)θ=cos−1(45) is in quadrant I, sinθsinθ must be positive, so the solution is 3535. See Figure A below.
Figure A. Right triangle illustrating that if cosθ=45cosθ=45, then sinθ=35sinθ=35
We know that the inverse cosine always gives an angle on the interval [0, π], so we know that the sine of that angle must be positive; therefore sin(cos−1(45))=sinθ=35sin(cos−1(45))=sinθ=35.
Example: Finding the Area of a Region
Find the area of the region between the graph of f(x)=√x2−9f(x)=√x2−9 and the x-axis over the interval [3,5][3,5].
try it
Evaluate ∫dx√x2−4∫dx√x2−4. Assume that x>2x>2.
Watch the following video to see the worked solution to the above Try It
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.
You can view the transcript for this segmented clip of “3.3 Trigonometric Substitution” here (opens in new window).
Candela Citations
- 3.3 Trigonometric Substitution. Authored by: Ryan Melton. License: CC BY: Attribution
- Calculus Volume 2. Authored by: Gilbert Strang, Edwin (Jed) Herman. Provided by: OpenStax. Located at: https://openstax.org/books/calculus-volume-2/pages/1-introduction. License: CC BY-NC-SA: Attribution-NonCommercial-ShareAlike. License Terms: Access for free at https://openstax.org/books/calculus-volume-2/pages/1-introduction