Skip to main content
Logo image

APEX Calculus: for University of Lethbridge

Section 2.6 Implicit Differentiation

In the previous sections we learned to find the derivative, \(\lz{y}{x}\text{,}\) or \(y'\text{,}\) when \(y\) is given explicitly as a function of \(x\text{.}\) That is, if we know \(y=f(x)\) for some function \(f\text{,}\) we can find \(y'\text{.}\) For example, given \(y=3x^2-7\text{,}\) we can easily find \(y'=6x\text{.}\) (Here we explicitly state how \(y\) depends on \(x\text{.}\) Knowing \(x\text{,}\) we can directly find \(y\text{.}\))
Figure 2.6.1. Video introduction to Section 2.6
Sometimes the relationship between \(y\) and \(x\) is not explicit; rather, it is implicit. For instance, we might know that \(x^2-y=4\text{.}\) This equality defines a relationship between \(x\) and \(y\text{;}\) if we know \(x\text{,}\) we could figure out \(y\text{.}\) Can we still find \(y'\text{?}\) In this case, sure; we solve for \(y\) to get \(y=x^2-4\) (hence we now know \(y\) explicitly) and then differentiate to get \(y'=2x\text{.}\)
Sometimes the implicit relationship between \(x\) and \(y\) is complicated. Suppose we are given \(\sin(y)+y^3=6-x^3\text{.}\) A graph of this implicit relationship is given in Figure 2.6.2. In this case there is absolutely no way to solve for \(y\) in terms of elementary functions. The surprising thing is, however, that we can still find \(y'\) via a process known as implicit differentiation.
A curve beginning in the second quadrant, forming a gentle corner in the first quadrant, and decreasing into the fourth quadrant.
The curve begins in the second quadrant. From the left, the curve decreases as \(x\) increases. The curve slowly flattens out, almost becoming horizontal as the curve crosses the \(y\)-axis near the point \((0,1.8)\text{.}\) When \(x\) comes close to 0.75, the curve begins decreasing in the shape of a gentle corner. The curve continues decreasing, becoming steepest around the point \((0,1.8)\text{,}\) at which it also crosses into the fourth quadrant. When \(x\) is close to 2, the curve begins to decrease more gently, at around the same rate as the beginning of the curve.
Figure 2.6.2. A graph of the implicit relationship \(\sin(y)+y^3=6-x^3\)

Subsection 2.6.1 The method of implicit differentiation

Implicit differentiation is a technique based on the The Chain Rule that is used to find a derivative when the relationship between the variables is given implicitly rather than explicitly (solved for one variable in terms of the other).
We begin by reviewing the Chain Rule. Let \(f\) and \(g\) be functions of \(x\text{.}\) Then
\begin{equation*} \lzoo{x}{f(g(x))} = \fp(g(x))\cdot g'(x)\text{.} \end{equation*}
Suppose now that \(y=g(x)\text{.}\) We can rewrite the above as
\begin{align} \lzoo{x}{f(y)}\amp=\fp(y)\cdot y',\amp\amp\text{ or }\amp\lzoo{x}{f(y)}\amp=\fp(y)\cdot\lz{y}{x}\text{.}\tag{2.6.1} \end{align}
These equations look strange; the key concept to learn here is that we can find \(y'\) even if we don’t exactly know how \(y\) and \(x\) relate.
We demonstrate this process in the following example.

Example 2.6.3. Using Implicit Differentiation.

Find \(y'\) given that \(\sin(y) + y^3=6-x^3\text{.}\)
Solution 1.
We start by taking the derivative of both sides (thus maintaining the equality.) We have:
\begin{equation*} \lzoo{x}{\sin(y) + y^3}=\lzoo{x}{6-x^3}\text{.} \end{equation*}
The right hand side is easy; it returns \(-3x^2\text{.}\)
The left hand side requires more consideration. We take the derivative term-by-term. Using the technique derived from Equation (2.6.1) above, we can see that
\begin{equation*} \lzoo{x}{\sin(y)} = \cos(y) \cdot y'\text{.} \end{equation*}
We apply the same process to the \(y^3\) term.
\begin{equation*} \lzoo{x}{y^3} = \lzoo{(y)^3} = 3(y)^2\cdot y'\text{.} \end{equation*}
Putting this together with the right hand side, we have
\begin{equation*} \cos(y)y'+3y^2y' = -3x^2\text{.} \end{equation*}
Now solve for \(y'\text{.}\) It’s important to treat \(y'\) as an algebraically independent variable from \(y\) and \(x\text{.}\)
\begin{align*} \cos(y)y'+3y^2y'\amp = -3x^2\\ \left(\cos(y) +3y^2\right)y' \amp =-3x^2\\ y'\amp =\frac{-3x^2}{\cos(y) +3y^2} \end{align*}
This equation for \(y'\) probably seems unusual for it contains both \(x\) and \(y\) terms. How is it to be used? We’ll address that next.
Solution 2. Video solution
Implicit functions are generally harder to deal with than explicit functions. With an explicit function, given an \(x\) value, we have an explicit formula for computing the corresponding \(y\) value. With an implicit function, one often has to find \(x\) and \(y\) values at the same time that satisfy the equation. It is much easier to demonstrate that a given point satisfies the equation than to actually find such a point.
For instance, we can affirm easily that the point \(\left(\sqrt[3]{6},0\right)\) lies on the graph of the implicit function \(\sin(y) + y^3=6-x^3\text{.}\) Plugging in \(0\) for \(y\text{,}\) we see the left hand side is \(0\text{.}\) Setting \(x=\sqrt[3]6\text{,}\) we see the right hand side is also \(0\text{;}\) the equation is satisfied. The following example finds the equation of the tangent line to this function at this point.

Example 2.6.4. Using implicit differentiation to find a tangent line.

Find the equation of the line tangent to the curve of the implicitly defined function \(\sin(y) + y^3=6-x^3\) at the point \(\left(\sqrt[3]6,0\right)\text{.}\)
Solution 1.
In Example 2.6.3 we found that
\begin{equation*} y' = \frac{-3x^2}{\cos(y) +3y^2}\text{.} \end{equation*}
We find the slope of the tangent line at the point \(\left(\sqrt[3]6,0\right)\) by substituting \(\sqrt[3]6\) for \(x\) and \(0\) for \(y\text{.}\) Thus at the point \(\left(\sqrt[3]6,0\right)\text{,}\) we have the slope as
\begin{equation*} y' = \frac{-3\left(\sqrt[3]{6}\right)^2}{\cos(0) + 3\cdot0^2} = \frac{-3\sqrt[3]{36}}{1} \approx -9.91\text{.} \end{equation*}
Therefore the equation of the tangent line to the implicitly defined function \(\sin(y) + y^3=6-x^3\) at the point \(\left(\sqrt[3]{6},0\right)\) is
\begin{equation*} y = -3\sqrt[3]{36}\left(x-\sqrt[3]{6}\right)+0 \approx -9.91x+18\text{.} \end{equation*}
The curve and this tangent line are shown in Figure 2.6.5.
A decreasing curve with a negative tangent line through the negative x-axis
The same curve as Figure 2.6.2, but with a tangent line drawn at \(x=\sqrt[3]{6}\text{.}\) The tangent line is pointing sharply downward.
Figure 2.6.5. The function \(\sin(y) +y^3 = 6-x^3\) and its tangent line at the point \((\sqrt[3]{6},0)\)
Solution 2. Video solution
This suggests a general method for implicit differentiation. For the steps below assume \(y\) is a function of \(x\text{.}\)
  1. Take the derivative of each term in the equation. Treat the \(x\) terms like normal. When taking the derivatives of \(y\) terms, the usual rules apply except that, because of the Theorem 2.5.4, we need to multiply each term by \(y'\text{.}\)
  2. Get all the \(y'\) terms on one side of the equal sign and put the remaining terms on the other side.
  3. Factor out \(y'\text{;}\) solve for \(y'\) by dividing.
(Practical Note: when working by hand, it may be beneficial to use the symbol \(\frac{dy}{dx}\) instead of \(y'\text{,}\) as the latter can be easily confused for \(y\) or \(y^1\text{.}\))

Example 2.6.6. Using Implicit Differentiation.

Given the implicitly defined function \(y^3+x^2y^4=1+2x\text{,}\) find \(y'\text{.}\)
Solution 1.
We will take the implicit derivatives term by term. The derivative of \(y^3\) is \(3y^2y'\text{.}\)
The second term, \(x^2y^4\text{,}\) is a little tricky. It requires the Product Rule as it is the product of two functions of \(x\text{:}\) \(x^2\) and \(y^4\text{.}\) Its derivative is \(x^2(4y^3y') + 2xy^4\text{.}\) The first part of this expression requires a \(y'\) because we are taking the derivative of a \(y\) term. The second part does not require it because we are taking the derivative of \(x^2\text{.}\)
The derivative of the right hand side is easily found to be \(2\text{.}\) In all, we get:
\begin{equation*} 3y^2y' + 4x^2y^3y' + 2xy^4 = 2\text{.} \end{equation*}
Move terms around so that the left side consists only of the \(y'\) terms and the right side consists of all the other terms:
\begin{equation*} 3y^2y' + 4x^2y^3y' = 2-2xy^4\text{.} \end{equation*}
Factor out \(y'\) from the left side and solve to get
\begin{equation*} y' = \frac{2-2xy^4}{3y^2+4x^2y^3}\text{.} \end{equation*}
To confirm the validity of our work, let’s find the equation of a tangent line to this function at a point. It is easy to confirm that the point \((0,1)\) lies on the graph of this function. At this point, \(y' = 2/3\text{.}\) So the equation of the tangent line is \(y = 2/3(x-0)+1\text{.}\) The function and its tangent line are graphed in Figure 2.6.7.
A curve with two distinct segments and a tangent line with a positive slope
Two curves are drawn in the \(xy\)-plane. The left curve stretches upwards from the left side of the \(y\) axis, curving slightly to the left. As \(y\) approaches -2, the curve begins to widen to the left, creating a bump in the curve. As the curve crosses the \(x\) axis, the curve moves towards the right, no longer increasing and becoming more horizontal as \(x\) increases. At the point \((0,1)\text{,}\) a tangent line is drawn, with a moderate positive slope. This point corresponds to the corner at which the curve begins to become horizontal. At this point, the curve passes the vertical line test, but does not at most other points on the graph. The second curve begins to the right of the \(y\)-axis, as a line stretching upwards from the bottom of the \(y\)-axis. As \(x\) approaches 1, the curve also begins to become horizontal as \(x\) increases. The entire second curve lies in the fourth quadrant.
Figure 2.6.7. A graph of the implicitly defined function \(y^3+x^2y^4=1+2x\) along with its tangent line at the point \((0,1)\)
Notice how our curve looks much different than for functions we have seen. For one, it fails the vertical line test, and so the complete curve is not truly representing \(y\) as a function of \(x\text{.}\) But when we indicate we are interested in the derivative at \((0,1)\text{,}\) we are indicating that we want the function defined by the small portion of the curve that passes through \((0,1)\text{,}\) and that small portion does pass the vertical line test. Such functions are important in many areas of mathematics, so developing tools to deal with them is also important.
Solution 2. Video solution

Example 2.6.8. Using Implicit Differentiation.

Given the implicitly defined function \(\sin\mathopen{}\left(x^2y^2\right)\mathclose{}+y^3=x+y\text{,}\) find \(y'\text{.}\)
Solution 1.
Differentiating term by term, we find the most difficulty in the first term. It requires both the The Chain Rule and Product Rule.
\begin{align*} \lzoo{x}{\sin\mathopen{}\left(x^2y^2\right)\mathclose{}} \amp = \cos\mathopen{}\left(x^2y^2\right)\mathclose{}\cdot\lzoo{x}{x^2y^2}\\ \amp = \cos\mathopen{}\left(x^2y^2\right)\mathclose{}\cdot\left(x^2(2yy')+2xy^2\right)\\ \amp = 2\left(x^2yy'+xy^2\right)\cos\mathopen{}\left(x^2y^2\right)\mathclose{}\text{.} \end{align*}
We leave the derivatives of the other terms to the reader. After taking the derivatives of both sides, we have
\begin{equation*} 2\left(x^2yy'+xy^2\right)\cos\mathopen{}\left(x^2y^2\right)\mathclose{} + 3y^2y' = 1 + y'\text{.} \end{equation*}
We now have to be careful to properly solve for \(y'\text{,}\) particularly because of the product on the left. It is best to multiply out the product. Doing this, we get
\begin{equation*} 2x^2y\cos\mathopen{}\left(x^2y^2\right)\mathclose{}y' + 2xy^2\cos\mathopen{}\left(x^2y^2\right)\mathclose{} + 3y^2y' = 1 + y'\text{.} \end{equation*}
From here we can safely move around terms to get the following:
\begin{equation*} 2x^2y\cos\mathopen{}\left(x^2y^2\right)\mathclose{}y' + 3y^2y' - y' = 1 - 2xy^2\cos\mathopen{}\left(x^2y^2\right)\mathclose{}\text{.} \end{equation*}
Then we can solve for \(y'\) to get
\begin{equation*} y' = \frac{1 - 2xy^2\cos\mathopen{}\left(x^2y^2\right)\mathclose{}}{2x^2y\cos\mathopen{}\left(x^2y^2\right)\mathclose{}+3y^2-1}\text{.} \end{equation*}
A graph of this implicit function is given in Figure 2.6.9.
A curve beginning in the third quadrant passing through the points (0,-1), (0,0), (0,1).
The curve begins in the third quadrant. From there, the curve bends slightly back and increases, crossing above itself. The curve extends to the right, increasing almost linearly as it crosses the \(y\)-axis at \(y = -1\) into the fourth quadrant. The curve continues to increase as such until it reaches a point close to \((\frac{1}{2},-\frac{3}{4}\text{.}\) The curve then bends back, increasing towards the top left linearly. It then crosses the origin and passes into the second quadrant. The curve quickly bends towards the right, crossing the \(y\)-axis at \(y = 1\) into the first quadrant. From there, the curve continues towards the right while slightly increasing. The curves rises sharply at \(x = 1.5\text{,}\) before decreasing again.
Figure 2.6.9. A graph of the implicitly defined curve \(\sin\mathopen{}\left(x^2y^2\right)\mathclose{}+y^3=x+y\)
It is easy to verify that the points \((0,0)\text{,}\) \((0,1)\) and \((0,-1)\) all lie on the graph. We can find the slopes of the tangent lines at each of these points using our formula for \(y'\text{.}\)
  • At \((0,0)\text{,}\) the slope is \(-1\text{.}\)
  • At \((0,1)\text{,}\) the slope is \(1/2\text{.}\)
  • At \((0,-1)\text{,}\) the slope is also \(1/2\text{.}\)
The tangent lines have been added to the graph of the function in Figure 2.6.10.
A curve beginning in the third quadrant passing through the points (0,-1), (0,0), (0,1), with tangent lines at those points.
The graph in Figure 2.6.9, with tagent lines drawn at \((0,-1)\text{,}\) \((0,0)\text{,}\) and \((0,1)\text{.}\) The tangent line at \((0,-1)\) has a positive slope less than 1. The tangent line at \((0,0)\) has a negative slope, close to -1. The tangent line at \((0,1)\) has a positive slope, less than 1.
Figure 2.6.10. A graph of the implicitly defined curve \(\sin\mathopen{}\left(x^2y^2\right)\mathclose{}+y^3=x+y\) and certain tangent lines
Solution 2. Video solution
Quite a few “famous” curves have equations that are given implicitly. We can use implicit differentiation to find the slope at various points on those curves. We investigate two such curves in the next examples.

Example 2.6.11. Finding slopes of tangent lines to a circle.

Find the slope of the tangent line to the circle \(x^2+y^2=1\) at the point \(\left(1/2, \sqrt{3}/2\right)\text{.}\)
Solution.
Taking derivatives, we get \(2x+2yy'=0\text{.}\) Solving for \(y'\) gives:
\begin{equation*} y' = \frac{-x}{y}\text{.} \end{equation*}
This is a clever formula. Recall that the slope of the line through the origin and the point \((x,y)\) on the circle will be \(y/x\text{.}\) We have found that the slope of the tangent line to the circle at that point is the opposite reciprocal of \(y/x\text{,}\) namely, \(-x/y\text{.}\) Hence these two lines are always perpendicular.
At the point \(\left(1/2, \sqrt{3}/2\right)\text{,}\) we have the tangent line’s slope as
\begin{equation*} y' = \frac{-1/2}{\sqrt{3}/2} = \frac{-1}{\sqrt{3}} \approx -0.577\text{.} \end{equation*}
A graph of the circle and its tangent line at \(\left(1/2,\sqrt{3}/2\right)\) is given in Figure 2.6.12, along with a thin dashed line from the origin that is perpendicular to the tangent line. (It turns out that all normal lines to a circle pass through the center of the circle.)
A circle of radius 1 centered at the origin with a tangent line drawn at a point in the first quadrant.
A circle of radius 1 centered at the origin. A dashed line extends from the origin to a tangent line at the point \((\frac{1}{2},\frac{\sqrt{3}}{2})\text{.}\) At that point a tangent line is drawn with a slight negative slope.
Figure 2.6.12. The unit circle with its tangent line at \((1/2,\sqrt{3}/2)\)
This section has shown how to find the derivatives of implicitly defined functions, whose graphs include a wide variety of interesting and unusual shapes. Implicit differentiation can also be used to further our understanding of “regular” differentiation.
One hole in our current understanding of derivatives is this: what is the derivative of the square root function? That is,
\begin{equation*} \lzoo{x}{\sqrt{x}} = \lzoo{x}{x^{1/2}} = \text{?} \end{equation*}
We allude to a possible solution, as we can write the square root function as a power function with a rational (or, fractional) power. We are then tempted to apply the Power Rule with Integer Exponents and obtain
\begin{equation*} \lzoo{x}{x^{1/2}} = \frac{1}{2}x^{-1/2} = \frac{1}{2\sqrt{x}}\text{.} \end{equation*}
The trouble with this is that the Power Rule with Integer Exponents was initially defined only for positive integer powers, \(n \gt 0\text{.}\) While we did not justify this at the time, generally the Power Rule with Integer Exponents is proved using something called the Binomial Theorem, which deals only with positive integers. The Quotient Rule allowed us to extend the Power Rule with Integer Exponents to negative integer powers. Implicit Differentiation allows us to extend the Power Rule with Integer Exponents to rational powers, as shown below.
Let \(y = x^{m/n}\text{,}\) where \(m\) and \(n\) are integers with no common factors (so \(m=2\) and \(n=5\) is fine, but \(m=2\) and \(n=4\) is not). We can rewrite this explicit function implicitly as \(y^n = x^m\text{.}\) Now apply implicit differentiation.
\begin{align*} y \amp = x^{m/n}\\ y^n \amp = x^m\\ \lzoo{x}{y^n} \amp = \lzoo{x}{x^m}\\ n\cdot y^{n-1}\cdot y' \amp = m\cdot x^{m-1}\\ y'\amp = \frac{m}{n} \frac{x^{m-1}}{y^{n-1}}\amp\amp\text{(now substitute }x^{m/n}\text{ for }y\text{)}\\ \amp = \frac{m}{n} \frac{x^{m-1}}{(x^{m/n})^{n-1}}\amp\amp\text{(apply lots of algebra)}\\ \amp = \frac{m}n x^{(m-n)/n}\\ \amp = \frac{m}n x^{m/n -1}\text{.} \end{align*}
The above derivation is the key to the proof extending the Power Rule with Integer Exponents to rational powers. Using limits, we can extend this once more to include all powers, including irrational (even transcendental!) powers, giving the following theorem.
This theorem allows us to say the derivative of \(x^\pi\) is \(\pi x^{\pi -1}\text{.}\)
We now apply this final version of the Power Rule for Differentiation in the next example, the second investigation of a “famous” curve.

Example 2.6.14. Using the Power Rule.

Find the slope of \(x^{2/3}+y^{2/3}=8\) at the point \((8,8)\text{.}\)
Solution.
This is a particularly interesting curve called an astroid. It is the shape traced out by a point on the edge of a circle that is rolling around inside of a larger circle, as shown in Figure 2.6.15.
A four pointed star with rounded edges, surrounded by a dashed circle.
A dashed circle of radius 20 entirely contains the curve. In each quadrant curves connect the points on the x and y axis which also lie on the circle. This gives the overall curve the appearence of a diamond with sides curved towards the inside. In the third quadrant a smaller circle is drawn which touches both the outer circle and the curve. The point on the circle touching the curve is highlighted blue.
Figure 2.6.15. An astroid, traced out by a point on the smaller circle as it rolls inside the larger circle
To find the slope of the astroid at the point \((8,8)\text{,}\) we take the derivative implicitly.
\begin{align*} \frac{2}{3}x^{-1/3}+\frac{2}{3}y^{-1/3}y'\amp =0\\ \frac{2}{3}y^{-1/3}y' \amp = -\frac{2}{3}x^{-1/3}\\ y'\amp =-\frac{x^{-1/3}}{y^{-1/3}}\\ y'\amp =-\frac{y^{1/3}}{x^{1/3}} = -\sqrt[3]{\frac{y}{x}}\text{.} \end{align*}
Plugging in \(x=8\) and \(y=8\text{,}\) we get a slope of \(-1\text{.}\) The astroid, with its tangent line at \((8,8)\text{,}\) is shown in Figure 2.6.16.
A previously described astroid with a tangent line in the first quadrant.
The curve sketched in Figure 2.6.15 with a tangent line at \((8,8)\text{.}\) It has a slope of -1.
Figure 2.6.16. An astroid with a tangent line

Subsection 2.6.2 Implicit Differentiation and the Second Derivative

We can use implicit differentiation to find higher order derivatives. In theory, this is simple: first find \(\lz{y}{x}\text{,}\) then take its derivative with respect to \(x\text{.}\) In practice, it is not hard, but it often requires a bit of algebra. We demonstrate this in an example.

Example 2.6.17. Finding the second derivative.

Given \(x^2+y^2=1\text{,}\) find \(\lzn{2}{y}{x} = y''\text{.}\)
Solution 1.
We found that \(y' = \lz{y}{x} = -x/y\) in Example 2.6.11. To find \(y''\text{,}\) we apply implicit differentiation to \(y'\text{.}\)
\begin{align*} y'' \amp = \lzoo{x}{y'}\\ \amp = \lzoo{x}{-\frac{x}{y}}\amp\amp\text{(Now use the Quotient Rule.)}\\ \amp = -\frac{y\cdot1 - x(y')}{y^2}\amp\amp\text{replace }y'\text{ with }-x/y\text{:}\\ \amp = -\frac{y-x(-x/y)}{y^2}\\ \amp = -\frac{y+x^2/y}{y^2}\text{.} \end{align*}
While this is not a particularly simple expression, it is usable. We can see that \(y'' \gt 0\) when \(y\lt 0\) and \(y''\lt 0\) when \(y \gt 0\text{.}\) In Section 3.4, we will see how this relates to the shape of the graph.
Also, if we remember that we are only considering points on the curve \(x^2+y^2=1\text{,}\) then we know that \(x^2=1-y^2\text{.}\) So we can replace the \(x^2\) in the expression for \(y''\) to get
\begin{equation*} y''=-\frac{y+\left(1-y^2\right)/y}{y^2}=-\frac{1}{y^3} \end{equation*}
which is a simpler expression. Recognizing when simplifications like this are possible is not always easy.
Solution 2. Video solution

Subsection 2.6.3 Logarithmic Differentiation

Consider the function \(y=x^x\text{;}\) it is graphed in Figure 2.6.18. It is well-defined for \(x \gt 0\) and we might be interested in finding equations of lines tangent and normal to its graph. How do we take its derivative?
An exponential curve with a discontinuity at (0,1). It decreases slightly before increasing.
The curve is entirely contained within the first quadrant. At the point \((0,1)\) there is a discontinuity. The curve begins decreasing, reaching a minimum at around \((0.3,0.7)\text{.}\) After that point, the curve increases exponentially.
Figure 2.6.18. A plot of \(y=x^x\)
The function is not a power function: it has a “power” of \(x\text{,}\) not a constant. It is not an exponential function either: it has a “base” of \(x\text{,}\) not a constant.
A differentiation technique known as logarithmic differentiation becomes useful here. The basic principle is this: take the natural log of both sides of an equation \(y=f(x)\text{,}\) then use implicit differentiation to find \(y'\text{.}\) We demonstrate this in the following example.

Example 2.6.19. Using Logarithmic Differentiation.

Given \(y=x^x\text{,}\) use logarithmic differentiation to find \(y'\text{.}\)
Solution 1.
As suggested above, we start by taking the natural log of both sides then applying implicit differentiation.
\begin{align*} y \amp = x^x\amp\\ \ln(y) \amp = \ln(x^x)\amp\amp\text{(apply logarithm rule)}\\ \ln(y) \amp = x\ln(x) \amp\amp\text{(now use implicit differentiation)}\\ \lzoo{x}{\ln(y)} \amp = \lzoo{x}{x\ln(x)}\\ \frac{y'}{y} \amp = \ln(x) + x\cdot\frac{1}{x}\amp\\ \frac{y'}{y} \amp = \ln(x) + 1\amp\\ y' \amp = y\left(\ln(x) +1\right) \amp\amp\text{(substitute }y=x^x\text{)}\\ y' \amp = x^x\left(\ln(x) +1\right)\amp\text{.} \end{align*}
To “test” our answer, let’s use it to find the equation of the tangent line at \(x=1.5\text{.}\) The point on the graph our tangent line must pass through is \(\left(1.5, 1.5^{1.5}\right) \approx (1.5, 1.837)\text{.}\) Using the equation for \(y'\text{,}\) we find the slope as
\begin{equation*} y' = 1.5^{1.5}\left(\ln(1.5) +1\right) \approx 1.837(1.405) \approx 2.582\text{.} \end{equation*}
Thus the equation of the tangent line is (approximately) \(y \approx 2.582(x-1.5)+1.837\text{.}\) Figure 2.6.20 graphs \(y=x^x\) along with this tangent line.
The previously described exponential curve with a tangent line in the increasing part of the curve.
The graph shown in Figure 2.6.18, with a tangent line at \((1.5,1.5^{1.5})\text{.}\) It has a slope of around 2.6.
Figure 2.6.20. A graph of \(y=x^x\) and its tangent line at \(x=1.5\)
Solution 2. Video solution
We would not have been able to compute the derivative of the function in Example 2.6.19 without logarithmic differentiation. But the method is also useful in cases where the product and quotient rules could be used, but logarithmic differentiation is simpler. The video in Figure 2.6.21 provides such an example.
Figure 2.6.21. Using logarithmic differentiation
Implicit differentiation proves to be useful as it allows us to find the instantaneous rates of change of a variety of functions. In particular, it extended the Power Rule for Differentiation to rational exponents, which we then extended to all real numbers. In Section 2.7, implicit differentiation will be used to find the derivatives of inverse functions, such as \(y=\sin^{-1}(x)\text{.}\)

Exercises 2.6.4 Exercises

Terms and Concepts

1.
In your own words, explain the difference between implicit functions and explicit functions.
2.
Implicit differentiation is based on what other differentiation rule?
3.
  • True
  • False
Implicit differentiation can be used to find the derivative of \(y=\sqrt{x}\text{.}\)
4.
  • True
  • False
Implicit differentiation can be used to find the derivative of \(y=x^{3/4}\text{.}\)

Problems

Exercise Group.
Compute the derivative of the given function.
5.
\(j(w)={\sqrt{w}-\frac{1}{\sqrt{w}}}\)
6.
\(k(y)={\sqrt[6]{y}+y^{\left({\frac{5}{6}}\right)}}\)
7.
\(p(t)={\sqrt{9+t^{2}}}\)
8.
\(m(w)={\sqrt{w}\tan\mathopen{}\left(w\right)}\)
9.
\(m(y)={y^{1.2}}\)
10.
\(f(r)={r^{\pi }+r^{3.8}+\pi ^{3.8}}\)
11.
\(g(w)={\frac{w+\left(-8\right)}{\sqrt{w}}}\)
12.
\(h(x)={\sqrt[6]{x}\mathopen{}\left(\cos\mathopen{}\left(x\right)+e^{x}\right)}\)
Exercise Group.
Find \(\lz{y}{x}\) using implicit differentiation.
13.
\(x^4+y^2+y=7\)
14.
\(x^{2/5}+y^{2/5}=1\)
15.
\(\cos(x)+\sin(y)=1\)
16.
\(\dfrac{x}{y}=10\)
17.
\(\dfrac{y}{x}=10\)
18.
\(x^2e^x+2^y=5\)
19.
\({x^{2}\tan\mathopen{}\left(y\right)}=50\)
20.
\({\left(3x^{2}+2y^{3}\right)^{4}}={2}\)
21.
\({\left(y^{2}+2y-x\right)^{2}}={200}\)
22.
\({\frac{x^{2}+y}{x+y^{2}}}={17}\)
23.
\({\frac{\sin\mathopen{}\left(x\right)+y}{\cos\mathopen{}\left(y\right)+x}}={1}\)
24.
\(\ln\mathopen{}\left(x^2+y^2\right)\mathclose{}=e\)
25.
\(\ln\mathopen{}\left(x^2+xy+y^2\right)\mathclose{} = 1\)
26.
Show that \(\lz{y}{x}\) is the same for each of the following implicitly defined functions.
(a)
\(xy=1\)
(b)
\(x^2y^2=1\)
(c)
\(\sin(xy) = 1\)
(d)
\(\ln(xy) =1\)
Exercise Group.
Find the equation of the tangent line to the graph of the implicitly defined function at the indicated points. As a visual aid, the function is graphed.
27.
On the curve \(x^{2/5}+y^{2/5} = 1\text{.}\)
An astroid of radius 1 with a point drawn at (0.1,0.281).
(a)
At \((1,0)\text{.}\)
(b)
At \((0.1,0.2811)\) (which does not exactly lie on the curve, but is very close).
28.
On the curve \(x^{4}+y^{4} = 1\text{.}\)
A square with rounded corners and edges with a point in the first quadrant.
(a)
At \((1,0)\text{.}\)
(b)
At \(\left(\sqrt{0.6},\sqrt{0.8}\right)\text{.}\)
29.
On the curve \((x^2+y^2-4)^3 = 108y^2\text{.}\)
A combination of 2 circles, with cusps at (-2,0) and (2,0) with a tangent line in the fourth quadrant.
(a)
At \((0,4)\text{.}\)
(b)
At \(\left(2,-\sqrt[4]{108}\right)\text{.}\)
30.
On the curve \((x^2+y^2+x)^2 = x^2+y^2\text{.}\)
An oval with a cusp on the right side.
(a)
At \((0,1)\text{.}\)
(b)
At \(\left(-\frac{3}{4}, \frac{3\sqrt{3}}{4}\right)\text{.}\)
31.
On the curve \((x-2)^2+(y-3)^2=9\text{.}\)
A circle of radius 3 centered at (2,3). Two points are drawn on the circle.
(a)
At \(\left(\frac{7}{2},\frac{6+3\sqrt{3}}{2}\right)\text{.}\)
(b)
At \(\left(\frac{4+3\sqrt{3}}{2},\frac{3}{2}\right)\text{.}\)
32.
On the curve \(x^2+y^3+2xy=0\text{.}\)
A curve that begins in the third quadrant, forms a loop in the third quadrant, and decreases in the fourth quadrant.
(a)
At \((-1,1)\text{.}\)
(b)
At \(\left(-1,\frac12(-1+\sqrt{5})\right)\text{.}\)
(c)
At \(\left(-1,\frac12(-1-\sqrt{5})\right)\text{.}\)
Exercise Group.
An implicitly defined function is given. Find \(\lzn{2}{y}{x}\text{.}\) Note: these are the same functions used in Exercises 13 through 16.
33.
\(x^4+y^2+y=7\)
34.
\(x^{2/5}+y^{2/5}=1\)
35.
\(\cos(x)+\sin(y)=1\)
36.
\(\dfrac{x}{y}=10\)
Exercise Group.
Use logarithmic differentiation to find \(\lz{y}{x}\text{,}\) then find the equation of the tangent line at the indicated \(x\)-value.
37.
\(y=(1+x)^{1/x}\) at \(x=1\)
38.
\(y=(2x)^{x^2}\) at \(x=1\)
39.
\(y=\dfrac{x^{x}}{x+1}\) at \(x=1\)
40.
\(y=x^{\sin(x)+2}\) at \(x=\pi/2\)
41.
\(y=\dfrac{x+1}{x+2}\) at \(x=1\)
42.
\(y=\dfrac{(x+1)(x+2)}{(x+3)(x+4)}\) at \(x=0\)