The Main Idea 

Integrating products and powers of sine and cosine might look intimidating, but there’s a systematic game plan. The key insight is transforming these expressions into forms where u-substitution works perfectly—either [latex]\int \sin^j x \cos x  dx[/latex] or [latex]\int \cos^j x \sin x  dx[/latex].

Strategy 1 – Odd Power of Sine: If the power of [latex]\sin x[/latex] is odd, peel off one [latex]\sin x[/latex] and convert the rest using [latex]\sin^2 x = 1 - \cos^2 x[/latex]. Then use [latex]u = \cos x[/latex].

Strategy 2 – Odd Power of Cosine: If the power of [latex]\cos x[/latex] is odd, peel off one [latex]\cos x[/latex] and convert the rest using [latex]\cos^2 x = 1 - \sin^2 x[/latex]. Then use [latex]u = \sin x[/latex].

Strategy 3 – Both Powers Even: Use the power-reducing identities:

• [latex]\sin^2 x = \frac{1 - \cos(2x)}{2}[/latex]
• [latex]\cos^2 x = \frac{1 + \cos(2x)}{2}[/latex]

Decision Tree:

1. Any odd powers? → Use Strategy 1 or 2
2. Both even powers? → Use Strategy 3 (power-reducing identities)
3. Different angles? → Use product-to-sum identities

These formulas cut even powers in half, making the integral manageable. You might need to apply them multiple times for higher powers.

The Main Idea 

Integrating products and powers of tangent and secant follows a similar playbook to sine and cosine, but with different strategic moves. Your goal is always the same: reshape the integral into either [latex]\int \tan^j x \sec^2 x dx[/latex] or [latex]\int \sec^j x \sec x \tan x dx[/latex] so u-substitution can work its magic.

Your Strategic Game Plan:

Strategy 1 – Even Power of Secant: When the secant power is even (and [latex]≥ 2[/latex]), peel off [latex]\sec^2 x[/latex] and convert the remaining secants using [latex]\sec^2 x = \tan^2 x + 1[/latex]. Use [latex]u = \tan x[/latex].

Strategy 2 – Odd Power of Tangent: When the tangent power is odd (and secant power ≥ 1), peel off [latex]\sec x \tan x[/latex] and convert remaining tangents using [latex]\tan^2 x = \sec^2 x - 1[/latex]. Use [latex]u = \sec x[/latex].

Strategy 3 – Odd Tangent, No Secant: For [latex]\int \tan^k x , dx[/latex] where k is odd, rewrite as [latex]\int \tan^{k-2} x (\sec^2 x - 1) , dx[/latex] and split the integral.

Strategy 4 – Even Tangent, Odd Secant: Use [latex]\tan^2 x = \sec^2 x - 1[/latex] to convert everything to secants, then apply integration by parts for odd secant powers.

Essential Identity Arsenal:

• [latex]\tan^2 x + 1 = \sec^2 x[/latex]
• [latex]\tan^2 x = \sec^2 x - 1[/latex]

The “peel off” strategy works because [latex]\sec^2 x[/latex] is the derivative of [latex]\tan x[/latex], and [latex]\sec x \tan x[/latex] is the derivative of [latex]\sec x[/latex]. This makes [latex]u[/latex]-substitution clean and efficient.

The Main Idea 

Think of reduction formulas as a “power ladder” that helps you climb down from high powers to manageable ones. When you encounter [latex]\int \sec^5 x , dx[/latex] or [latex]\int \tan^6 x , dx[/latex], these formulas systematically reduce the power until you reach integrals you can actually solve. Each formula trades your current integral for a simpler one with a power that’s 2 steps lower. You keep applying the formula until you reach something basic like [latex]\int \sec x , dx[/latex] or [latex]\int 1 , dx[/latex].

The Power-Reducing Formulas:

For secant: [latex]\int \sec^n x , dx = \frac{1}{n-1}\sec^{n-2}x \tan x + \frac{n-2}{n-1}\int \sec^{n-2}x , dx[/latex]

For tangent: [latex]\int \tan^n x , dx = \frac{1}{n-1}\tan^{n-1}x - \int \tan^{n-2}x , dx[/latex]

Problem-Solving Strategy:

1. Apply the formula to reduce the power
2. Repeat as needed until you hit a base case you know how to integrate
3. Work backwards through your chain of reductions

Base Cases to Remember:

• [latex]\int \sec x , dx = \ln|\sec x + \tan x| + C[/latex]
• [latex]\int \tan^0 x , dx = \int 1 , dx = x + C[/latex]

The Main Idea 

When you encounter [latex]\int \sqrt{a^2 - x^2} , dx[/latex], traditional methods hit a wall. But here’s the clever insight: this expression has the same form as the Pythagorean identity [latex]\sin^2\theta + \cos^2\theta = 1[/latex]. By using trigonometric substitution, you can transform an impossible-looking integral into familiar trigonometric integration.

For [latex]\sqrt{a^2 - x^2}[/latex], use [latex]x = a\sin\theta[/latex] and [latex]dx = a\cos\theta , d\theta[/latex]

This transforms: [latex]\sqrt{a^2 - x^2} = \sqrt{a^2 - a^2\sin^2\theta} = \sqrt{a^2(1-\sin^2\theta)} = \sqrt{a^2\cos^2\theta} = a\cos\theta[/latex]

Problem-Solving Strategy:

1. Check first: Can you solve this with u-substitution or a basic formula? (Save trig substitution for when you really need it)
2. Make the substitution: [latex]x = a\sin\theta[/latex], [latex]dx = a\cos\theta , d\theta[/latex]
3. Simplify the square root: [latex]\sqrt{a^2 - x^2} = a\cos\theta[/latex]
4. Integrate: Use your trigonometric integration techniques
5. Convert back: Build a reference triangle to express your answer in terms of [latex]x[/latex]

The Reference Triangle Method: Since [latex]x = a\sin\theta[/latex], you know [latex]\sin\theta = \frac{x}{a}[/latex]. Draw a right triangle with:

• Hypotenuse: [latex]a[/latex]
• Opposite side: [latex]x[/latex]
• Adjacent side: [latex]\sqrt{a^2 - x^2}[/latex]
• Therefore: [latex]\theta = \sin^{-1}\left(\frac{x}{a}\right)[/latex]

The Main Idea 

Unlike [latex]\sqrt{a^2 - x^2}[/latex] which has a limited domain, [latex]\sqrt{a^2 + x^2}[/latex] is defined for all real values of [latex]x[/latex]. This changes everything about our substitution strategy. We need a trigonometric function that can also take on any real value—and that’s where tangent comes in.

For [latex]\sqrt{a^2 + x^2}[/latex], use [latex]x = a\tan\theta[/latex] and [latex]dx = a\sec^2\theta , d\theta[/latex]

This transforms: [latex]\sqrt{a^2 + x^2} = \sqrt{a^2 + a^2\tan^2\theta} = \sqrt{a^2(1 + \tan^2\theta)} = \sqrt{a^2\sec^2\theta} = a\sec\theta[/latex]

Why This Works: The magic lies in the identity [latex]1 + \tan^2\theta = \sec^2\theta[/latex]. Since we restrict [latex]\theta[/latex] to [latex](-\frac{\pi}{2}, \frac{\pi}{2})[/latex], we have [latex]\sec\theta > 0[/latex], so [latex]\sqrt{\sec^2\theta} = \sec\theta[/latex].

Your Reference Triangle Setup: Since [latex]x = a\tan\theta[/latex], you know [latex]\tan\theta = \frac{x}{a}[/latex]. Draw a right triangle with:

• Adjacent side: [latex]a[/latex]
• Opposite side: [latex]x[/latex]
• Hypotenuse: [latex]\sqrt{a^2 + x^2}[/latex]
• Therefore: [latex]\theta = \tan^{-1}\left(\frac{x}{a}\right)[/latex]

The Main Idea 

The expression [latex]\sqrt{x^2 - a^2}[/latex] is the most challenging of the three trigonometric substitution cases because of its split domain. Unlike the previous cases, this square root only exists when [latex]x \leq -a[/latex] or [latex]x \geq a[/latex]. This creates a sign issue that requires extra care.

For [latex]\sqrt{x^2 - a^2}[/latex], use [latex]x = a\sec\theta[/latex] and [latex]dx = a\sec\theta \tan\theta , d\theta[/latex]

This transforms: [latex]\sqrt{x^2 - a^2} = \sqrt{a^2\sec^2\theta - a^2} = \sqrt{a^2(\sec^2\theta - 1)} = \sqrt{a^2\tan^2\theta} = |a\tan\theta|[/latex]

The Critical Sign Issue: The absolute value [latex]|a\tan\theta|[/latex] depends on where you are in the domain:

• For [latex]x \geq a[/latex]: [latex]|a\tan\theta| = a\tan\theta[/latex] (positive)
• For [latex]x \leq -a[/latex]: [latex]|a\tan\theta| = -a\tan\theta[/latex] (negative)

Your Reference Triangle Strategy: Since [latex]x = a\sec\theta[/latex], you know [latex]\sec\theta = \frac{x}{a}[/latex]. You need different setups for each part of the domain, but the basic triangle has:

• Hypotenuse: [latex]|x|[/latex]
• Adjacent side: [latex]a[/latex]
• Opposite side: [latex]\sqrt{x^2 - a^2}[/latex]
• Therefore: [latex]\theta = \sec^{-1}\left(\frac{x}{a}\right)[/latex]

Always check which part of the domain you’re working in, especially for definite integrals. The sign of [latex]\tan\theta[/latex] will determine whether you need the positive or negative version of your final answer.