Exercise 5.3 · Q1: if
Find in the following:
Differentiating both sides w.r.t. ,
.
Want the reason behind every step, the basics and the checks?
If two expressions are equal for every , their derivatives with respect to are equal too. So we may differentiate both sides of the relation, term by term, remembering that is a function of whose derivative is the unknown . Then we solve for . Here can also be found explicitly, which gives an independent check.
- Given
- , relating to .
- To find
- .
- Plan
- Differentiate both sides with respect to ; solve the resulting equation for . Check by solving the relation for first.
Basics you need
If for all in an interval, then there. This is how Section 5.3.2 handles implicit functions (Examples 22 and 23). Lesson: implicit differentiation
(rule (1), Section 5.3), and for a constant . Basics: derivative rules
, (Table 5.3). Basics: derivative rules
Treat as the unknown: move every other term to the other side, then divide by its coefficient. Basics: solving for dy/dx
Solution
Differentiate both sides with respect to
Term by term: , , . So
The relation holds for every , so both sides are the same function of and have the same derivative. The term is times an unknown function of ; its derivative is times the unknown derivative . We do not need to know to write this.Sum rule (1), Section 5.3; constant-multiple rule; Table 5.3. Lesson: implicit differentiationSolve for
Subtract from both sides, then divide by , the coefficient of . Dividing by is always allowed, so the formula holds for every real .Linear equation in the unknown . Basics: solving for dy/dxCheck by solving for first
Here can be isolated: , so . Differentiating directly,
the same answer.
This is the comparison the book makes in Example 22: when can be written explicitly, both routes must agree. The implicit route is the one that still works when cannot be isolated (as in the next question).Explicit and implicit functions, Section 5.3.2. Lesson: implicit differentiationA remark on the sign
Since , the numerator , so for every : is a strictly decreasing function of .
Reading a derivative this way is a useful sanity check: is a steady downward line with a small wobble that is never steep enough to turn it upward.A function whose derivative is negative throughout an interval is decreasing there: this is Theorem 1, Section 6.3 of Chapter 6, used here ahead of time and not needed for the answer. Basics: slope at a point
(Textbook answer: , the same.)
At : the formula gives . A difference quotient of with on each side of gives . At : formula ; difference quotient .
- Differentiating as . is not ; its derivative is the unknown , so .
- Differentiating as or . .
- Sign slip when moving the . gives , not .
- Implicit differentiation: differentiate every term of the relation with respect to , writing wherever is differentiated, then solve for .
- When can be isolated, doing so gives a free check.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Differentiating both sides of a relation | Step 1 | Section 5.3.2, Examples 22 and 23 (Lesson: implicit differentiation) |
| Sum rule; constant-multiple rule | Steps 1, 3 | Rule (1), Section 5.3 |
| , | Steps 1, 3 | Table 5.3, Section 5.3 |
| Explicit versus implicit functions | Step 3 | Section 5.3.2 |
| Step 4 | Class XI, Trigonometric Functions | |
| Negative derivative on an interval means decreasing | Step 4 | Theorem 1, Section 6.3 (Chapter 6) |
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 →