Theory 1

Review: trig identities

  • sin2⁡x+cos2⁡x=1
  • sin2⁡x=12(1−cos⁡2x)
  • cos2⁡x=12(1+cos⁡2x)

Trig power product: sin⁡/cos⁡

A sin⁡/cos⁡ power product has this form:

∫cosm⁡x⋅sinn⁡xdx

for some integers m and n (even negative!).

To compute these integrals, use a sequence of these techniques:

  • Swap an even bunch.
  • u-sub for power-one.
  • Power-to-frequency conversion.

Memorize these three techniques!

Examples of trig power products:

  • ∫sin⁡x⋅cos7⁡xdx
  • ∫sin3⁡xdx
  • ∫sin2⁡x⋅cos2⁡xdx

Swap an even bunch

If either cosm⁡x or sinn⁡x is an odd power, use

sin2⁡x≫≫1−cos2⁡xORcos2⁡x≫≫1−sin2⁡x

(maybe repeatedly) to convert an even bunch to the opposite trig type.

An even bunch is all but one from the odd power.

For example:

sin5⁡x⋅cos8⁡x≫≫sin⁡x(sin2⁡x)2⋅cos8⁡x≫≫sin⁡x(1−cos2⁡x)2⋅cos8⁡x≫≫sin⁡x(1−2cos2⁡x+cos4⁡x)⋅cos8⁡x≫≫sin⁡x(cos8⁡x−2cos10⁡x+cos12⁡x)≫≫sin⁡xcos8⁡x−2sin⁡xcos10⁡x+sin⁡xcos12⁡x

u-sub for power-one

If m=1 or n=1, perform u-substitution to do the integral.

The other trig power becomes a u power; the power-one becomes du.

For example, using u=cos⁡x and thus du=−sin⁡xdx we can do:

∫sin⁡xcos8⁡xdx≫≫∫−cos8⁡x(−sin⁡xdx)≫≫−∫u8du

By combining these tricks you can do any power product with at least one odd power! Make sure to leave a power-one from the odd power when swapping an even bunch.

Notice

Even powers: 1=sin0⁡x=cos0⁡x. So the method works for ∫sin3⁡xdx and similar.

Power-to-frequency conversion

Using these ‘power-to-frequency’ identities (maybe repeatedly):

sin2⁡x=12(1−cos⁡2x),cos2⁡x=12(1+cos⁡2x)

change an even power (either type) into an odd power of cosine.

For example, consider the power product:

sin4⁡x⋅cos6⁡x

You can substitute appropriate powers of sin2⁡x=12(1−cos⁡2x) and cos2⁡x=12(1+cos⁡2x):

sin4⁡x⋅cos6⁡x≫≫(sin2⁡x)2⋅(cos2⁡x)3≫≫(12(1−cos⁡2x))2⋅(12(1+cos⁡2x))3

By doing some annoying algebra, this expression can be expanded as a sum of smaller powers of cos⁡2x:

(12(1−cos⁡2x))2⋅(12(1+cos⁡2x))3≫≫132(1+cos⁡(2x)−2cos2⁡(2x)−2cos3⁡(2x)+cos4⁡(2x)+cos5⁡(2x))

Each of these terms can be integrated by repeating the same techniques.

Theory 2

Trig power product: tan⁡/sec⁡ or cot⁡/csc⁡

A tan⁡/sec⁡ power product has this form:

∫tanm⁡x⋅secn⁡xdx

A cot⁡/csc⁡ power product has this form:

∫cotm⁡x⋅cscn⁡xdx

To integrate these, swap an even bunch using:

  • tan2⁡x+1=sec2⁡x

OR:

  • cot2⁡x+1=csc2⁡x

Or do u-substitution using:

  • u=tan⁡x⇝du=sec2⁡xdx
  • u=sec⁡x⇝du=sec⁡xtan⁡xdx

OR:

  • u=cot⁡x⇝du=−csc2⁡xdx
  • u=csc⁡x⇝du=−csc⁡ucot⁡udx

Note

There is no simple “power-to-frequency conversion” for tan / sec !

We can modify the power-one technique to solve some of these. We need to swap over an even bunch from the odd power so that exactly the du factor is left behind.

Considering all the possibilities, one sees that this method works when:

  • tanm⁡x is an odd power (with some secants present!)
  • secn⁡x is an even power

Quite a few cases escape this method:

  • Any ∫tanm⁡xdx with no power of sec⁡x
  • Any ∫tanm⁡x⋅secn⁡xdx for m even and n odd

These tricks don’t work for ∫tan⁡xdx or ∫sec⁡xdx or ∫tan4⁡xsec5⁡xdx, among others.

Special integrals: tan and sec

We have:

∫tan⁡xdx=ln⁡|sec⁡x|+C∫sec⁡xdx=ln⁡|sec⁡x+tan⁡x|+C

Note

These integrals should be memorized individually.

Extra - Deriving special integrals: tan and sec

The first formula can be found by u-substitution, considering that tan⁡x=sin⁡xcos⁡x.

The second formula can be derived by multiplying sec⁡x by a special “1”, computing instead ∫sec⁡x(sec⁡x+tan⁡x)sec⁡x+tan⁡xdx by expanding the numerator and doing u-sub on the denominator.