Integrating sin & cos Products — Integrating Powers and Products of Sine and Cosine - Calculus 2

SECTION 1

Historical Context & Motivation

The challenge of integrating products and powers of trigonometric functions is as old as the calculus itself. When Newton and Leibniz independently formalized integration in the late seventeenth century, they immediately encountered integrals arising from the study of curves, optics, and celestial mechanics that could not be resolved without manipulating trigonometric expressions. The integral ∫ sinᵐx cosⁿx dx, which appears deceptively simple in notation, encodes a rich family of problems whose solutions depend delicately on the parity of the exponents m and n. Over the following centuries, mathematicians developed an elegant toolkit—rooted in Pythagorean identities, half-angle formulas, and reduction formulas—that transforms these integrals into tractable forms.

1665–1676 • Birth of Integral Calculus

Newton and Leibniz independently develop the foundations of calculus. Newton's work on series expansions and Leibniz's notation for integration lay the groundwork for systematically evaluating trigonometric integrals.

1748 • Euler's Introductio in Analysin Infinitorum

Euler publishes a comprehensive treatment connecting trigonometric functions to exponentials via eⁱˣ = cos x + i sin x, providing a powerful algebraic framework for deriving trigonometric identities used in integration.

1807 • Fourier's Théorie Analytique de la Chaleur

Fourier demonstrates that arbitrary functions can be expanded in series of sines and cosines. Computing the coefficients of these Fourier series requires systematic evaluation of ∫ sinᵐx cosⁿx dx over specific intervals, driving demand for efficient integration techniques.

19th Century • Reduction Formulas Systematized

Mathematicians such as Ostrogradsky and others formalize reduction formulas, which recursively lower the powers in trigonometric integrals, making these techniques standard content in analysis textbooks.

Today, integrals of the form ∫ sinᵐx cosⁿx dx arise throughout physics, engineering, and applied mathematics—in computing Fourier coefficients, evaluating energy in wave phenomena, analyzing alternating-current circuits, and computing surface areas and volumes of revolution. The central question this lesson addresses is: given an integral involving powers and products of sin x and cos x, how do we choose the right identity or substitution to reduce it to a form we can evaluate?

SECTION 2

Core Principles & Strategy Overview

Evaluating ∫ sinᵐx cosⁿx dx hinges on a single overarching idea: exploit trigonometric identities to convert the integrand into a form amenable to a direct substitution or a known antiderivative. The strategy you choose depends entirely on the parity (odd or even) of the exponents m and n. The following principles form the decision tree that governs all cases.

Odd Power of sin x

If m is odd, peel off one factor of sin x to serve as the differential du when u = cos x. Convert the remaining even power of sin x to cos x using sin²x = 1 − cos²x.

Odd Power of cos x

If n is odd, peel off one factor of cos x for du when u = sin x. Convert the remaining even power of cos x to sin x using cos²x = 1 − sin²x.

Both Exponents Even

When both m and n are even (including zero), no simple u-substitution works. Instead, apply the half-angle (power-reduction) identities: sin²x = (1 − cos 2x)/2 and cos²x = (1 + cos 2x)/2, then expand and integrate.

Product-to-Sum for Different Arguments

Integrals of the form ∫ sin(mx) cos(nx) dx, where the arguments differ, require product-to-sum identities: sin A cos B = ½[sin(A + B) + sin(A − B)], and analogous formulas for sin·sin and cos·cos products.

Reduction Formulas

For very high powers, reduction formulas obtained via integration by parts recursively lower the exponent: ∫ sinⁿx dx = −(1/n) sinⁿ⁻¹x cos x + (n−1)/n ∫ sinⁿ⁻²x dx. These are especially useful in deriving general closed forms.

✦

KEY TAKEAWAY

Think of the parity check as a triage step in an emergency room: before you attempt any calculation, you diagnose whether each exponent is odd or even. That single determination routes you to the correct procedure—u-substitution for an odd exponent, or half-angle identities for the all-even case—just as a triage nurse routes a patient to the right specialist. Misdiagnosing parity leads to algebraic dead ends, much like misrouting a patient wastes critical time.

SECTION 3

Visual Decision Flowchart

The following flowchart provides a visual map of the strategy selection process for ∫ sinᵐx cosⁿx dx. Start at the top by examining the exponents m and n, then follow the branches to arrive at the correct technique. This diagram should serve as your primary reference when approaching a new problem of this type.

Decision flowchart for ∫ sinᵐx cosⁿx dx. Begin by checking whether m is odd (left branch), then whether n is odd (middle branch). If both are even, apply half-angle reduction (right branch). All paths converge to a polynomial integral in u or a cosine multiple-angle expression.

Notice that when at least one exponent is odd, the substitution method transforms the integral into a polynomial in u, which is straightforward to integrate term by term. The more challenging scenario—when both exponents are even—requires repeated application of half-angle formulas. In practice, you may need to apply the half-angle identity multiple times to fully reduce the integrand, which increases algebraic complexity but never changes the fundamental approach.

SECTION 4

Mathematical Framework

Case 1: At Least One Odd Exponent

Suppose we wish to evaluate ∫ sinᵐx cosⁿx dx and m is odd. Write m = 2k + 1 so that sinᵐx = (sin²x)ᵏ sin x. Use the Pythagorean identity sin²x = 1 − cos²x to express everything in terms of cos x, then substitute u = cos x, du = −sin x dx. The integral becomes a polynomial in u.

ODD SINE EXPONENT SUBSTITUTION

∫ sin²ᵏ⁺¹x cosⁿx dx = ∫ (1 − cos²x)ᵏ cosⁿx sin x dx = −∫ (1 − u²)ᵏ uⁿ du

where u = cos x, du = −sin x dx, and k = (m − 1)/2. Expand (1 − u²)ᵏ by the binomial theorem, multiply through by uⁿ, and integrate each power of u.

The procedure is symmetric: if n is odd instead, write n = 2k + 1, set u = sin x, du = cos x dx, and convert cos²x = 1 − sin²x. The result is again a polynomial integral in u.

ODD COSINE EXPONENT SUBSTITUTION

∫ sinᵐx cos²ᵏ⁺¹x dx = ∫ sinᵐx (1 − sin²x)ᵏ cos x dx = ∫ uᵐ(1 − u²)ᵏ du

where u = sin x, du = cos x dx, and k = (n − 1)/2.

Case 2: Both Exponents Even

When both m and n are even, there is no leftover factor of sin x or cos x to serve as du. The standard approach is to apply the power-reduction (half-angle) identities to lower the powers. These identities convert squares of trig functions into first-degree expressions in cos 2x.

HALF-ANGLE IDENTITIES

sin²x = (1 − cos 2x) / 2 cos²x = (1 + cos 2x) / 2

Apply repeatedly to each factor of sin²x and cos²x. Multiply out, then integrate the resulting cosine terms. If cos²(2x) appears, apply the identity again with argument 4x.

Reduction Formulas

REDUCTION FORMULA FOR sinⁿx

∫ sinⁿx dx = −(1/n) sinⁿ⁻¹x cos x + (n − 1)/n · ∫ sinⁿ⁻²x dx

Derived via integration by parts with u = sinⁿ⁻¹x and dv = sin x dx. This formula reduces the exponent by 2 with each application and terminates at ∫ sin x dx or ∫ dx depending on parity.

SECTION 5

Detailed Case Breakdown with Examples

The following table organizes all major cases of ∫ sinᵐx cosⁿx dx along with the recommended technique and the key identity employed. After the table, a second SVG diagram illustrates how the half-angle identity geometrically halves the frequency while squaring converts products into sums.

Case	Condition	Technique	Key Identity
1	m odd, n any	u = cos x, peel sin x	sin²x = 1 − cos²x
2	n odd, m any	u = sin x, peel cos x	cos²x = 1 − sin²x
3	Both m, n even	Half-angle reduction	sin²x = (1 − cos 2x)/2, cos²x = (1 + cos 2x)/2
4	sin(mx)cos(nx), m ≠ n	Product-to-sum	sin A cos B = ½[sin(A+B) + sin(A−B)]
5	High powers, general n	Reduction formula	∫ sinⁿx dx = −(1/n)sinⁿ⁻¹x cos x + (n−1)/n ∫ sinⁿ⁻²x dx

Summary of cases for ∫ sinᵐx cosⁿx dx

The graph of sin²x (solid pink) is identical to the graph of (1 − cos 2x)/2 (dashed violet). The half-angle identity doubles the frequency and shifts the function upward so that it oscillates between 0 and 1 with an average value of 1/2 (amber dashed line). This transformation converts an even power into a first-degree cosine expression, making integration straightforward.

💡

When Both Exponents Are Odd

If both m and n are odd, you have a choice of which substitution to use. Generally, choose the one that yields the simpler algebra—typically, substitute for the function with the higher exponent remaining after peeling, since the binomial expansion will have fewer terms.

SECTION 6

Worked Examples

Example 1: Odd Exponent Case

Evaluate ∫ sin³x cos⁴x dx

1
Step 1 — Diagnose Parity

Here m = 3 (odd) and n = 4 (even). Since the sine exponent is odd, we peel off one factor of sin x and substitute u = cos x.
2
Step 2 — Rewrite the Integrand

Write sin³x cos⁴x = sin²x · cos⁴x · sin x = (1 − cos²x) cos⁴x sin x. Setting u = cos x gives du = −sin x dx, so sin x dx = −du.
3
Step 3 — Substitute

The integral becomes ∫ (1 − u²) u⁴ (−du) = −∫ (u⁴ − u⁶) du = −∫ u⁴ du + ∫ u⁶ du.
4
Step 4 — Integrate the Polynomial

Integrate term by term: −u⁵/5 + u⁷/7 + C.

−u⁵/5 + u⁷/7 + C
5
Step 5 — Back-Substitute

Replace u with cos x.

∫ sin³x cos⁴x dx = −cos⁵x / 5 + cos⁷x / 7 + C

Example 2: Both Exponents Even

Evaluate ∫ sin²x cos²x dx

1
Step 1 — Diagnose Parity

Both m = 2 and n = 2 are even. We cannot peel off a factor for substitution. Apply half-angle identities.
2
Step 2 — Apply Double-Angle Shortcut

Recognize that sin x cos x = ½ sin 2x, so sin²x cos²x = (sin x cos x)² = ¼ sin²(2x). Alternatively, multiply the two half-angle formulas directly. Using the shortcut here is more efficient.

sin²x cos²x = ¼ sin²(2x)
3
Step 3 — Apply Half-Angle Again

Apply the half-angle identity to sin²(2x): sin²(2x) = (1 − cos 4x)/2. Thus the integrand becomes ¼ · (1 − cos 4x)/2 = (1 − cos 4x)/8.
4
Step 4 — Integrate

∫ (1 − cos 4x)/8 dx = (1/8)[x − sin(4x)/4] + C = x/8 − sin(4x)/32 + C.

∫ sin²x cos²x dx = x/8 − sin(4x)/32 + C

SECTION 7

Strengths, Limitations & Technique Comparison

Each strategy for integrating sinᵐx cosⁿx dx has its own strengths and limitations. Understanding when a technique excels—and when it becomes unwieldy—helps you select the most efficient approach and avoid unnecessary algebraic complexity.

Technique	Strengths	Limitations
u-substitution (odd exponent)	Converts to a simple polynomial in u; mechanically straightforward; always terminates in finitely many steps	Only applicable when at least one exponent is odd; binomial expansion can become tedious for very large odd exponents
Half-angle identities (both even)	Universal for the even-even case; reduces powers systematically; always yields elementary antiderivatives	Algebra intensifies rapidly with high even powers; may need multiple iterations; produces complicated multi-term results
Reduction formulas	Handles arbitrary powers recursively; elegant for deriving general formulas; well-suited for definite integrals (Wallis-type)	Recursive nature can be error-prone in hand computation; requires knowing the base cases; less intuitive for beginners
Product-to-sum formulas	Essential for different-argument products sin(mx)cos(nx); integration becomes trivial after the identity; heavily used in Fourier analysis	Only applies when the arguments of sine and cosine differ; not useful for same-argument powers

Comparison of techniques for trigonometric integrals

✦

KEY TAKEAWAY

Think of these techniques as different tools in a mechanic's toolbox. A wrench (u-substitution) is your go-to for most jobs, but it only works when you can grip a bolt (an odd exponent). When the bolt is recessed (both exponents even), you need a socket wrench (half-angle identities) that fits differently. Reduction formulas are like a ratchet—they make repetitive loosening systematic. No single tool works for every situation, but the parity check tells you which tool to reach for before you even begin.

SECTION 8

Connections to Advanced Theory

The techniques developed in this lesson extend naturally into several advanced areas of mathematics and applied science. The Wallis integrals ∫₀^(π/2) sinⁿx dx provide exact closed-form values for definite integrals of arbitrary powers, connecting trigonometric integration to the Gamma function and Beta function through the identity B(a, b) = 2 ∫₀^(π/2) sin²ᵃ⁻¹x cos²ᵇ⁻¹x dx. Furthermore, Fourier series analysis relies fundamentally on the orthogonality of {sin(nx), cos(nx)} over [0, 2π], which is established by evaluating products of sines and cosines with different arguments—precisely the product-to-sum case discussed earlier.

This Lesson	Advanced Extension
∫ sinᵐx cosⁿx dx (indefinite)	Wallis integrals: ∫₀^(π/2) sinᵐx cosⁿx dx = B((m+1)/2, (n+1)/2) / 2
Half-angle identities for even powers	Chebyshev polynomials: cos(nθ) = Tₙ(cos θ) connects trig powers to polynomial theory
Product-to-sum identities	Fourier orthogonality: ∫₀^(2π) sin(mx)cos(nx) dx = 0 for all integers m, n
Reduction formulas via IBP	General recursion for ∫ secⁿx dx, ∫ tanⁿx dx, and other trig families

From this lesson to advanced topics

In subsequent courses, you will encounter integrals involving products of secant and tangent, which follow a parallel strategy with their own parity-based decision tree. The conceptual framework—diagnose exponent parity, then choose the identity or substitution that reduces the problem—transfers directly. Mastery of the sine-cosine case builds the pattern-recognition skills needed for the entire family of trigonometric integrals.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain why the substitution u = cos x cannot directly work for ∫ sin²x cos²x dx. What property of the exponents prevents this approach, and what alternative strategy is required?

Show answer

The substitution u = cos x requires peeling off a factor of sin x to serve as du = −sin x dx. For ∫ sin²x cos²x dx, extracting one sin x leaves sin x · cos²x inside the integral, but sin x = √(1 − u²) introduces a square root that cannot be expressed as a polynomial in u. The underlying issue is that both exponents (m = 2, n = 2) are even, so there is no odd power from which to extract a single trig factor. When both exponents are even, we must instead use the half-angle identities sin²x = (1 − cos 2x)/2 and cos²x = (1 + cos 2x)/2 to reduce the powers before integrating.

Question 2: BASIC CALCULATION

Evaluate ∫ sin⁵x cos²x dx.

Show answer

Since m = 5 is odd, set u = cos x, du = −sin x dx. Rewrite sin⁵x = (sin²x)² sin x = (1 − cos²x)² sin x = (1 − u²)² (−du). The integral becomes −∫ (1 − u²)² u² du = −∫ (1 − 2u² + u⁴) u² du = −∫ (u² − 2u⁴ + u⁶) du = −[u³/3 − 2u⁵/5 + u⁷/7] + C. Substituting back: −cos³x/3 + 2cos⁵x/5 − cos⁷x/7 + C.

Question 3: INTERMEDIATE

Evaluate ∫ sin⁴x dx using half-angle identities.

Show answer

Since sin⁴x = (sin²x)², apply the half-angle identity: sin²x = (1 − cos 2x)/2. Then sin⁴x = [(1 − cos 2x)/2]² = (1 − 2cos 2x + cos²2x)/4. Apply the half-angle identity again to cos²2x = (1 + cos 4x)/2. So sin⁴x = (1 − 2cos 2x + (1 + cos 4x)/2)/4 = (2 − 4cos 2x + 1 + cos 4x)/8 = (3 − 4cos 2x + cos 4x)/8. Integrating: ∫ sin⁴x dx = (1/8)[3x − 2sin 2x + sin(4x)/4] + C = 3x/8 − sin(2x)/4 + sin(4x)/32 + C.

Question 4: APPLIED

In signal processing, the average power of a signal f(t) = A sin³(ωt) cos(ωt) over one full period T = 2π/ω is given by P = (1/T) ∫₀ᵀ [f(t)]² dt. Express [f(t)]² as a trigonometric integral and evaluate it to find P in terms of A and ω.

Show answer

[f(t)]² = A² sin⁶(ωt) cos²(ωt). Substituting θ = ωt, dθ = ω dt, and integrating over [0, 2π]: P = (ω/(2π)) · (1/ω) ∫₀²π A² sin⁶θ cos²θ dθ = A²/(2π) ∫₀²π sin⁶θ cos²θ dθ. Both exponents are even, so apply half-angle identities or use the Beta function shortcut: ∫₀²π sinᵐθ cosⁿθ dθ = 2 · B((m+1)/2, (n+1)/2)/2 evaluated over [0, 2π] for even m, n equals 2π · (m−1)!!(n−1)!!/(m+n)!! (with appropriate double-factorial notation). For m = 6, n = 2: ∫₀²π sin⁶θ cos²θ dθ = 2π · (5·3·1)(1)/(8·6·4·2) = 2π · 15/384 = 30π/384 = 5π/64. Thus P = A² · (5π/64)/(2π) = 5A²/128.

Question 5: CRITICAL THINKING

Derive the reduction formula ∫ sinⁿx dx = −(1/n) sinⁿ⁻¹x cos x + (n−1)/n ∫ sinⁿ⁻²x dx using integration by parts. Then use it twice to evaluate ∫ sin⁴x dx, and verify that your result matches the answer obtained via half-angle identities.

Show answer

Set u = sinⁿ⁻¹x and dv = sin x dx, so du = (n−1) sinⁿ⁻²x cos x dx and v = −cos x. By IBP: ∫ sinⁿx dx = −sinⁿ⁻¹x cos x + (n−1) ∫ sinⁿ⁻²x cos²x dx. Replace cos²x = 1 − sin²x: = −sinⁿ⁻¹x cos x + (n−1) ∫ sinⁿ⁻²x dx − (n−1) ∫ sinⁿx dx. Move the last term to the left: n ∫ sinⁿx dx = −sinⁿ⁻¹x cos x + (n−1) ∫ sinⁿ⁻²x dx, yielding the formula. For ∫ sin⁴x dx: apply with n = 4: −(1/4) sin³x cos x + (3/4) ∫ sin²x dx. Then apply with n = 2 to ∫ sin²x dx: −(1/2) sin x cos x + (1/2) ∫ dx = −(1/2) sin x cos x + x/2. Combining: ∫ sin⁴x dx = −(1/4) sin³x cos x + (3/4)[−(1/2) sin x cos x + x/2] = −sin³x cos x/4 − 3 sin x cos x/8 + 3x/8 + C. Using identities sin³x cos x = (3 sin 2x − sin 4x · 2)/... one can verify this equals 3x/8 − sin 2x/4 + sin 4x/32 + C, matching the half-angle result.

SUMMARY

Lesson Summary

Summary

Integrating products and powers of sine and cosine—integrals of the form ∫ sinᵐx cosⁿx dx—requires a strategy that depends on the parity of the exponents. When at least one exponent is odd, peel off one factor of the corresponding trig function, convert the remaining even power using the Pythagorean identity (sin²x = 1 − cos²x or cos²x = 1 − sin²x), and perform a u-substitution that yields a polynomial integral. When both exponents are even, apply the half-angle identities sin²x = (1 − cos 2x)/2 and cos²x = (1 + cos 2x)/2 to reduce powers, repeating as needed until the integrand consists of first-degree cosine terms.

For products with different arguments such as sin(mx) cos(nx), use product-to-sum formulas to decompose the product into a sum of sines or cosines. For very high powers, reduction formulas derived via integration by parts provide a recursive path. These techniques connect forward to Wallis integrals, the Beta function, and Fourier analysis, making mastery of this topic a cornerstone of Calculus 2 and beyond.