Here’s a particularly nontrivial power-of-a-trig-function integral:
∫sec3x dx So, how are we dealing with this?
If this were any other trigonometric function cubed we’d pull out a trigonometric identity. For instance
∫cos3x dx=∫(cosx)(cos2x) dx Then using sin2x=1−cos2x we get
=∫(cosx)(1−sin2x) dx=∫cosx−sin2xcosx dx and the rest is easy to integrate – inverse chain rule takes care of the right. So the strategy here was to break the product of sinx-s up into sinx and cosx, giving us an expanded product with parts that we can individually integrate.
Let’s try the same thing for secx. We’ll split it into secx and sec2x, then use the trigonometric identity tan2x+1=sec2x (also part of your standard arsenal), giving
=== ∫sec3x dx ∫(secx)(sec2x) dx ∫(secx)(tan2x+1) dx ∫secxtan2x+secx dx Now secxtan2x might look like it should work perfectly – but actually, there’s no inverse chain rule going on here! sec2x is the derivative of tanx, but here it’s tanx that’s been squared, not secx. Trying to split it up we get
secxtan2x=(secxtanx)(tanx) But again, we’re left with tanx, not the secx we want.
Okay, but we seem to have a derivative, so maybe some alarm bells in your head are ringing for integration by parts. Well, let’s try it.
We’ll integrate secxtanx to give secx, and differentiate tanx to give sec2x. Hence
== ∫(secxtanx)(tanx) dx (secx)(tanx)−∫(secx)(sec2x) dx secxtanx−∫sec3x dx And what’d’y’know, our original integral of sec3x has popped up again! Sometimes this can be an indication of parts gone wrong, but here it’s a beautiful sight to behold, because it’s solved the integral for us.
We can now put what we’ve just found into our original integral:
∫sec3x dx=∫secxtan2x+secx dx=∫secxtan2x dx+∫secx dx=secxtanx−∫sec3x dx+∫secx dx Moving the duplicate integral of sec3x over:
2∫sec3x dx=secxtanx+∫secx dx=secxtanx+ln∣secx+tanx∣ And so finally,
∫sec3x dx=21secxtanx+21ln∣secx+tanx∣−c Crazy, right?
And actually, you can derive the same result by starting with parts. Again, split sec3x as secx and sec2x.
∫sec3x dx=∫(secx)(sec2x) dx Then apply parts, integrating sec2x to tanx and differentiating secx to secxtanx.
=(secx)(tanx)−∫(secxtanx)(tanx) dx=secxtanx−∫secxtan2x dx This gives us the same integral that we had above! But of course we can’t do parts again, since that would just cancel out…
=secxtanx−(secxtanx−∫sec3x dx)=∫sec3x dxright back where we started! Instead, we can do what we did above, but backwards – using the identity to write tan2x as sec2x−1.
= secxtanx−∫secxtan2x dx secxtanx−∫(secx)(sec2x−1) dx Then we can expand and separate the integral, once again giving us a duplicate integral of sec3x.
=secxtanx−∫sec3x−secx dx=secxtanx−∫sec3x dx+∫secx dx And we know the drill from there.
2∫sec3x dx∫sec3x dx=secxtanx+∫secx dx=21secxtanx+21ln∣secx+tanx∣−c I find it pretty cool how both methods apply the same 2 methods – ‘morphing’ trig with parts, and ‘splitting’ trig with identities – yet apply them in different orders to lead to the same result. Just goes to show how powerful and important flexibility with your trigonometric algebra is. Not only in integration, but maths as a whole!