Miscellaneous · Q32:
Prove that
Let .
Let
Putting : . Putting : .
Comparing coefficients of : , so .
. Hence proved.
Want the reason behind every step, the basics and the checks?
The integrand is a proper rational function whose denominator has a repeated linear factor and a simple one . Table 7.2 (form 4) says such a fraction splits as . Each of these three pieces is easy to integrate, and evaluating at 1 and 3 produces exactly the and the of the claim.
- Given
- .
- To show
- .
- Plan
- (1) Continuity on . (2) Set up the partial fractions. (3) Find , , . (4) Integrate each piece. (5) Check by differentiating. (6) Evaluate between 1 and 3 and simplify to the stated form.
Basics you need
Table 7.2, form 4: . Here , . Lesson: partial fractions
(standard formula (xii), Section 7.2); (power rule, formula (i)); . Basics: logarithms and 1/x
for . Basics: logarithms
For continuous on with antiderivative : . Lesson: definite integrals
Solution
The integrand is continuous on
The denominator is zero only at and , both outside . On it is at least . So the integrand is continuous on the closed interval.
Theorem 2 needs continuity on . A rational function is continuous wherever its denominator is not zero.Set up the partial fractions
The numerator 1 has degree 0, less than the degree 3 of the denominator, so the fraction is proper. With the repeated factor and the simple factor :
Multiply both sides by :
A repeated factor needs both and : with only there would not be enough freedom to match every such fraction. Clearing the denominators turns the equation into a polynomial identity, true for every (Remark after Example 11, Section 7.5), so we may substitute any convenient values.Table 7.2, form 4. Basics: splitting fractionsFind , ,
Put : , so .
Put : , so .
Compare the coefficients of : the left side has none, the right side has . So and .
The values and each wipe out all but one term, which gives and at once. No value of isolates , so we compare one coefficient instead. Check at : left side ; right side ✓.Two polynomials equal for every have equal coefficients. Lesson: partial fractionsIntegrate each piece
Call this (without ). It is valid for , in particular on .
(formula (xii)); (power rule with ); (substitute , ). The two logs combine by the quotient law.Standard formulae (i) and (xii), Section 7.2. Basics: logarithms and 1/xCheck: differentiate back
Over the common denominator the numerator collapses to 1, which confirms both the partial fractions and the integration. Note .Evaluate between 1 and 3
On both and are positive, so the bars can be dropped.
, and .
This is the required result. As a decimal, .
Theorem 2: upper value minus lower value. The two logarithms combine by with . Note , but the total is positive, as it must be for a positive integrand.Theorem 2, Section 7.8.3; laws of logarithms. Basics: logarithms
as was to be proved.
Numerical integration (adaptive quadrature) of over gives 0.2612015586, and ✓.
Size check: the integrand falls from at to at ; an area of about 0.26 over an interval of length 2 is reasonable for such a quickly falling curve.
- Leaving out and using only . Then has no solution (the -coefficient forces , the constant term forces ).
- Integrating to . The log rule is only for ; follows the power rule.
- Sign of . ; evaluated, .
- A repeated factor needs two partial fractions, and .
- Substitute the roots to find the "easy" constants, then compare one coefficient for the last one.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| A definite integral needs continuous on | Step 1 | Theorem 2 and Remark (iv), Section 7.8.3 |
| Partial fractions for | Steps 2, 3 | Section 7.5, Table 7.2, form 4 (Lesson: partial fractions) |
| The cleared equation is an identity in | Step 3 | Remark after Example 11, Section 7.5 |
| ; | Step 4 | Standard formulae (xii) and (i), Section 7.2 |
| ; | Step 6 | Theorem 2, Section 7.8.3; laws of logarithms |
| All decimals | Step 6, Check | Recomputed (mpmath quadrature, 30 digits) in the site's verification script |
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 →