Implicit Differentiation
In this topic, the procedure of implicit differentiation is outlined and many examples are given. Proofs of the derivative formulas for the inverse trigonometric functions are provided and several examples of using them are given. Also detailed is the logarithmic differentiation procedure which simplifies the process of taking derivatives of equations involving products and quotients.
Finding the slope of a tangent line is a local process; for example, a circle locally around a point, can have a tangent line even though it is not a function. In fact, every circle has a tangent line at every point. The following process allows us to find derivatives of more general curves (not just functions); and in particular for an implicitly defined function. Notice that the process relies heavily on the chain rule.
Proposition (Implicit Differentiation) Suppose that
is a given equation involving both
and
; and that
exists at
Then
can be found using the following procedure (called implicit differentiation):
(i) Using the chain rule where appropriate, differentiate both sides of the equation with respect to
![implicit differentiation _gr_7.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_7.gif) (ii) If possible, solve the differentiated equation algebraically for
and evaluate at
![implicit differentiation _gr_9.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_9.gif)
Example (Implicit Differentiation) Use implicit differentiation.to find
given
![implicit differentiation _gr_11.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_11.gif)
Solution. We will use implicit differentiation, and in doing so we use the chain rule on the right hand and the product rule together with the chain rule on the left hand side of the equation:
![implicit differentiation _gr_12.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_12.gif)
![implicit differentiation _gr_13.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_13.gif)
![implicit differentiation _gr_14.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_14.gif)
![implicit differentiation _gr_15.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_15.gif)
![implicit differentiation _gr_16.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_16.gif)
![implicit differentiation _gr_17.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_17.gif)
Example (Implicit Differentiation) Use implicit differentiation.to find the tangent to the folium of Descartes
at
![implicit differentiation _gr_19.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_19.gif)
Solution. Using implicit differentiation we have,
![implicit differentiation _gr_20.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_20.gif)
![implicit differentiation _gr_21.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_21.gif)
So the tangent line at
is
![implicit differentiation _gr_23.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_23.gif)
which simplifies to
The graph of the folium and the tangent line are shown:
![implicit differentiation _gr_25.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_25.gif)
![implicit differentiation _gr_26.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_26.gif)
Example (Implicit Differentiation) Use implicit differentiation.to find the tangent to the lemniscate of Bernoulli
at
![implicit differentiation _gr_28.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_28.gif)
Solution. Using implicit differentiation we have,
![implicit differentiation _gr_29.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_29.gif)
![implicit differentiation _gr_30.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_30.gif)
So the tangent line at
is
![implicit differentiation _gr_32.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_32.gif)
which simplies to
The graph of the folium and the tangent line are shown:
![implicit differentiation _gr_34.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_34.gif)
![implicit differentiation _gr_35.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_35.gif)
Example (Implicit Differentiation) Use implicit differentiation.to find all points on the lemniscate of Bernoulli
where the tangent line is horizontal.
Solution. Using implicit differentiation we have,
![implicit differentiation _gr_37.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_37.gif)
![implicit differentiation _gr_38.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_38.gif)
we need to find all
where
Clearly, the point
is ruled out and so
; that is
Using
with the original we see
also. Therefore,
and so
and
![implicit differentiation _gr_48.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_48.gif)
![implicit differentiation _gr_49.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_49.gif)
![implicit differentiation _gr_50.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_50.gif) Example (Implicit Differentiation) Use implicit differentiation.to find two points on the curve whose equation is
where the tangent line is vertical.
Solution. Using implicit differentiation we determine,
![implicit differentiation _gr_52.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_52.gif)
and so,
![implicit differentiation _gr_53.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_53.gif)
Since we want vertical tangent lines we need
that is,
and with the original equation this means;
![implicit differentiation _gr_56.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_56.gif)
which is solved as
So the points where the tangent line is vertical are
and
![implicit differentiation _gr_59.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_59.gif)
![implicit differentiation _gr_60.gif]](pages/implicit-differentiation/Images/implicit-differentiation_gr_60.gif)
Cite this as: Implicit Differentiation Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/implicit-differentiation.html
|
|