Chapter 2: Differentiation
Section 2.5: Implicit Differentiation
|
Example 2.5.3
|
|
The curve defined implicitly by the equation is called the Folium of Descartes.
a)
|
Obtain a graph of this curve. In particular, explore the effect of on the curve.
|
b)
|
Obtain by implicit differentiation.
|
c)
|
Find all points on this curve where its tangent line is horizontal.
|
d)
|
Find all points on this curve where its tangent line is vertical.
|
e)
|
Working numerically in the case , find all points on the curve where its slope is 1. Obtain and graph the corresponding tangent lines.
|
f)
|
Solve for explicitly in the case . Graph the resulting branches.
|
|
|
|
|
Solution
|
|
|
Part (a)
|
|
Figure 2.5.3(a) contains an animation in which the slider in the animation toolbar controls the value of .
|
Figure 2.5.3(a) Folium of Descartes and its dependence on the parameter
|
|
|
At , the curve degenerates to the line . For , there are regions where, for a single value of , there are three points on the curve; and where there is a single point. This is to be expected because every cubic equation with real coefficients has three real roots, or one real root and a pair of complex conjugate roots.
|
|
Part (b)
|
|
Solution by Context Panel
|
•
|
Control-drag the equation of the Folium.
|
•
|
Context Panel: Differentiate≻Implicitly
(Set as the dependent variable)
|
|
|
Interactively implemented stepwise solution
|
•
|
Control-drag the equation of the Folium and press the Enter key.
|
•
|
Context Panel: Evaluate at a Point≻
|
•
|
Context Panel: Differentiate≻Implicitly
(Set as the dependent variable.)
|
•
|
Context Panel: Solve≻Isolate Expression for≻
|
|
|
Solution via the implicitdiff command
|
=
|
Stepwise solution via the ImplicitDiffSolution command
|
|
|
|
To launch the Differentiation Methods tutor with the Folium embedded, press
.
Alternatively, to access the Implicit Differentiation task template, click here.
|
|
Part (c)
|
|
Horizontal Tangents
•
|
The derivative at a point where there is a horizontal tangent is zero, that is, if is the point of contact with such a tangent. Hence, find by implicit differentiation, and simultaneously solve the equation of the Folium and for the pair satisfying both equations. Setting the numerator of to zero, instead of itself, simplifies the algebra.
|
|
•
|
Control-drag (or type) the equation of the Folium, and press the Enter key.
|
•
|
Context Panel: Differentiate≻Implicitly
(Set as the dependent variable.)
|
•
|
Context Panel: Numerator
|
|
| (1) |
|
•
|
Using equation labels, form the sequence of two equations: the Folium, and the numerator set to zero.
Context Menu: Label≻Label Reference
|
•
|
Context Panel: Solve≻Solve for Variables≻
|
•
|
Context Panel: Conversions≻To Radical
|
|
|
|
|
Figures 2.5.3(a-b) show the Folium and the horizontal tangents when , respectively.
|
|
Figure 2.5.3(a) Folium and horizontal tangents with
|
Figure 2.5.3(b) Folium and horizontal tangents with
|
|
|
|
|
Part (d)
|
|
Vertical Tangents
•
|
The derivative at a point where there is a vertical tangent is not defined, that is, if is the point of contact with such a tangent. Alternatively, the denominator of becomes zero at a point of contact with a vertical tangent. Hence, find by implicit differentiation, and simultaneously solve the equation of the Folium and the denominator of set to zero for the pair satisfying both equations.
|
|
•
|
Control-drag (or type) the equation of the Folium, and press the Enter key.
|
•
|
Context Panel: Differentiate≻Implicitly
(Set as the dependent variable.)
|
•
|
Context Panel: Denominator
|
|
| (3) |
|
•
|
Using equation labels, form the sequence of two equations: the Folium, and the denominator set to zero.
Context Menu: Label≻Label Reference
|
•
|
Context Panel: Solve≻Solve for Variables≻
|
•
|
Context Panel: Conversions≻To Radical
|
|
|
|
|
Figures 2.5.3(c-d) show the Folium and the horizontal tangents when , respectively.
|
|
Figure 2.5.3(c) Folium and vertical tangents with
|
Figure 2.5.3(d) Folium and vertical tangents with
|
|
|
|
|
Part (e)
|
|
Tangent Lines with Slope 1
•
|
Type the equation of the Folium, setting .
Press the Enter key.
|
•
|
Context Panel: Differentiate≻Implicitly
(Set as the dependent variable)
|
|
| (5) |
|
•
|
Using equation labels, form the sequence of equations consisting of the equation of the Folium and the implicit derivative set equal to 1.
|
•
|
Context Panel: Evaluate at a Point≻
|
•
|
Context Panel: Solve≻Numerically Solve
|
|
| (7) |
| (8) |
|
•
|
Using the equation label, reference the sequence of equations written in terms of and .
Press the Enter key.
|
•
|
Context Panel: Solve≻
Numerically Solve from point≻
(See Figure 2.5.3(e).)
|
|
| (9) |
|
•
|
Write the point-slope form of the line through and with slope 1. Press the Enter key.
|
•
|
Expression palette: Evaluation template
Evaluate the line at the first solution.
Press the Enter key.
|
•
|
Repeat for the second solution.
|
|
|
•
|
Code for Figure 2.5.3(e) is hidden in the cell containing the graph.
|
•
|
Construct Figure 2.5.3(e) interactively via the Plot Builder, launched from the Context Panel applied to a sequence of (5), (the equation of the Folium with ), and the equations of the two tangent lines.
|
•
|
The relevant options are then the setting of the ranges for both x and y to .
|
|
|
Figure 2.5.3(e) Folium and tangent lines of slope 1
|
|
|
|
|
|
|
|
Part (f)
|
|
Table 2.5.3(a) lists the three branches of the Folium when . Figure 2.5.3(f) color-codes the graphs of the three branches.
Branch
|
Color
|
|
black
|
|
red
|
|
green
|
Table 2.5.3(a) Three explicit branches of the Folium
|
|
|
|
>
|
plot([solve(x^3+y^3=9*x*y,y)],x=-5..5,y=-5..5,color=[black,red,green],scaling=constrained,thickness=2);
|
|
Figure 2.5.3(f) Folium branches
|
|
|
|
|
|
Branch is real for , the right endpoint being the point where the tangent line is vertical. Branch is real for , while branch is real for .
Table 2.5.3(b) lists the interactive steps by which a figure comparable to Figure 2.5.3(f) could be obtained. Since the conversion to a list repeats the display of the solutions, just the steps leading to the solutions are implemented.
•
|
Type the equation of the Folium when , the press the Enter key.
Context Panel: Solve≻Obtain Solutions for≻
|
•
|
Context Panel: Plots≻2-D Implicit Plot≻
|
•
|
Control-drag onto graph of the folium the expressions for the tangent lines
|
|
|
Table 2.5.3(b) Interactive steps for obtaining Figure 2.5.3(f)
|
|
|
The complexity of the explicit expressions for suggests that differentiating after solving is far more tedious than implicit differentiation.
|
|
|
<< Previous Example Section 2.5
Next Section >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
|