Exercise 5.7 · Q17: satisfies
17. If , show that .
Here . By the chain rule,
Differentiating again w.r.t. (product rule on the left),
Multiplying by ,
. Hence proved.
Want the reason behind every step, the basics and the checks?
As in Example 38, clear the fraction before differentiating again. The first derivative is , so
Differentiating this with the product rule gives , and multiplying by gives the relation.
- Given
- , defined and differentiable for every real (because is, with derivative on ). , .
- To show
- for every real .
- Plan
- (1) by the chain rule. (2) Clear the fraction. (3) Differentiate again with the product rule. (4) Multiply by . (5) Independent check: compute explicitly and evaluate the left side term by term.
Basics you need
for every real (table in Section 5.3.3). Lesson: derivatives of inverse trig functions
(outer function , Theorem 4, Section 5.3.1). Lesson: chain rule
; , (Section 5.3, rules (2) and (3)). Basics: derivative rules
Solution
First derivative
Outer function , inner function . By Basics 2 and 1:
is a square of a function, so the chain rule gives "2 times the inside, times the derivative of the inside". The denominator is at least 1, never zero, so this holds for every real .Table of derivatives of inverse trigonometric functions, Section 5.3.3. Lesson: derivatives of inverse trig functionsClear the fraction
Multiply both sides by :
Differentiating the product on the left is simpler than differentiating a quotient, and the right side has an easy derivative. This is the trick of Example 38.Differentiate both sides with respect to
Left side, product rule with (so ) and (so ):
Right side: . So
Both sides of Step 2 are equal for every real , so their derivatives are equal too. The derivative of is by definition.Product rule (Basic 3); Basic 1. Basics: derivative rulesMultiply by
Since , this is exactly , for every real .
Multiplying every term by (never zero) clears the remaining fraction and does not change which equations are true. The result has the exact form asked for.Independent check: explicitly, and the left side in full
Quotient rule on , with top derivative and bottom derivative :
Now the two terms of the left side:
Adding, the terms cancel and the left side is , the right side.
This route computes the left side directly, without differentiating an equation. In the first line of , the factor simplifies to .Quotient rule, Section 5.3, rule (3).
For every real : , , and
(The answer key gives no entry for this "show that" question.)
Take : . Then
and the left side is exactly
From values of alone, with , the second difference is about , matching .
- Forgetting the chain rule for the square. , not .
- Differentiating only one factor of . The product rule gives two terms, and .
- Stopping at . One more multiplication by gives the requested form.
- Clear denominators before differentiating a second time; the product rule then produces and together, in the shape of the target relation.
- The same pattern appears in Example 38 ().
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| , | Steps 1, 3, 5 | Table after Example 24, Section 5.3.3 (Lesson: derivatives of inverse trig functions) |
| Chain rule: | Step 1 | Theorem 4, Section 5.3.1 (Lesson: chain rule) |
| Product and quotient rules | Steps 3, 5 | Section 5.3, rules (2) and (3) (Basics: derivative rules) |
| , | Steps 1–5 | Section 5.7 (Lesson: second order derivative) |
| Clearing the fraction before differentiating again | Step 2 | Example 38, Section 5.7 |
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 →