Letβs do a quick review on right triangles and basic trigonometry. There are three right triangles below. We know about a non-right angle \(\theta\) and two sides, \(x\) and \(a\text{.}\) Your task is to
Trigonometric substitution (or trig sub for short), means we are making substitutions using trigonometric functions. Recall a goal of the substitution method back in section 5.7 when we learned the \(u\)-sub is to make the integral easier. An advantage of trig sub here is that we can convert an un-simplified-able expression to a trigonometric expression, and we can manipulate it using trigonometric identities.
When you see an "\(a^2 - x^2\)" in the integral, you may be able to solve it using a trig sub. The \(a^2 - x^2\) should remind you of the first right triangle in the investigation task because the missing side of the triangle is \(\sqrt{a^2 - x^2}\text{.}\)
Observe that we canβt simplify the integrand here, and there is no integral formulas we learned before that has a similar form of the integrand (not even the formulas involving inverse trig functions).
You may also be considering using integration by parts. But this involves turning the fraction into a product and it seems complicated to work out all the \(u\)βs and \(v\)βs... You can for sure give it a go but Richard has a feeling that this will be complicated...
Richard is again come to your rescue! He is going to make a suggestion! Letβs try this substitution to let \(x = 3\sin(\theta)\text{.}\) What does the integral look like after we fully substitute all the \(x\)βs with the \(\theta\)βs?
Now it looks like all the \(x\)βs have been converted to \(\theta\)βs. Letβs plug them back into the integral and see whether the integral will become easier.
Observe how much easier-looking the integral became after this substitution! We no longer have fractions and square roots! All we had here is a \(\sin^2(\theta)\text{.}\)
Trivial Way: Recall the substitution we made is \(x = 3\sin(\theta)\text{.}\) Isolating \(\theta\) will give us \(\theta = \sin^{-1}\left(\frac{x}{3}\right)\text{.}\) Hence, we can plug in the \(\sin^{-1}\left(\frac{x}{3}\right)\) for \(\theta\text{.}\)
\begin{equation*}
\frac{9\theta}{2} - \frac{9\sin(2\theta)}{4} + C = \frac{9\sin^{-1}\left(\frac{x}{3}\right)}{2} - \frac{9\sin\left(2\cdot \sin^{-1}\left(\frac{x}{3}\right)\right)}{4} + C
\end{equation*}
But look at how messy the answer is... You can for sure simplify this scary-looking answer using the technical way.
P.S.: If all you care about is to obtain a correct answer, however messy it is, put it to Edfinity, and move on, Richard is 80% sure that Edfinity will recognize answers like this if it is correct.
Technical Way: We know \(\theta = \sin^{-1}\left(\frac{x}{3}\right)\text{.}\) There is no way to make it easier. But we can do something fun to plug things in for the \(\sin(2\theta)\text{!}\) By the double angle identity, we know that \(\sin(2\theta) = 2\sin(\theta)\cos(\theta)\text{,}\) and \(\sin(\theta) = \frac{x}{3}\) based on the substitution we made. Then what is \(\cos(\theta)\) in our substitution?
This is a classical MTH 112Z problem to find the cosine value given the sine value. An easier way is to literally draw a right triangle that looks like the first right triangle in the investigation task and figure out the cosine value, as the figure below shows.
If you are reading our textbook, this case is labeled as "integrals involving \(\sqrt{a^2 - x^2}\)". The reason why your textbook throw in the square root is because dealing with powers of sine (and cosine) isnβt quite easy. But this will have no impact on the determination of using trig sub itself. So the square root may make the trigonometric integral easier after the trig sub, but the trig sub will work without the square root.
Letβs look at an example of the definite integrals using a trig sub. Recall back in section 5.7 that we need to adjust the limits of integration when doing a \(u\)-sub since we changed the variable. Similarly, trig sub is essentially a substitution method in the sense that we use a new variable \(\theta\text{.}\)So make sure you adjust the limits of integration when doing a trig sub!
Observe that the integral contain \(1 - x^2\text{,}\) which takes the form of \(a^2 - x^2\text{,}\) where \(a = 1\text{.}\) Then what trig sub should we do here?
In addition, this in a definite integral. Given that we are essentially changing the variable from \(x\) to \(\theta\text{,}\) we will need to adjust the limits of integration!
When \(x = \dfrac{1}{2}\text{,}\) then \(\dfrac{1}{2} = \sin(\theta)\text{,}\) which implies that \(\theta = \sin^{-1}\left(\dfrac{1}{2}\right) = \dfrac{\pi}{6}\text{.}\)
Observe that this trig integral does look easier than what we started. SectionΒ 7.2 is the section about integrating trig integrals so you may be able to find some clues there to evaluate this integral. It turns out that one of the integral formulas we learned back in SectionΒ 5.3 when we un-did the derivative formulas in calculus 1 is useful (see TheoremΒ 5.3.15).
When you see an "\(a^2 + x^2\)" in the integral, you may also be able to solve it using a trig sub. The \(a^2 + x^2\) should remind you of the second right triangle in the investigation task because the missing side of the triangle is \(\sqrt{a^2 + x^2}\text{.}\)
Richard is feeling generous and he is providing another suggestion! Letβs try the substitution to let \(x = 2\tan(\theta)\text{.}\) Does the integral become easier-looking after we fully substitute all the \(x\)βs with the \(\theta\)βs?
Letβs again follow Richardβs hint and make the substitution that \(x = 2\tan(\theta)\text{.}\) Then this implies that \(x^2 = 4\tan^2(\theta)\) and
Now it looks like all the \(x\)βs have been converted to \(\theta\)βs. Letβs plug them back into the integral and see whether the integral will become easier.
Now this integral is definitely u-sub-able! The strategy is similar to the integral of tangent and cotangent in SectionΒ 7.2 (more specifically, in SubsectionΒ ).
Now that we found the antiderivative, we will need to plug back whatever \(\theta\) is in terms of \(x\text{.}\) Again, there is the trivial way and the technical way to do so (and this is really about simplification so we donβt end up getting an inverse trig function inside a trig function).
Trivial Way: Recall the substitution we made is \(x = 2\tan(\theta)\text{.}\) Isolating \(\theta\) will give us \(\theta = \tan^{-1}\left(\frac{x}{2}\right)\text{.}\) Hence, we can plug in the \(\tan^{-1}\left(\frac{x}{2}\right)\) for \(\theta\text{.}\)
\begin{equation*}
-\frac{1}{4}\csc(\theta) + C = -\frac{1}{4}\csc\left(\tan^{-1}\left(\frac{x}{2}\right)\right) + C
\end{equation*}
But the answer is really messy mainly because there is an inverse trig function inside a trig function. It seems like we may be able to simplify the answer.
Technical Way: We can do the same trick of constructing a right triangle (the right triangle should look like the second right triangle in the investigation task) and figure out what the \(\csc(\theta)\) value is, as the figure below shows.
If you are reading our textbook, this case is labeled as "integrals involving \(\sqrt{a^2 + x^2}\)". This is similar to the first case of the trig sub that having a square root will just make the trig integral we get after the trig sub to be easier (and half of the time, it actually doesnβt), but the square root should have no impact on the determination of using trig sub.
By now, you may get the idea that we may be able to make a trig sub to deal with the integrals involving \(x^2 - a^2\text{.}\) The answer is yes! This will be the third case of the trig sub.
Observe that there is no \(x^2 - a^2\) in the integral... But there has to be a \(x^2 - a^2\) in the integral (or why Richard put this problem as an example here)...
This is an algebraic trick you will need for an Edfinity problem. To force out some squares in the integrand, you may consider doing a completing the square on the trinomial.
If the method of completing the square sounds familiar but you donβt remember much of it, Google it or ask Richard (he has a very pretty diagram about it when he teaches this in MTH 95 at PCC).
Observe that now we are observing a \(x^2 - a^2\) in the integrand if \(x = t + 2\) and \(a = 3\text{.}\) This implies a small little \(u\)-sub (or \(x\)-sub) to match the format of this case using trig sub.
I included some practice problems that cover some main concepts in this section. You donβt need to turn it in, but I highly encourage you to work on this with your classmates. I may take problems here to be your in-class practice problems, homework problems, and/or exam problems. Reach out to Richard for help if you get stuck or have any questions.
I will only include the final answer to some of the problems for you to check your result. If you want to check your work, talk to Richard and he is happy to discuss the process with you.
Evaluate the integral \(\displaystyle \int x^3\sqrt{9 - x^2}\text{.}\) You will need to find a good strategy to evaluate the trigonometric integral in SectionΒ 7.2.