We’re going to look at an integral that requires a variable substitution, but our goal for the substitution will be a bit different. We’re going to focus on the structure of our integrand function, but we won’t be focusing on composition. Instead, we’re going to focus on some trigonometric identities that we’ve used already:
Second, convince yourself that \(\sqrt{1-x^2}\neq \sqrt{1}-\sqrt{x^2}\text{.}\) Why can we not distribute roots across sums and differences like this? When can we “distribute” roots across multiple things?
A root is really an exponent: why can’t we distribute exponents across sums and differences? Try this with \((1-x^2)^2\text{,}\) and convince yourself that this isn’t \(1^2-(x^2)^2\text{.}\)
Our goal, then, is to utilize a substitution (using trigonometric functions) to somehow transform this difference of squared terms under the square root into a single product of squared things under the square root.
We want to pick some trigonometric function \(T(\theta)\) so that when we let \(x=T(\theta)\text{,}\) we end up with one of the Pythagorean Identities above. Is there something we can put in for \(x\) such that \(1-x^2\) becomes \(1-(T(\theta))^2\) in a convenient way?
When we do a variable substitution in an integral, we are not only finding a way of transforming \(x\) to be in terms of some other variable (in this case, \(\theta\)). We also need to transform the differential, \(dx\text{.}\) Based on your substitution of \(x=T(\theta)\text{,}\) what is \(dx\text{?}\)
Perform your substitution! Use your substitution \(x=T(\theta)\) and \(dx=T'(\theta)\;d\theta\text{.}\) Note that we have picked this substitution with a very specific goal: we are hoping to notice a Pythagorean Identity.
After you have performed your substitution, apply the relevant Pythagorean Identity to the radicand: the bit of our function underneath the radical or root. What integral are we left with (in terms of \(\theta\))?
This new integral is something we can antidifferentiate now! We already have done this one in Activity 7.4.4 Squared Trig Functions. So we can end up with:
It is up to us, now, to translate this antiderivative family to be written in terms of \(x\text{.}\) We can utilize our substitution to do this, but let’s first think about how this variable substitution works a bit more.
We’re going to employ another variable substitution, in the same way that we use \(u\)-substitution. The main difference is the goal: we’re going to select our substitution not based on uncovering the composition in our function (like in \(u\)-substitution). Instead, we’ll focus on selecting a trigonometric function in order to utilize the relevant Pythagorean identity to rewrite our sum or difference of squares.
Ok, but how do we choose which trigonometric function to use in our substitution? Since we’re focusing on sums or differences of squared terms, we can think of the different arrangements of terms, connect them with different Pythagorean Identities, and set up some strategies for picking a trigonometric substitution.
This can be confusing, and we want to keep thinking about how we might recognize these structures to pick a substitution. Yes, we can recognize these Pythagorean identities. We can rely on the order of subtraction or noticing addition. But we also can think about this geometrically. The Pythagorean Identities come from the Pythagorean Theorem, relating the squared lengths of the sides of a right triangle together. Let’s visualize our substitutions geometrically.
We’ll consider three triangles, each with side lengths of \(x\) and \(a\text{.}\) The third side length will vary between \(\sqrt{x^2-a^2}\text{,}\)\(\sqrt{a^2-x^2}\text{,}\) and \(\sqrt{x^2+a^2}\) (or the equivalent \(\sqrt{a^2+x^2}\)) based on which length is representing the hypotenuse.
We’re going to consider three triangles, and we’re going to fill in side lengths. In each of these, we’ll assume that the lengths \(x\) and \(a\) are real numbers and are positive.
Figure7.6.2.Three triangles to guide our trigonometric substitutions.
For each triangle, explain how you can tell which side length represents the hypotenuse when you see the lengths \(x\text{,}\)\(a\text{,}\) and then the missing lengths you found above: \(\sqrt{x^2-a^2}\text{,}\)\(\sqrt{a^2-x^2}\text{,}\) or \(\sqrt{x^2+a^2}\text{.}\)
If one of the side lengths is \(\sqrt{x^2-a^2}\text{,}\) then we know that \(x\gt a\) (otherwise the square root is a non-real number). We also know that \(x\gt \sqrt{x^2-a^2}\) (because \(a\gt 0\)). This means that \(x\) is the length of the hypotenuse.
If one of the side lengths is \(\sqrt{a^2-x^2}\text{,}\) then we know that \(a\gt x\) (otherwise the square root is a non-real number). We also know that \(a\gt \sqrt{a^2-x^2}\) (because \(x\gt 0\)). This means that \(a\) is the length of the hypotenuse.
If one of the side lengths is \(\sqrt{x^2+a^2}\text{,}\) then we know that \(\sqrt{x^2+a^2} \gt a\) and \(\sqrt{x^2+a^2} \gt x\) (because \(x,a\gt 0\)). This means that \(\sqrt{x^2+a^2}\) is the length of the hypotenuse.
There are really 6 main trigonometric substitutions. If you go back to Activity 7.6.2 and place the angle \(\theta\) in the opposite corner of the triangle, the substitutions you build will all be using the “co-functions”: cosine, cosecant, and cotangent. Each of these has a very similar structure with regard to derivatives (for the differential substitution) and Pythagorean Identities. Each is equivalent to the respective sine, secant, and tangent substitutions. We often choose to use sine, secant, and tangent just due to familiarity.
We can use the triangle as a kind of key for our substitution! After antidifferentiating, we have some antiderivative family written in terms of an angle \(\theta\text{:}\) we can use the triangle to substitution trigonometric functions of \(\theta\) to be written in terms of \(x\text{.}\)
We can finish the substitution we started in Activity 7.6.1. We used the substitution \(x=\sin(\theta)\text{,}\) but we now can construct the relevant triangle.
Now we can substitute that antiderivative! We can see from our triangle that \(\cos(\theta)=\sqrt{1-x^2}\text{,}\)\(\sin(\theta)=x\) (this also was our original substitution anyways), and we also can invert our substitution to get \(\theta=\sin^{-1}(x)\text{.}\)
In each case, you’re looking for some sum or difference of squared terms, normally (but not always) nested inside of some square root. It also might be nice to rewrite the second integral in order to notice the root:
Use that portion of the integral to compare three side lengths of a triangle. Which one is the largest (and so must represent the length of the hypotenuse)?
For the side lengths \(x\text{,}\)\(3\text{,}\) and \(\sqrt{x^2-9}\text{,}\) which must be the largest? Think about \(\sqrt{x^2-9}\) and what we can learn from it.
For the side lengths \(x\text{,}\)\(2\text{,}\) and \(\sqrt{4-x^2}\text{,}\) which must be the largest? Think about \(\sqrt{4-x^2}\) and what we can learn from it.
For the side lengths \(x\text{,}\)\(1\text{,}\) and \(\sqrt{x^2+1}\text{,}\) which must be the largest? Think about \(\sqrt{x^2+1}\) and what we can learn from it.
We know that \(x\gt 3\text{,}\) since \(x^2-9\gt 0\text{.}\) Similarly, we know that \(x\gt \sqrt{x^2-9}\text{.}\) So \(x\) has to be the length of the hypotenuse.
We know that \(2\gt x\text{,}\) since \(4-x^2\gt 0\text{.}\) Similarly, we know that \(2\gt \sqrt{4-x^2}\text{.}\) So \(2\) has to be the length of the hypotenuse.
We know that \(\sqrt{x^2+1} \gt x\text{,}\) since we are adding \(1\) to \(x^2\) under the square root. This also is the reason that \(\sqrt{x^2+1}\gt 1\) (we are adding \(x^2\) under the root). So \(\sqrt{x^2+1}\) has to be the length of the hypotenuse.
Construct the triangle, label an angle \(\theta\text{,}\) and use a trigonometric function to connect the two single-term side lengths. (Feel free to change the angle you label in order to use the sine, secant, or tangent functions instead of their co-functions).
From the triangle, we get \(\tan(\theta) = \dfrac{\sqrt{x^2-9}}{3} \text{.}\) Then, since \(\sec(\theta)=\dfrac{x}{3}\text{,}\) we can use \(\theta = \sec^{-1}\left(\dfrac{x}{3}\right)\text{.}\) This gives us:
Trigonometric substitution is a pretty involved technique! Setting up the substitution is definitely not trivial. Because our substitution involves trigonometric functions, we end up with integrals of trigonometric functions that we then have to work to antidifferentiate. And substituting back to \(x\) relies on us having set up a robust substitution strategy from the beginning.
It can sometimes seem like this strategy is barely relevant: the goal of it is so focussed on the specific structure of the Pythagorean identities, and these might not feel very present.
A friend of mine, though, says that once we start recognizing sums and differences of squares as being connected to Pythagoras, it’s hard to not see them.
For instance, we can go back to Theorem 7.3.3 and see the sum of squares in the denominator. Instead of doing any tricky factoring to get the \(u\)-substitution to work, we could try a trigonometric substitution and get the same thing!
Whatever the case, this new substitution strategy should, at the very least, generalize the concept of a variable substitution in an integral to show that we can define these for a variety of purposes, all based on the kinds of structures that we’re seeing in the integrand function itself.
Explain how trigonometric substitution helps to convert sums or differences of squares to products of squares. Why is this helpful? When is it helpful?
Draw a right triangle with \(\sqrt{x^2-4}\) as one of the non-hypotenuse side lengths. What is the length of the hypotenuse? What about the other side length? What would be an appropriate substitution for an integral containing \(\sqrt{x^2-4}\text{?}\)
Draw a right triangle with \(\sqrt{4-x^2}\) as one of the non-hypotenuse side lengths. What is the length of the hypotenuse? What about the other side length? What would be an appropriate substitution for an integral containing \(\sqrt{4-x^2}\text{?}\)
Draw a right triangle with \(\sqrt{x^2+4}\) as the hypotenuse. What are the lengths of the other two sides? What would be an appropriate substitution for an integral containing \(\sqrt{x^2+4}\text{?}\)