6.3: Trigonometric Integrals
( \newcommand{\kernel}{\mathrm{null}\,}\)
Functions involving trigonometric functions are useful as they are good at describing periodic behavior. This section describes several techniques for finding antiderivatives of certain combinations of trigonometric functions.
Integrals of the form ∫sinmxcosnx dx
In learning the technique of Substitution, we saw the integral ∫sinxcosx dx in Example 6.1.4. The integration was not difficult, and one could easily evaluate the indefinite integral by letting u=sinx or by letting u=cosx. This integral is easy since the power of both sine and cosine is 1.
We generalize this integral and consider integrals of the form ∫sinmxcosnx dx, where m,n are nonnegative integers. Our strategy for evaluating these integrals is to use the identity cos2x+sin2x=1 to convert high powers of one trigonometric function into the other, leaving a single sine or cosine term in the integrand. We summarize the general technique in the following Key Idea.
Key Idea 11: Integrals Involving Powers of Sine and Cosine
Consider ∫sinmxcosnx dx, where m,n are nonnegative integers.
- If m is odd, then m=2k+1 for some integer k. Rewrite sinmx=sin2k+1x=sin2kxsinx=(sin2x)ksinx=(1−cos2x)ksinx. Then ∫sinmxcosnx dx=∫(1−cos2x)ksinxcosnx dx=−∫(1−u2)kun du, where u=cosx and du=−sinx dx.
- If n is odd, then using substitutions similar to that outlined above we have ∫sinmxcosnx dx=∫um(1−u2)k du, where u=sinx and du=cosx dx.
- If both m and n are even, use the power--reducing identities cos2x=1+cos(2x)2andsin2x=1−cos(2x)2 to reduce the degree of the integrand. Expand the result and apply the principles of this Key Idea again.
We practice applying Key Idea 11 in the next examples.
Example 6.3.1: Integrating powers of sine and cosine
Evaluate ∫sin5xcos8x dx.
Solution
The power of the sine term is odd, so we rewrite sin5x as
sin5x=sin4xsinx=(sin2x)2sinx=(1−cos2x)2sinx.
Our integral is now ∫(1−cos2x)2cos8xsinx dx. Let u=cosx, hence du=−sinx dx. Making the substitution and expanding the integrand gives
∫(1−cos2)2cos8xsinx dx=−∫(1−u2)2u8 du=−∫(1−2u2+u4)u8 du=−∫(u8−2u10+u12) du.
This final integral is not difficult to evaluate, giving
−∫(u8−2u10+u12) du=−19u9+211u11−113u13+C=−19cos9x+211cos11x−113cos13x+C.
Example 6.3.2: Integrating powers of sine and cosine
Evaluate ∫sin5xcos9x dx.
Solution
The powers of both the sine and cosine terms are odd, therefore we can apply the techniques of Key Idea 11 to either power. We choose to work with the power of the cosine term since the previous example used the sine term's power.
We rewrite cos9x as
cos9x=cos8xcosx=(cos2x)4cosx=(1−sin2x)4cosx=(1−4sin2x+6sin4x−4sin6x+sin8x)cosx.
We rewrite the integral as
∫sin5xcos9x dx=∫sin5x(1−4sin2x+6sin4x−4sin6x+sin8x)cosx dx.
Now substitute and integrate, using u=sinx and du=cosx dx.
∫u5(1−4u2+6u4−4u6+u8) du=∫(u5−4u7+6u9−4u11+u13) du=16u6−12u8+35u10−13u12+114u14+C=16sin6x−12sin8x+35sin10x+…=−13sin12x+114sin14x+C.
Technology Note: The work we are doing here can be a bit tedious, but the skills developed (problem solving, algebraic manipulation, etc.) are important. Nowadays problems of this sort are often solved using a computer algebra system. The powerful program Mathematica integrates ∫sin5xcos9x dx as
f(x)=−45cos(2x)16384−5cos(4x)8192+19cos(6x)49152+cos(8x)4096−cos(10x)81920−cos(12x)24576−cos(14x)114688,
which clearly has a different form than our answer in Example 6.3.2, which is
g(x)=16sin6x−12sin8x+35sin10x−13sin12x+114sin14x.
Figure 6.3.1 shows a graph of f and g; they are clearly not equal, but they differ only by a constant. That is g(x)=f(x)+C for some constant C. So we have two different antiderivatives of the same function, meaning both answers are correct.
Figure 6.3.1: A plot of f(x) and g(x) from Example 6.3.2 and the Technology Note.
Example 6.3.3: Integrating powers of sine and cosine
Evaluate ∫cos4xsin2x dx.
Solution
The powers of sine and cosine are both even, so we employ the power--reducing formulas and algebra as follows.
∫cos4xsin2x dx=∫(1+cos(2x)2)2(1−cos(2x)2) dx=∫1+2cos(2x)+cos2(2x)4⋅1−cos(2x)2 dx=∫18(1+cos(2x)−cos2(2x)−cos3(2x)) dx
The cos(2x) term is easy to integrate, especially with Key Idea 10. The cos2(2x) term is another trigonometric integral with an even power, requiring the power--reducing formula again. The cos3(2x) term is a cosine function with an odd power, requiring a substitution as done before. We integrate each in turn below.
∫cos(2x) dx=12sin(2x)+C.
∫cos2(2x) dx=∫1+cos(4x)2 dx=12(x+14sin(4x))+C.
Finally, we rewrite cos3(2x) as
cos3(2x)=cos2(2x)cos(2x)=(1−sin2(2x))cos(2x).
Letting u=sin(2x), we have du=2cos(2x) dx, hence
∫cos3(2x) dx=∫(1−sin2(2x))cos(2x) dx=∫12(1−u2) du=12(u−13u3)+C=12(sin(2x)−13sin3(2x))+C
Putting all the pieces together, we have
∫cos4xsin2x dx=∫18(1+cos(2x)−cos2(2x)−cos3(2x)) dx=18[x+12sin(2x)−12(x+14sin(4x))−12(sin(2x)−13sin3(2x))]+C=18[12x−18sin(4x)+16sin3(2x)]+C
The process above was a bit long and tedious, but being able to work a problem such as this from start to finish is important.
Integrals of the form ∫sin(mx)sin(nx) dx, ∫cos(mx)cos(nx) dx, and ∫sin(mx)cos(nx) dx.
Functions that contain products of sines and cosines of differing periods are important in many applications including the analysis of sound waves. Integrals of the form
∫sin(mx)sin(nx) dx,∫cos(mx)cos(nx) dxand∫sin(mx)cos(nx) dx
are best approached by first applying the Product to Sum Formulas found in the back cover of this text, namely
sin(mx)sin(nx)=12[cos((m−n)x)−cos((m+n)x)]cos(mx)cos(nx)=12[cos((m−n)x)+cos((m+n)x)]sin(mx)cos(nx)=12[sin((m−n)x)+sin((m+n)x)]
Example 6.3.4: Integrating products of sin(mx) and cos(nx)
Evaluate ∫sin(5x)cos(2x) dx.
Solution
The application of the formula and subsequent integration are straightforward:
∫sin(5x)cos(2x) dx=∫12[sin(3x)+sin(7x)] dx=−16cos(3x)−114cos(7x)+C
Integrals of the form ∫tanmxsecnx dx.
When evaluating integrals of the form ∫sinmxcosnx dx, the Pythagorean Theorem allowed us to convert even powers of sine into even powers of cosine, and vise--versa. If, for instance, the power of sine was odd, we pulled out one sinx and converted the remaining even power of sinx into a function using powers of cosx, leading to an easy substitution.
The same basic strategy applies to integrals of the form ∫tanmxsecnx dx, albeit a bit more nuanced. The following three facts will prove useful:
- ddx(tanx)=sec2x,
- ddx(secx)=secxtanx, and
- 1+tan2x=sec2x (the Pythagorean Theorem).
If the integrand can be manipulated to separate a sec2x term with the remaining secant power even, or if a secxtanx term can be separated with the remaining tanx power even, the Pythagorean Theorem can be employed, leading to a simple substitution. This strategy is outlined in the following Key Idea.
Key Idea 12: Integrals Involving Powers of Tangent and Secant
Consider ∫tanmxsecnx dx, where m,n are nonnegative integers.
- If n is even, then n=2k for some integer k. Rewrite secnx as secnx=sec2kx=sec2k−2xsec2x=(1+tan2x)k−1sec2x. Then ∫tanmxsecnx dx=∫tanmx(1+tan2x)k−1sec2x dx=∫um(1+u2)k−1 du, where u=tanx and du=sec2x dx.
- If m is odd, then m=2k+1 for some integer k. Rewrite tanmxsecnx as tanmxsecnx=tan2k+1xsecnx=tan2kxsecn−1xsecxtanx=(sec2x−1)ksecn−1xsecxtanx. Then ∫tanmxsecnx dx=∫(sec2x−1)ksecn−1xsecxtanx dx=∫(u2−1)kun−1 du, where u=secx and du=secxtanx dx.
- If n is odd and m is even, then m=2k for some integer k. Convert tanmx to (sec2x−1)k. Expand the new integrand and use Integration By Parts, with dv=sec2x dx.
- If m is even and n=0, rewrite tanmx as tanmx=tanm−2xtan2x=tanm−2x(sec2x−1)=tanm−2sec2x−tanm−2x. So ∫tanmx dx=∫tanm−2sec2x dx⏟\small apply rule \#1−∫tanm−2x dx⏟\small apply rule \#4 again.
The techniques described in items 1 and 2 of Key Idea 12 are relatively straightforward, but the techniques in items 3 and 4 can be rather tedious. A few examples will help with these methods.
Example 6.3.5: Integrating powers of tangent and secant
Evaluate ∫tan2xsec6x dx.
Solution
Since the power of secant is even, we use rule #1 from Key Idea 12 and pull out a sec2x in the integrand. We convert the remaining powers of secant into powers of tangent.
∫tan2xsec6x dx=∫tan2xsec4xsec2x dx=∫tan2x(1+tan2x)2sec2x dx
Now substitute, with u=tanx, with du=sec2x dx.
=∫u2(1+u2)2 du
We leave the integration and subsequent substitution to the reader. The final answer is
=13tan3x+25tan5x+17tan7x+C.
Example 6.3.6: Integrating powers of tangent and secant
Evaluate ∫sec3x dx.
Solution
We apply rule #3 from Key Idea 12 as the power of secant is odd and the power of tangent is even (0 is an even number). We use Integration by Parts; the rule suggests letting dv=sec2x dx, meaning that u=secx.
u=secxv=?du=?dv=sec2x dx
Figure 6.3.2: Setting up Integration by Parts.
Employing Integration by Parts, we have
∫sec3x dx=∫secx⏟u⋅sec2x dx⏟dv=secxtanx−∫secxtan2x dx.
This new integral also requires applying rule \#3 of Key Idea:
=secxtanx−∫secx(sec2x−1) dx=secxtanx−∫sec3x dx+∫secx dx=secxtanx−∫sec3x dx+ln|secx+tanx|
In previous applications of Integration by Parts, we have seen where the original integral has reappeared in our work. We resolve this by adding ∫sec3x dx to both sides, giving:
2∫sec3x dx=secxtanx+ln|secx+tanx|∫sec3x dx=12(secxtanx+ln|secx+tanx|)+C
We give one more example.
Example 6.3.7: Integrating powers of tangent and secant
Evaluate ∫tan6x dx.
Solution
We employ rule #4 of Key Idea 12.
∫tan6x dx=∫tan4xtan2x dx=∫tan4x(sec2x−1) dx=∫tan4xsec2x dx−∫tan4x dx
Integrate the first integral with substitution, u=tanx; integrate the second by employing rule #4 again.
=15tan5x−∫tan2xtan2x dx=15tan5x−∫tan2x(sec2x−1) dx=15tan5x−∫tan2xsec2x dx+∫tan2x dx
Again, use substitution for the first integral and rule \#4 for the second.
=15tan5x−13tan3x+∫(sec2x−1) dx=15tan5x−13tan3x+tanx−x+C.
These latter examples were admittedly long, with repeated applications of the same rule. Try to not be overwhelmed by the length of the problem, but rather admire how robust this solution method is. A trigonometric function of a high power can be systematically reduced to trigonometric functions of lower powers until all antiderivatives can be computed.
The next section introduces an integration technique known as Trigonometric Substitution, a clever combination of Substitution and the Pythagorean Theorem.
Contributors and Attributions
Gregory Hartman (Virginia Military Institute). Contributions were made by Troy Siemers and Dimplekumar Chalishajar of VMI and Brian Heinold of Mount Saint Mary's University. This content is copyrighted by a Creative Commons Attribution - Noncommercial (BY-NC) License. http://www.apexcalculus.com/
Integrated by Justin Marshall.