Exercise 7.3 · Q3:
Find the integral of the function
Let .
Using ,
Using and the same identity again,
.
Want the reason behind every step, the basics and the checks?
A product of three cosines is handled two at a time. The identity turns one pair into a sum; multiplying that sum by the third cosine gives new products of two cosines, and the identity (or ) is used again. In the end the integrand is a constant plus single cosines, each of which integrates directly.
- Given
- , defined for every real .
- To find
- .
- Plan
- (1) Turn into a sum. (2) Multiply by and reduce the two new products. (3) Collect the integrand as . (4) Integrate term by term. (5) Differentiate back to check.
Basics you need
Adding and gives . Basics: trigonometric identities for integrals
(Example 7(i), Section 7.3.2). It is the special case of Basic 1.
is right exactly when is the integrand (Property (I), Section 7.2.1). Basics: integration undoes differentiation
Solution
Turn the first pair into a sum
Use with , :
We pick a pair and remove the product. Any pair would do (see Common mistakes); the pair is convenient because the sum matches the third factor, which will give a square that the power-lowering identity handles.Product-to-sum identity for two cosines. Basics: trigonometric identitiesMultiply by the third cosine
Reduce each new product:
- (power lowering with ).
- (Basic 1 with , ).
Multiplying out creates two products of two cosines. Each is the same kind of problem as Step 1, so the same identity finishes them. Taking as the larger angle keeps positive; with the other order you would get , which is the same thing because cosine is even.Collect the integrand
The triple product is now a constant plus three single cosines. No products and no powers are left, so every term has a standard integral.Integrate term by term
, and each by the substitution . The factor in front applies to every term.Properties (III), (IV), Section 7.2.1; (Section 7.2) with (Section 7.3.1). Lesson: integration by substitutionCheck: differentiate the answer back
Let
Since ,
which is by Step 3. The answer is correct for every real .
The derivative lands on the "collected" form, and Steps 1 to 3 show that form equals the original product. So the check is complete once those steps are right; the numerical check below tests them independently.Chain rule, Theorem 4, Section 5.3.1. Basics: integration undoes differentiation
valid for all real . Textbook answer:
the same four terms in a different order.
The collected form at : , and .
The derivative at with : , , slope , against the integrand : agreement to four significant figures (the gap is the error of the difference quotient, which is larger here because changes quickly).
- Applying the identity to all three factors at once. handles exactly two factors; multiply out before using it again.
- Dropping a factor . Two identities each bring a , so the collected form has in front.
- Worrying about the pairing. Pairing first gives , then : exactly the same collected form.
- Forgetting to divide by in .
- Longer products: apply the product-to-sum identity to two factors, multiply out, repeat.
- A product that appears along the way is just .
- Answers to these questions can look different (order, pairing) and still be equal; check by differentiating.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Steps 1, 2 | From the compound-angle formulas for (Class XI trigonometry) | |
| Step 2 | Example 7(i), Section 7.3.2 | |
| Sum and constant-multiple rules | Step 4 | Properties (III), (IV), Section 7.2.1 |
| Step 4 | Standard formula for (Section 7.2) with substitution (Section 7.3.1) | |
| Chain rule; differentiation undoes integration | Step 5 | Theorem 4, Section 5.3.1; Property (I), Section 7.2.1 |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →