Difference between revisions of "Implicit Differentiation"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Added links for PowerPoint and worksheets)
 
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
Generally, you will encounter functions expressed in explicit form, that is, in the form <math>y=f(x)</math> . To find the derivative of <math>y</math> with respect to <math>x</math> , you take the derivative with respect to <math>x</math> of both sides of the equation to get
 +
:<math>\frac{dy}{dx}=\frac{d}{dx}[f(x)]=f'(x)</math>
 +
But suppose you have a relation of the form <math>f\bigl(x,y(x)\bigr)=g\bigl(x,y(x)\bigr)</math> . In this case, it may be inconvenient or even impossible to solve for <math>y</math> as a function of <math>x</math> . A good example is the relation <math>y^2+2yx+3=5x</math> . In this case you can utilize '''implicit differentiation''' to find the derivative. To do so, one takes the derivative of both sides of the equation with respect to <math>x</math> and solves for <math>y'</math> . That is, form
 +
:<math>\frac{d}{dx}\bigl[f\bigl(x,y(x)\bigr)\bigr]=\frac{d}{dx}\big[g\bigl(x,y(x)\bigr)\big]</math>
 +
and solve for <math>\frac{dy}{dx}</math> . You need to employ the chain rule whenever you take the derivative of a variable with respect to a different variable. For example,
 +
:<math>\frac{d}{dx}(y^3)=\frac{d}{dy}[y^3]\cdot\frac{dy}{dx}=3y^2\cdot y'</math>
 +
 +
==Implicit Differentiation and the Chain Rule==
 +
To understand how implicit differentiation works and use it effectively it is important to recognize that the key idea is simply the chain rule. First let's recall the chain rule. Suppose we are given two differentiable functions <math>f(x),g(x)</math> and that we are interested in computing the derivative of the function <math>f\bigl(g(x)\bigr)</math> , the chain rule states that:
 +
:<math>\frac{d}{dx}\bigl[f\bigl(g(x)\bigr)\bigr]=f'\bigl(g(x)\bigr)\cdot g'(x)</math>
 +
That is, we take the derivative of <math>f</math> as normal and then plug in <math>g</math> , finally multiply the result by the derivative of <math>g</math> .
 +
 +
Now suppose we want to differentiate a term like <math>y^2</math> with respect to <math>x</math> where we are thinking of <math>y</math> as a function of <math>x</math> , so for the remainder of this calculation let's write it as <math>y(x)</math> instead of just <math>y</math> . The term <math>y^2</math> is just the composition of <math>f(x)=x^2</math> and <math>y(x)</math> . That is, <math>f\bigl(y(x)\bigr)=y(x)^2</math> . Recalling that <math>f'(x)=2x</math> then the chain rule states that:
 +
:<math>\frac{d}{dx}\bigl[f\bigl(y(x)\bigr)\bigr]=f'\bigl(y(x)\bigr)\cdot y'(x)=2y(x)y'(x)</math>
 +
 +
Of course it is customary to think of <math>y</math> as being a function of <math>x</math> without always writing <math>y(x)</math> , so this calculation usually is just written as
 +
:<math>\frac{d}{dx}(y^2)=2yy'</math>
 +
Don't be confused by the fact that we don't yet know what <math>y'</math> is, it is some function and often if we are differentiating two quantities that are equal it becomes possible to explicitly solve for <math>y'</math> (as we will see in the examples below.) This makes it a very powerful technique for taking derivatives.
 +
 +
==Explicit Differentiation==
 +
For example, suppose we are interested in the derivative of <math>y</math> with respect to <math>x</math> , where <math>x,y</math> are related by the equation
 +
:<math>x^2+y^2=1</math>
 +
 +
This equation represents a circle of radius 1 centered on the origin. Note that <math>y</math> is not a function of <math>x</math> since it fails the vertical line test (<math>y=\pm1</math> when <math>x=0</math> , for example).
 +
 +
To find <math>y'</math> , first we can separate variables to get
 +
:<math>y^2=1-x^2</math>
 +
 +
Taking the square root of both sides we get two separate functions for <math>y</math> :
 +
:<math>y=\pm\sqrt{1-x^2}</math>
 +
 +
We can rewrite this as a fractional power:
 +
:<math>y=\pm(1-x^2)^{\frac{1}{2}}</math>
 +
 +
Using the chain rule we get,
 +
:<math>y'=\pm\frac{(1-x^2)^{-\frac{1}{2}}\cdot(-2x)}{2}=\mp\frac{x}{\sqrt{1-x^2}}</math>
 +
 +
And simplifying by substituting <math>y</math> back into this equation gives
 +
:<math>y'=-\frac{x}{y}</math>
 +
 +
==Implicit Differentiation==
 +
Using the same equation
 +
:<math>x^2+y^2=1</math>
 +
 +
First, differentiate with respect to <math>x</math> on both sides of the equation:
 +
:<math>\frac{d}{dx}[x^2+y^2]=\frac{d}{dx}[1]</math>
 +
:<math>\frac{d}{dx}[x^2]+\frac{d}{dx}[y^2]=0</math>
 +
 +
To differentiate the second term on the left hand side of the equation (call it <math>f(y(x))=y^2</math>), use the chain rule:
 +
:<math>\frac{df}{dx}=\frac{df}{dy}\cdot\frac{dy}{dx}=2y\cdot y'</math>
 +
 +
So the equation becomes
 +
 +
:<math>2x+2yy'=0</math>
 +
 +
Separate the variables:
 +
:<math>2yy'=-2x</math>
 +
 +
Divide both sides by <math>2y</math> , and simplify to get the same result as above:
 +
:<math>y'=-\frac{2x}{2y}</math>
 +
:<math>y'=-\frac{x}{y}</math>
 +
 +
===Uses===
 +
Implicit differentiation is useful when differentiating an equation that cannot be explicitly differentiated because it is impossible to isolate variables.
 +
 +
For example, consider the equation,
 +
:<math>x^2+xy+y^2=16</math>
 +
 +
Differentiate both sides of the equation (remember to use the product rule on the term <math>xy</math>):
 +
:<math>2x+y+xy'+2yy'=0</math>
 +
 +
Isolate terms with <math>y'</math>:
 +
:<math>xy'+2yy'=-2x-y</math>
 +
 +
Factor out a <math>y'</math> and divide both sides by the other term:
 +
:<math>y'=\frac{-2x-y}{x+2y}</math>
 +
 +
===Example===
 +
:<math>xy=1</math>
 +
 +
can be solved as:
 +
:<math>y=\frac{1}{x}</math>
 +
 +
then differentiated:
 +
:<math>\frac{dy}{dx}=-\frac{1}{x^2}</math>
 +
 +
However, using implicit differentiation it can also be differentiated like this:
 +
:<math>\frac{d}{dx}[xy]=\frac{d}{dx}[1]</math>
 +
 +
use the product rule:
 +
:<math>x\frac{dy}{dx}+y=0</math>
 +
 +
solve for <math>\frac{dy}{dx}</math>:
 +
:<math>\frac{dy}{dx}=-\frac{y}{x}</math>
 +
 +
Note that, if we substitute <math>y=\frac{1}{x}</math> into <math>\frac{dy}{dx}=-\frac{y}{x}</math> , we end up with <math>\frac{dy}{dx}=-\frac{1}{x^2}</math> again.
 +
 +
===Application: inverse trigonometric functions===
 +
Arcsine, arccosine, arctangent. These are the functions that allow you to determine the angle given the sine, cosine, or tangent of that angle.
 +
 +
First, let us start with the arcsine such that:
 +
 +
:<math>y=\arcsin(x)</math>
 +
 +
To find <math>\frac{\mathrm{d}y}{\mathrm{d}x}</math> we first need to break this down into a form we can work with:
 +
 +
:<math>x=\sin(y)</math>
 +
 +
Then we can take the derivative of that:
 +
 +
:<math>1=\cos(y)\cdot\frac{\mathrm{d}y}{\mathrm{d}x}</math>
 +
 +
...and solve for <math>\frac{\mathrm{d}y}{\mathrm{d}x}</math> :
 +
[[Image:arcsin_derivative_triangle.png|right|thumb|<math>y=\arcsin(x)</math> gives us this unit triangle.]]
 +
:<math>\frac{\mathrm{d}y}{\mathrm{d}x}=\frac{1}{\cos(y)}</math>
 +
 +
At this point we need to go back to the unit triangle. Since <math>y</math> is the angle and the opposite side is <math>\sin(y)=x</math> , the adjacent side is <math>\cos(y)=\sqrt{1-x^2}</math> , and the hypotenuse is 1. Since we have determined the value of <math>\cos(y)</math> based on the unit triangle, we can substitute it back in to the above equation and get:
 +
 +
 +
{| WIDTH="75%"
 +
|-
 +
| style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top" |
 +
<center>'''Derivative of the Arcsine'''<br>
 +
<math>\frac{\mathrm{d}}{\mathrm{d}x}\arcsin(x)=\frac{1}{\sqrt{1-x^2}}</math>
 +
</center>
 +
|}
 +
 +
We can use an identical procedure for the arccosine and arctangent:
 +
 +
 +
 +
{| WIDTH="75%"
 +
|-
 +
| style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top" |
 +
<center>'''Derivative of the Arccosine'''<br>
 +
<math>\frac{\mathrm{d}}{\mathrm{d}x}\arccos(x) = \frac{\mathrm{d}}{\mathrm{d}x}\left(\frac{\pi}{2}\right) - \frac{\mathrm{d}}{\mathrm{d}x}\arcsin(x) = -\frac{1}{\sqrt{1-x^2}}</math>
 +
</center>
 +
|-
 +
| style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top" |
 +
<center>'''Derivative of the Arctangent'''<br>
 +
<math>\frac{\mathrm{d}}{\mathrm{d}x}\arctan(x)=\frac{1}{1+x^2}</math>
 +
</center>
 +
|}
 +
 +
==Resources==
 
* [https://mathresearch.utsa.edu/wikiFiles/MAT1214/Implicit%20Differentiation/MAT1214_3.8ImplicitDifferentiationPwPt.pptx  Implicit Differentiation] PowerPoint file created by Dr. Sara Shirinkam, UTSA.
 
* [https://mathresearch.utsa.edu/wikiFiles/MAT1214/Implicit%20Differentiation/MAT1214_3.8ImplicitDifferentiationPwPt.pptx  Implicit Differentiation] PowerPoint file created by Dr. Sara Shirinkam, UTSA.
  
Line 4: Line 149:
  
 
* [https://mathresearch.utsa.edu/wikiFiles/MAT1214/Implicit%20Differentiation/MAT1214_3.8ImplicitDifferentiationWS2.pdf  Implicit Differentiation Worksheet 2]
 
* [https://mathresearch.utsa.edu/wikiFiles/MAT1214/Implicit%20Differentiation/MAT1214_3.8ImplicitDifferentiationWS2.pdf  Implicit Differentiation Worksheet 2]
 +
 +
==Licensing==
 +
Content obtained and/or adapted from:
 +
* [https://en.wikibooks.org/wiki/Calculus/Implicit_Differentiation Implicit Differentiation, Wikibooks: Calculus] under a CC BY-SA license

Latest revision as of 15:44, 15 January 2022

Generally, you will encounter functions expressed in explicit form, that is, in the form . To find the derivative of with respect to , you take the derivative with respect to of both sides of the equation to get

But suppose you have a relation of the form . In this case, it may be inconvenient or even impossible to solve for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} as a function of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} . A good example is the relation Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2+2yx+3=5x} . In this case you can utilize implicit differentiation to find the derivative. To do so, one takes the derivative of both sides of the equation with respect to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} and solves for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'} . That is, form

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\bigl[f\bigl(x,y(x)\bigr)\bigr]=\frac{d}{dx}\big[g\bigl(x,y(x)\bigr)\big]}

and solve for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dy}{dx}} . You need to employ the chain rule whenever you take the derivative of a variable with respect to a different variable. For example,

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}(y^3)=\frac{d}{dy}[y^3]\cdot\frac{dy}{dx}=3y^2\cdot y'}

Implicit Differentiation and the Chain Rule

To understand how implicit differentiation works and use it effectively it is important to recognize that the key idea is simply the chain rule. First let's recall the chain rule. Suppose we are given two differentiable functions Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x),g(x)} and that we are interested in computing the derivative of the function Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\bigl(g(x)\bigr)} , the chain rule states that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\bigl[f\bigl(g(x)\bigr)\bigr]=f'\bigl(g(x)\bigr)\cdot g'(x)}

That is, we take the derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} as normal and then plug in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} , finally multiply the result by the derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} .

Now suppose we want to differentiate a term like Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2} with respect to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} where we are thinking of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} as a function of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , so for the remainder of this calculation let's write it as Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)} instead of just Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} . The term Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2} is just the composition of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)=x^2} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)} . That is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\bigl(y(x)\bigr)=y(x)^2} . Recalling that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f'(x)=2x} then the chain rule states that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\bigl[f\bigl(y(x)\bigr)\bigr]=f'\bigl(y(x)\bigr)\cdot y'(x)=2y(x)y'(x)}

Of course it is customary to think of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} as being a function of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} without always writing Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)} , so this calculation usually is just written as

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}(y^2)=2yy'}

Don't be confused by the fact that we don't yet know what Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'} is, it is some function and often if we are differentiating two quantities that are equal it becomes possible to explicitly solve for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'} (as we will see in the examples below.) This makes it a very powerful technique for taking derivatives.

Explicit Differentiation

For example, suppose we are interested in the derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} with respect to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x,y} are related by the equation

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2+y^2=1}

This equation represents a circle of radius 1 centered on the origin. Note that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} is not a function of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} since it fails the vertical line test (Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\pm1} when Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=0} , for example).

To find Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'} , first we can separate variables to get

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2=1-x^2}

Taking the square root of both sides we get two separate functions for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y}  :

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\pm\sqrt{1-x^2}}

We can rewrite this as a fractional power:

Using the chain rule we get,

And simplifying by substituting back into this equation gives

Implicit Differentiation

Using the same equation

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2+y^2=1}

First, differentiate with respect to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} on both sides of the equation:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}[x^2+y^2]=\frac{d}{dx}[1]}
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}[x^2]+\frac{d}{dx}[y^2]=0}

To differentiate the second term on the left hand side of the equation (call it Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(y(x))=y^2} ), use the chain rule:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{df}{dx}=\frac{df}{dy}\cdot\frac{dy}{dx}=2y\cdot y'}

So the equation becomes

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2x+2yy'=0}

Separate the variables:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2yy'=-2x}

Divide both sides by Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2y} , and simplify to get the same result as above:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'=-\frac{2x}{2y}}
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'=-\frac{x}{y}}

Uses

Implicit differentiation is useful when differentiating an equation that cannot be explicitly differentiated because it is impossible to isolate variables.

For example, consider the equation,

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2+xy+y^2=16}

Differentiate both sides of the equation (remember to use the product rule on the term Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle xy} ):

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2x+y+xy'+2yy'=0}

Isolate terms with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'} :

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle xy'+2yy'=-2x-y}

Factor out a Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'} and divide both sides by the other term:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'=\frac{-2x-y}{x+2y}}

Example

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle xy=1}

can be solved as:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\frac{1}{x}}

then differentiated:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dy}{dx}=-\frac{1}{x^2}}

However, using implicit differentiation it can also be differentiated like this:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}[xy]=\frac{d}{dx}[1]}

use the product rule:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\frac{dy}{dx}+y=0}

solve for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dy}{dx}} :

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dy}{dx}=-\frac{y}{x}}

Note that, if we substitute Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\frac{1}{x}} into Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dy}{dx}=-\frac{y}{x}} , we end up with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dy}{dx}=-\frac{1}{x^2}} again.

Application: inverse trigonometric functions

Arcsine, arccosine, arctangent. These are the functions that allow you to determine the angle given the sine, cosine, or tangent of that angle.

First, let us start with the arcsine such that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\arcsin(x)}

To find Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\mathrm{d}y}{\mathrm{d}x}} we first need to break this down into a form we can work with:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=\sin(y)}

Then we can take the derivative of that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1=\cos(y)\cdot\frac{\mathrm{d}y}{\mathrm{d}x}}

...and solve for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\mathrm{d}y}{\mathrm{d}x}}  :

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\arcsin(x)} gives us this unit triangle.
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\mathrm{d}y}{\mathrm{d}x}=\frac{1}{\cos(y)}}

At this point we need to go back to the unit triangle. Since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} is the angle and the opposite side is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin(y)=x} , the adjacent side is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos(y)=\sqrt{1-x^2}} , and the hypotenuse is 1. Since we have determined the value of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos(y)} based on the unit triangle, we can substitute it back in to the above equation and get:


Derivative of the Arcsine

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}\arcsin(x)=\frac{1}{\sqrt{1-x^2}}}

We can use an identical procedure for the arccosine and arctangent:


Derivative of the Arccosine

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}\arccos(x) = \frac{\mathrm{d}}{\mathrm{d}x}\left(\frac{\pi}{2}\right) - \frac{\mathrm{d}}{\mathrm{d}x}\arcsin(x) = -\frac{1}{\sqrt{1-x^2}}}

Derivative of the Arctangent

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}\arctan(x)=\frac{1}{1+x^2}}

Resources

Licensing

Content obtained and/or adapted from:

Retrieved from "https://mathresearch.utsa.edu/wiki/index.php?title=Implicit_Differentiation&oldid=4537"