Trigonometric Integrals Lecture Notes
Strategies for Integrating Powers of Sine and Cosine
General Context: The focus is on evaluating integrals of the form . The strategy depends primarily on whether the powers of sine () or cosine () are odd or even.
Case 1: The Power of Sine () is Odd
Procedure: Reduce the power of sine by one (), so there is a single factor left over to act as the derivative for substitution.
Substitution: Let . Then .
Identity: Convert the remaining even powers of sine into terms of cosine using the Pythagorean identity: .
Case 2: The Power of Cosine () is Odd
Procedure: Reduce the power of cosine by one (), peeling off one to serve as the derivative for substitution.
Substitution: Let . Then .
Identity: Convert the remaining even powers of cosine into terms of sine using the Pythagorean identity: .
Basic Example: Odd Power of Sine
Problem:
Analysis: Sine is to the power of 1, which is odd. Since there is only one sine, there is no need to reduce the power or apply identities.
Execution:
Let .
Then , which implies .
Rewrite the integral: .
Antiderivative: .
Final Substitution: .
Advanced Example: Odd Power of Cosine
Problem:
Analysis: Cosine has the odd power (). We peel off one cosine factor.
Execution:
Rewrite: .
Convert : .
Let . Then .
Substitute: .
Integrate: .
Final Substitution: .
Verification Note: If you check the work by taking the derivative, the result may look different from the original integrand. You must apply trigonometric identities (like factoring out and converting back to ) to match the starting function.
Strategies for Even Powers (Double Angle Formulas)
Context: When both sine and cosine have even powers, substitution is not immediately possible because no single or is available for . We must use power-reduction/double-angle identities.
Core Identities:
Example: Integrating :
.
Integration: .
Note: The division by 4 comes from the substitution , where , adding another factor of .
Example: Integrating :
.
Scaling Factors in the Argument
If the argument of the function is already scaled, such as , the double angle formula doubles that specific argument.
Example:
Formula: .
Integration results in: .
Higher Even Powers:
Strategy: Treat as .
Step-by-Step Procedure:
Apply identity: .
Expand the square: .
Distribute the constant: .
Apply double angle identity again to : .
The third term becomes: .
Combine constants: .
Final Antiderivative: .
Integrals with Differing Scaling Factors (Product-to-Sum)
When the scaling factors inside sine and cosine are different (e.g., ), use product-to-sum identities derived from sum and difference formulas.
Identity 2 (Sine and Cosine):
Example:
Apply identity: .
Integrate: .
Strategies for Secant and Tangent Integrals
Standard Integrals to Memorize:
Pythagorean Identity: .
Case A: The Power of Secant () is Even ()
Goal: Use . Peel off a for .
Example:
Peel off : .
Convert one to .
Substitute .
Resulting integral: .
Answer: .
Case B: The Power of Tangent () is Odd ()
Goal: Use . Peel off a for .
Example:
Peel off: .
Convert to .
Substitute .
Integral: .
Answer: .
Case C: Pure Power of Tangent ()
Strategy: Separate and convert it to . Distribute and repeat the process if necessary.
Case D: Pure Power of Secant (Integration by Parts)
Example: :
Use Integration by Parts ().
Let and .
Then and .
Apply IBP: .
Convert : .
This results in: .
Recognize the "boomerang": Add to both sides to get .
Solve: .
Questions & Discussion
Question: How did you go from to in the explanation?
Answer: In the derivation of higher powers, you combine and . . (Correction of minor error in verbal transcription regarding power of 6).
Discussion on Definite Integrals: Definite trigonometric integrals are evaluated the same way but require an extra step of algebra at the end to plug in bounds (e.g., to ). The instructor notes that these can be very long due to the algebra involved.
Future Schedule: Thursday will finish up trig integrals, work on integration by parts from homework, and spend the last 20-25 minutes reviewing. Next week will likely include one trig problem and then definite integrals.