lesson

Unit 2 - Integration Methods as Structural Rewriting · AP

Trigonometric Integrals

Use parity and Pythagorean identities to rewrite powers of sine and cosine into integrable forms.

Overview

Central question: Which power and parity patterns suggest identities? You will use identities to expose a factor that can become a differential, and you will distinguish the odd-power case from the all-even case. An identity is not inserted to make an expression look more complicated. It is chosen because it changes the integral into a form that has an antiderivative.

Look first at ∫sin⁡3(x)cos⁡2(x) dx\int\sin^3(x)\cos^2(x)\,dx. The power of sine is odd. One sine factor can be saved, while the remaining even power sin⁡2(x)\sin^2(x) can be converted with sin⁡2(x)=1−cos⁡2(x)\sin^2(x)=1-\cos^2(x). Predict which substitution will then finish the problem.

Save one factor when a power is odd

Rewrite the integrand as

sin⁡2(x)sin⁡(x)cos⁡2(x)=(1−cos⁡2(x))sin⁡(x)cos⁡2(x).\sin^2(x)\sin(x)\cos^2(x) =\left(1-\cos^2(x)\right)\sin(x)\cos^2(x).

Now u=cos⁡(x)u=\cos(x) is justified because du=−sin⁡(x) dxdu=-\sin(x)\,dx. The remaining integral is polynomial:

∫sin⁡3(x)cos⁡2(x) dx=−∫(1−u2)u2 du=−u33+u55+C.\int\sin^3(x)\cos^2(x)\,dx =-\int\left(1-u^2\right)u^2\,du =-\frac{u^3}{3}+\frac{u^5}{5}+C.

Returning to the original variable gives

−cos⁡3(x)3+cos⁡5(x)5+C.-\frac{\cos^3(x)}{3}+\frac{\cos^5(x)}{5}+C.
L3-V01 - Odd-power decision path. Place it beside the rewrite. It is a static flow diagram: “odd sine power” leads to “save sin⁡x\sin xsinx,” then “rewrite sin⁡2x=1−cos⁡2x\sin^2x=1-\cos^2xsin2x=1−cos2x,” then “u=cos⁡xu=\cos xu=cosx.” Include the derivative du=−sin⁡x dxdu=-\sin x\,dxdu=−sinxdx at the final arrowAn odd sine power supplies one sine factor for the differential while the remaining sine squares become one minus cosine squared.
L3-V01 - Odd-power decision path. Place it beside the rewrite. It is a static flow diagram: “odd sine power” leads to “save sin⁡x\sin xsinx,” then “rewrite sin⁡2x=1−cos⁡2x\sin^2x=1-\cos^2xsin2x=1−cos2x,” then “u=cos⁡xu=\cos xu=cosx.” Include the derivative du=−sin⁡x dxdu=-\sin x\,dxdu=−sinxdx at the final arrow

The sign in du=−sin⁡(x) dxdu=-\sin(x)\,dx is easy to lose. Write it immediately when selecting uu; do not repair signs by intuition at the end. Differentiate the final answer to verify both the powers and the sign.

Use half-angle identities when both powers are even

For ∫sin⁡2(x)cos⁡2(x) dx\int\sin^2(x)\cos^2(x)\,dx, neither sine nor cosine has an odd power to save. The previous strategy cannot create a lone differential factor. Instead, use the double-angle identity

sin⁡(x)cos⁡(x)=12sin⁡(2x).\sin(x)\cos(x)=\frac12\sin(2x).

Squaring gives

sin⁡2(x)cos⁡2(x)=14sin⁡2(2x)=18(1−cos⁡(4x)).\sin^2(x)\cos^2(x)=\frac14\sin^2(2x) =\frac18\left(1-\cos(4x)\right).

The integral is now direct:

∫sin⁡2(x)cos⁡2(x) dx=x8−sin⁡(4x)32+C.\int\sin^2(x)\cos^2(x)\,dx =\frac{x}{8}-\frac{\sin(4x)}{32}+C.
L3-V02 - Even-power identity route. Place it beside the double-angle calculation. It is a static equivalence chain with sin⁡2xcos⁡2x\sin^2x\cos^2xsin2xcos2x, 14sin⁡2(2x)\frac14\sin^2(2x)41​sin2(2x), and 18(1−cos⁡4x)\frac18(1-\cos4x)81​(1−cos4x) in three linked panels. Use the same font size and do not present the chain as a fraction written with slashesTwo even trigonometric powers are converted through the double-angle and half-angle identities into a constant minus cosine.
L3-V02 - Even-power identity route. Place it beside the double-angle calculation. It is a static equivalence chain with sin⁡2xcos⁡2x\sin^2x\cos^2xsin2xcos2x, 14sin⁡2(2x)\frac14\sin^2(2x)41​sin2(2x), and 18(1−cos⁡4x)\frac18(1-\cos4x)81​(1−cos4x) in three linked panels. Use the same font size and do not present the chain as a fraction written with slashes

Contrast: choose the factor that matches the derivative

For ∫sin⁡4(x)cos⁡3(x) dx\int\sin^4(x)\cos^3(x)\,dx, cosine has an odd power. Save one cos⁡(x)\cos(x), convert cos⁡2(x)\cos^2(x) to 1−sin⁡2(x)1-\sin^2(x), and choose u=sin⁡(x)u=\sin(x). Do not save sine simply because it appears first; d(sin⁡x)=cos⁡x dxd(\sin x)=\cos x\,dx determines the productive pairing.

L3-V03 - Parity comparison. Place it after the contrast. It is a two-column static chart: odd sine power pairs with u=cos⁡xu=\cos xu=cosx; odd cosine power pairs with u=sin⁡xu=\sin xu=sinx; both even leads to a half-angle identityThe parity of sine and cosine powers chooses whether to save a sine factor, save a cosine factor, or use half-angle identities.
L3-V03 - Parity comparison. Place it after the contrast. It is a two-column static chart: odd sine power pairs with u=cos⁡xu=\cos xu=cosx; odd cosine power pairs with u=sin⁡xu=\sin xu=sinx; both even leads to a half-angle identity

Explain the identity choice

The Pythagorean identity is useful here because it changes an even power into an expression involving the other function. In the odd-sine example, saving one sine leaves an even sine power. Replacing sin⁡2x\sin^2x by 1−cos⁡2x1-\cos^2x produces a polynomial in the same function chosen for uu. This is the desired structural outcome: after u=cos⁡xu=\cos x, the remaining expression contains only powers of uu and dudu.

If instead you rewrite cos⁡2x\cos^2x as 1−sin⁡2x1-\sin^2x in that example, the saved sine factor no longer pairs naturally with the chosen u=cos⁡xu=\cos x. The algebra may remain true, but it does not expose the differential relationship. An identity is selected for compatibility with the factor being saved, not because one identity is universally preferable.

For all-even powers, half-angle identities are needed because neither function supplies a single differential factor. The formulas

sin⁡2x=1−cos⁡(2x)2,cos⁡2x=1+cos⁡(2x)2\sin^2x=\frac{1-\cos(2x)}{2}, \qquad \cos^2x=\frac{1+\cos(2x)}{2}

lower the powers and replace the original product by sums of directly integrable functions. The argument 2x2x requires attention when integrating: ∫cos⁡(2x) dx=12sin⁡(2x)+C\int\cos(2x)\,dx=\frac12\sin(2x)+C. The factor 12\frac12 comes from the derivative of the inside function, just as it did in substitution.

A definite-integral comparison

Consider ∫0π/2sin⁡3xcos⁡2x dx\int_0^{\pi/2}\sin^3x\cos^2x\,dx. The same odd-power strategy applies, but the transformed bounds change when u=cos⁡xu=\cos x. At x=0x=0, u=1u=1; at x=π2x=\frac\pi2, u=0u=0. The negative differential reverses the order, giving a positive integral. This is a useful combined retrieval: parity chooses the rewrite, substitution changes the variable, and the bounds must follow the new variable.

The final value should be positive because the original integrand is nonnegative on the stated interval. Checking sign and scale against the graph is especially useful when a minus sign enters through du=−sin⁡x dxdu=-\sin x\,dx.

Stop and check

A common incorrect start is to substitute u=sin⁡(x)u=\sin(x) in ∫sin⁡3(x)cos⁡2(x) dx\int\sin^3(x)\cos^2(x)\,dx without first creating a lone cos⁡(x) dx\cos(x)\,dx. The misconception is choosing a familiar function without checking whether its differential is present. The correction is to inspect parity before choosing uu and to show the identity rewrite that creates the required differential.

Retrieval check

Set up, but do not fully simplify, ∫cos⁡5(x)sin⁡4(x) dx\int\cos^5(x)\sin^4(x)\,dx. Because cosine has an odd power, save one cos⁡(x)\cos(x), rewrite the remaining cos⁡4(x)\cos^4(x) as (1−sin⁡2(x))2\left(1-\sin^2(x)\right)^2, and use u=sin⁡(x)u=\sin(x). Explain why a half-angle identity is unnecessary in this case.

The next lesson uses a different trigonometric rewrite. Instead of powers of sine and cosine, radicals such as a2−x2\sqrt{a^2-x^2} are matched to a Pythagorean identity through a trigonometric substitution.

Knowledge Map

Where this lesson fits

Prerequisites

Unit 2 - Integration Techniques and VerificationRepeated and Cyclic Integration by Parts

Next lessons

Unit 2 - Integration Techniques and VerificationTrigonometric SubstitutionUnit 2 - Integration Techniques and VerificationPartial Fractions and Algebraic Decomposition