Exercise 7.3 · Q12:
Find the integral of the function
Let .
Using ,
.
Want the reason behind every step, the basics and the checks?
Turn the numerator into cosines: , a difference of two squares, . The factor cancels with the denominator, leaving the easy integrand .
- Given
- , defined where , that is, for integers .
- To find
- .
- Plan
- (1) Rewrite and factorise. (2) Cancel , noting where this is allowed. (3) Integrate. (4) Differentiate back to check and state where the answer is valid.
Basics you need
and (standard formulae, Section 7.2). Lesson: integration as anti-differentiation
is right exactly when is the integrand (Property (I), Section 7.2.1). Basics: integration undoes differentiation
Solution
Rewrite the numerator and factorise
The denominator is , so we want the numerator in terms of too. The Pythagorean identity does that, and the result is a difference of two squares () with as one of its factors.Cancel the common factor
Wherever , that is, wherever the integrand is defined:
We may only cancel a factor that is not zero. Here that is automatic: the points where (the odd multiples of ) are exactly the points excluded from the integrand's domain. So on its domain the integrand equals .Integrate
Both terms are standard: and .Standard formulae, Section 7.2; Properties (III), (IV), Section 7.2.1. Lesson: integration as anti-differentiationCheck: differentiate the answer back, and say where it is valid
With :
for every with . So the answer is valid on each interval .
itself is defined for all , but the integrand is not defined at the odd multiples of , so the statement " integrand" only makes sense away from those points. (Near them the integrand tends to , so these are only "holes"; but the question's function is still undefined there.); Property (I), Section 7.2.1. Basics: integration undoes differentiation
valid wherever , i.e. . (Textbook answer: .)
The simplification at : , and .
The derivative at , : , , slope , matching the integrand to six significant figures.
- Splitting the fraction as . A sum in the denominator cannot be split.
- Taking the long road. Half-angles ( and ) also work (it gives ), but it is a longer road to the same place.
- Cancelling without a word. Say that on the domain; that is what makes the cancellation legal.
- Before reaching for half-angles, look for a factor to cancel: .
- Cancellation is legal where the cancelled factor is nonzero; state the domain.
- Similarly wherever .
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Step 1 | Pythagorean identity (Class XI trigonometry) | |
| Steps 1, 4 | Algebra | |
| ; | Step 3 | Standard formulae, Section 7.2 |
| Sum and constant-multiple rules | Step 3 | Properties (III), (IV), Section 7.2.1 |
| Differentiation undoes integration | Step 4 | 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 →