Exercise 7.7 · Q1:
Integrate the function
Let .
Using with
.
Want the reason behind every step, the basics and the checks?
is exactly the shape with , so the textbook's formula 7.6.2 (iii) applies at once:
We first see where that formula comes from (integration by parts, taking the constant function 1 as the second function), then use it. The two terms have a picture: under the semicircle , the area from 0 to is a right triangle plus a circular sector.
- Given
- The integrand .
- To find
- , and where the answer is valid.
- Plan
- (1) Find where the square root is real. (2) Derive formula 7.6.2 (iii) by parts. (3) Apply it with . (4) Read the answer as triangle plus sector. (5) Differentiate back.
Basics you need
means . So any answer can be tested by differentiating it. Basics: integration undoes differentiation
. Here we take , so . Lesson: integration by parts
for (standard formula (viii), Section 7.2), and by the chain rule . Basics: substitution and the chain rule
Solution
Where the square root is real
We need , that is , that is
So the integrand lives on the closed interval . Its graph is the upper half of the circle (radius 2, centre the origin).
A square root of a negative number is not a real number, so outside there is nothing to integrate. Squaring gives with : the upper semicircle.Where formula 7.6.2 (iii) comes from
Let and for . By parts with first function and second function 1:
Now write in the last numerator:
So , and solving for (with the constant added at the end):
The derivative of is (chain rule), which exists for . The trick splits into minus , so the unknown reappears and we can solve for it, just as the textbook does for formula (i) in Section 7.6.2. The textbook also mentions the alternative substitution .Integration by parts, Section 7.6; formula 7.4 (5). Lesson: integration by partsApply it with
Here , , and :
Always take positive (, not ), because the formula was derived for : then lies in exactly when , so is defined on the whole domain of the integrand.Formula 7.6.2 (iii). Lesson: integration by partsWhat the two terms mean: triangle plus sector
Take and the point on the semicircle. The area under the semicircle from 0 to is the answer minus . The segment cuts that region into two pieces:
- a right triangle with base and height : area ;
- a circular sector of radius 2 between (the -axis) and . Its angle satisfies , so , and its area is .
At : triangle plus sector gives , the area under the semicircle from 0 to 1.2. By Section 7.8, is the area under the curve from 0 to . The picture confirms the formula with plain geometry: the "algebraic" term is a triangle, the term is a sector. At the triangle vanishes and the sector is a quarter disc of area , and indeed .Check: differentiate the answer
For , by the product rule and the chain rule,
Put everything over :
and . Also . Finally because inside the interval. At the integrand is 0, and the answer's one-sided slope there is also 0, so the answer works on all of .Product rule, chain rule, standard formula (viii), Section 7.2. Basics: integration undoes differentiation
valid for . (Textbook answer: , the same.)
By Section 7.8, for our answer , on any interval where the integrand is continuous. The middle column is a computer's sum of very many thin strips, found without our answer.
| Interval | Sum of thin strips | |
|---|---|---|
- Using with in place of . Inside it is , not .
- Mixing up the formulas. gives ; gives a logarithm. Look at which term carries the minus sign.
- Forgetting the in front of . It comes from solving in Step 2; the derivative check catches it.
- , valid for .
- By parts with second function 1, the original integral reappears; solve for it.
- Geometrically: triangle plus sector under a semicircle.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Integration by parts | Step 2 | Section 7.6 (Lesson: integration by parts) |
| Step 2 | Formula 7.4 (5) | |
| formula | Steps 2, 3 | Formula 7.6.2 (iii), Section 7.6.2 |
| Area of a sector | Step 4 | Geometry (Basics: area) |
| Step 5 | Standard formula (viii), Section 7.2 | |
| Step 4, numerical check | Section 7.8 (Lesson: definite integrals) |
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 →