Integration Techniques for Powers of Sine and Cosine

Integration of Trigonometric Powers

General Strategy for Odd Exponents
  • Key Idea: When at least one trigonometric function has an odd exponent, the strategy is to "break off" one copy of the odd-powered function to facilitate a uu-substitution.
  • Steps:
    1. Isolate one factor of the function with the odd exponent (e.g., extsinxext{sin } x or extcosxext{cos } x).
    2. Rewrite the remaining even power using a Pythagorean identity (e.g., extsin2x=1extcos2xext{sin}^2 x = 1 - ext{cos}^2 x or extcos2x=1extsin2xext{cos}^2 x = 1 - ext{sin}^2 x).
    3. Perform a uu-substitution: Let uu be the other trigonometric function (e.g., if you isolated extsinxext{sin } x, let u=extcosxu = ext{cos } x; if you isolated extcosxext{cos } x, let u=extsinxu = ext{sin } x). The isolated factor will become part of dudu.
    4. Integrate the resulting polynomial in uu. \
    5. Substitute back to the original variable.
  • Why it works: An odd exponent (e.g., nn) means we can write extfuncnx=extfuncn1ximesextfuncxext{func}^n x = ext{func}^{n-1} x imes ext{func } x. Since n1n-1 is even, extfuncn1xext{func}^{n-1} x can always be expressed in terms of the other function using the Pythagorean identity, leaving the single extfuncxext{func } x for dudu. This is why odd exponents are considered "nice" cases.
Case 1: One Odd Exponent (e.g., extsinnxextcosmxext{sin}^n x ext{cos}^m x where nn is odd and mm is even or zero)
  • Example 1: extintegralofextcos2xextwithrespecttoxext{integral of } ext{cos}^2 x ext{ with respect to } x (Initial discussion implies extsin0xext{sin}^0 x)
    • Strategy mentioned: Break off one extcosxext{cos } x. This led to an example where extcos2xext{cos}^2 x was rewritten as (1extsin2x)extcosx(1 - ext{sin}^2 x) ext{cos } x.
    • Substitution for such a case: Let u=extsinxu = ext{sin } x. Then du=extcosxdxdu = ext{cos } x dx.
    • The integral becomes extintegralof(1u2)duext{integral of } (1 - u^2) du.
    • Integration: uu33+Cu - \frac{u^3}{3} + C.
    • Substitute back: extsinxextsin3x3+Cext{sin } x - \frac{ ext{sin}^3 x}{3} + C.
  • Example 2: extintegralofextsin5xextcos2xdxext{integral of } ext{sin}^5 x ext{cos}^2 x dx
    • Focus on the odd exponent: extsin5xext{sin}^5 x.
    • Break off one copy: extsinxext{sin } x. The integral becomes extintegralofextsin4xextcos2xextsinxdxext{integral of } ext{sin}^4 x ext{cos}^2 x ext{sin } x dx.
    • Rewrite even power: extsin4x=(extsin2x)2=(1extcos2x)2ext{sin}^4 x = ( ext{sin}^2 x)^2 = (1 - ext{cos}^2 x)^2.
    • The integral becomes extintegralof(1extcos2x)2extcos2xextsinxdxext{integral of } (1 - ext{cos}^2 x)^2 ext{cos}^2 x ext{sin } x dx.
    • Substitution: Let v=extcosxv = ext{cos } x. Then dv=extsinxdxdv = - ext{sin } x dx, so extdv=extsinxdx- ext{dv} = ext{sin } x dx.
    • The integral becomes extintegralof(1v2)2v2(dv)=extintegralof(12v2+v4)v2dvext{integral of } (1 - v^2)^2 v^2 (-dv) = - ext{integral of } (1 - 2v^2 + v^4) v^2 dv.
    • Simplify: extintegralof(v22v4+v6)dv- ext{integral of } (v^2 - 2v^4 + v^6) dv.
    • Integrate using power rule: v33+2v55v77+C-\frac{v^3}{3} + \frac{2v^5}{5} - \frac{v^7}{7} + C.
    • Substitute back v=extcosxv = ext{cos } x: 13extcos3x+25extcos5x17extcos7x+C-\frac{1}{3} ext{cos}^3 x + \frac{2}{5} ext{cos}^5 x - \frac{1}{7} ext{cos}^7 x + C.
Case 2: Both Exponents are Odd (e.g., extsinnxextcosmxext{sin}^n x ext{cos}^m x where both nn and mm are odd)
  • Strategy: You can choose either of the odd-powered functions to apply the strategy from Case 1. Both choices will lead to a correct but potentially different-looking antiderivative.
  • Example: extintegralofextsin3xextcos3xdxext{integral of } ext{sin}^3 x ext{cos}^3 x dx
    • Option A: Focus on extsin3xext{sin}^3 x
      • Break off extsinxext{sin } x: extintegralofextsin2xextcos3xextsinxdxext{integral of } ext{sin}^2 x ext{cos}^3 x ext{sin } x dx.
      • Rewrite extsin2x=1extcos2xext{sin}^2 x = 1 - ext{cos}^2 x: extintegralof(1extcos2x)extcos3xextsinxdxext{integral of } (1 - ext{cos}^2 x) ext{cos}^3 x ext{sin } x dx.
      • Substitution: Let w=extcosxw = ext{cos } x. Then dw=extsinxdxdw = - ext{sin } x dx, so extdw=extsinxdx- ext{dw} = ext{sin } x dx.
      • The integral becomes extintegralof(1w2)w3(dw)=extintegralof(w5w3)dwext{integral of } (1 - w^2) w^3 (-dw) = ext{integral of } (w^5 - w^3) dw.
      • Integrate: w66w44+C\frac{w^6}{6} - \frac{w^4}{4} + C. (Note: A negative from the initial part was pulled out and distributed, switching the order of terms compared to the example).
      • Substitute back: 16extcos6x14extcos4x+C\frac{1}{6} ext{cos}^6 x - \frac{1}{4} ext{cos}^4 x + C.
    • Option B: Focus on extcos3xext{cos}^3 x
      • Break off extcosxext{cos } x: extintegralofextsin3xextcos2xextcosxdxext{integral of } ext{sin}^3 x ext{cos}^2 x ext{cos } x dx.
      • Rewrite extcos2x=1extsin2xext{cos}^2 x = 1 - ext{sin}^2 x: extintegralofextsin3x(1extsin2x)extcosxdxext{integral of } ext{sin}^3 x (1 - ext{sin}^2 x) ext{cos } x dx.
      • Substitution: Let z=extsinxz = ext{sin } x. Then dz=extcosxdxdz = ext{cos } x dx.
      • The integral becomes extintegralofz3(1z2)dz=extintegralof(z3z5)dzext{integral of } z^3 (1 - z^2) dz = ext{integral of } (z^3 - z^5) dz.
      • Integrate: z44z66+C\frac{z^4}{4} - \frac{z^6}{6} + C.
      • Substitute back: 14extsin4x16extsin6x+C\frac{1}{4} ext{sin}^4 x - \frac{1}{6} ext{sin}^6 x + C.
  • Note on Different Answers: Both Option A and Option B yield correct antiderivatives. They are equivalent up to the arbitrary constant CC. This means their derivatives are identical, even if their specific functional forms appear different.
    • Graphical Interpretation: If two functions have the same derivative, their graphs have the same slope at every corresponding xx-value. They are essentially vertical shifts of each other. The +C+C accounts for this vertical shift.
Case 3: Both Exponents are Even (e.g., extsinnxextcosmxext{sin}^n x ext{cos}^m x where both nn and mm are even)
  • Problematic Case: The previous substitution strategy is not viable because there's no single factor left over to form dudu.
  • Solution: Use Power-Reducing (Double Angle) Identities repeatedly.
    • extcos2heta=1+extcos(2heta)2ext{cos}^2 heta = \frac{1 + ext{cos}(2 heta)}{2}
    • extsin2heta=1extcos(2heta)2ext{sin}^2 heta = \frac{1 - ext{cos}(2 heta)}{2}
  • Purpose: These identities reduce the power of the trigonometric function from squared to the first power, making it integrable.
  • Example 1: extintegralofextcos2xdxext{integral of } ext{cos}^2 x dx
    • Apply identity: extintegralof1+extcos(2x)2dxext{integral of } \frac{1 + ext{cos}(2x)}{2} dx.
    • Split and integrate: extintegralof12dx+extintegralof12extcos(2x)dxext{integral of } \frac{1}{2} dx + ext{integral of } \frac{1}{2} ext{cos}(2x) dx.
    • First term: x2\frac{x}{2}.
    • Second term: Use substitution extgamma(extgreekletter)=2xext{gamma } ( ext{greek letter}) = 2x, so dextgamma=2dxextanddx=12dextgammad ext{gamma} = 2 dx ext{ and } dx = \frac{1}{2} d ext{gamma}.
      • 12extintegralofextcos(extgamma)12dextgamma=14extintegralofextcos(extgamma)dextgamma=14extsin(extgamma)\frac{1}{2} ext{integral of } ext{cos}( ext{gamma}) \frac{1}{2} d ext{gamma} = \frac{1}{4} ext{integral of } ext{cos}( ext{gamma}) d ext{gamma} = \frac{1}{4} ext{sin}( ext{gamma}).
    • Combine and substitute back: x2+14extsin(2x)+C\frac{x}{2} + \frac{1}{4} ext{sin}(2x) + C.
  • Instructor's Opinion: For extsin2xext{sin}^2 x or extcos2xext{cos}^2 x, integration by parts can also be used and is sometimes preferred, but the double-angle identity method is equally valid and preferred by some.
  • Example 2: extintegralofextcos4xdxext{integral of } ext{cos}^4 x dx
    • Step 1: Rewrite as squared terms: extintegralof(extcos2x)2dxext{integral of } ( ext{cos}^2 x)^2 dx.
    • Step 2: Apply double angle identity: extintegralofextleft(1+extcos(2x)2extright)2dxext{integral of } ext{left( } \frac{1 + ext{cos}(2x)}{2} ext{right)}^2 dx. (Note: here heta=xheta = x)
    • Step 3: Expand the square: extintegralof1+2extcos(2x)+extcos2(2x)4dxext{integral of } \frac{1 + 2 ext{cos}(2x) + ext{cos}^2(2x)}{4} dx.
    • Step 4: Distribute and identify terms: 14extintegralof1dx+12extintegralofextcos(2x)dx+14extintegralofextcos2(2x)dx\frac{1}{4} ext{integral of } 1 dx + \frac{1}{2} ext{integral of } ext{cos}(2x) dx + \frac{1}{4} ext{integral of } ext{cos}^2(2x) dx. (Note: Here, extcos2(2x)ext{cos}^2(2x) is a new term that needs further reduction).
    • Step 5: Apply double angle identity again for the remaining squared term: For extcos2(2x)ext{cos}^2(2x), use extcos2heta=1+extcos(2heta)2ext{cos}^2 heta = \frac{1 + ext{cos}(2 heta)}{2} with heta=2xheta = 2x. \
      • So, extcos2(2x)=1+extcos(2imes2x)2=1+extcos(4x)2ext{cos}^2(2x) = \frac{1 + ext{cos}(2 imes 2x)}{2} = \frac{1 + ext{cos}(4x)}{2}.
    • Step 6: Integrate the new terms: The integral 14extintegralofextcos2(2x)dx\frac{1}{4} ext{integral of } ext{cos}^2(2x) dx becomes 14extintegralof1+extcos(4x)2dx=18extintegralof(1+extcos(4x))dx\frac{1}{4} ext{integral of } \frac{1 + ext{cos}(4x)}{2} dx = \frac{1}{8} ext{integral of } (1 + ext{cos}(4x)) dx.
      • This integrates to 18extleft(x+extsin(4x)4extright)\frac{1}{8} ext{left( } x + \frac{ ext{sin}(4x)}{4} ext{right)}.
    • Step 7: Combine all results: Add the antiderivatives of all terms and add a single +C+C.
  • Conclusion for Even Powers: Integrating even powers of trigonometric functions often requires multiple applications of the power-reducing identities, leading to longer and more complex calculations. This is why even powers are considered "horrible" or "annoying."
  • General approach for Complex Even Powers (e.g., extintegralofextsin2xextcos2xdxext{integral of } ext{sin}^2 x ext{cos}^2 x dx):
    • You will need to use both double angle identities. A common approach is to combine the terms first: extsin2xextcos2x=(extsinxextcosx)2ext{sin}^2 x ext{cos}^2 x = ( ext{sin } x ext{cos } x)^2.
    • Recall extsin(2x)=2extsinxextcosxext{sin}(2x) = 2 ext{sin } x ext{cos } x, so extsinxextcosx=extsin(2x)2ext{sin } x ext{cos } x = \frac{ ext{sin}(2x)}{2}.
    • Therefore, (extsinxextcosx)2=extleft(extsin(2x)2extright)2=extsin2(2x)4( ext{sin } x ext{cos } x)^2 = ext{left( } \frac{ ext{sin}(2x)}{2} ext{right)}^2 = \frac{ ext{sin}^2(2x)}{4}.
    • Now apply the double angle identity for extsin2hetaext{sin}^2 heta with heta=2xheta = 2x. \
      • 14extintegralof1extcos(2imes2x)2dx=18extintegralof(1extcos(4x))dx\frac{1}{4} ext{integral of } \frac{1 - ext{cos}(2 imes 2x)}{2} dx = \frac{1}{8} ext{integral of } (1 - ext{cos}(4x)) dx. \
      • This can then be integrated easily: 18extleft(xextsin(4x)4extright)+C\frac{1}{8} ext{left( } x - \frac{ ext{sin}(4x)}{4} ext{right)} + C.
Arbitrary Constant (+C+C)
  • Concept: When finding an antiderivative, there is an infinite family of functions that have the same derivative. They differ only by an arbitrary constant CC.
  • Uniqueness: Antiderivatives are not unique. For example, x2x^2 and x2+1x^2 + 1 both have a derivative of 2x2x. Graphically, they represent the same function shifted vertically.
  • Solving for CC: If additional information (e.g., an initial condition, a point the function must pass through) is provided, you can solve for a specific CC, thus finding a unique antiderivative from the family of possibilities.