## You are here

Homeimplicit differentiation

## Primary tabs

# implicit differentiation

Implicit differentiation is a tool used to analyze the solution sets of equations of the form $f(\mathbf{x},\mathbf{y})=0$ that cannot be conveniently put into a form $\mathbf{y}=g(\mathbf{x})$ that explicitly shows the dependence of $\mathbf{y}$ on the variable $\mathbf{x}$. To use implicit differentiation meaningfully, you must be certain that $\mathbf{y}$ is actually a function of $\mathbf{x}$ in a neighborhood of the point $(\mathbf{a},\mathbf{b})$ where you plan to apply the derivative. This means you want to ensure that $f(\mathbf{x},\mathbf{y})$ satisfies the implicit function theorem in that neighborhood ($f$ must be continuously differentiable at $(\mathbf{a},\mathbf{b})$, and its derivative must be non-singular at $(\mathbf{a},\mathbf{b})$). If this is not the case, the quantity you get from naively differentiating both sides of the equation may not represent the derivative. To actually differentiate implicitly, we use the chain rule to differentiate the entire equation.

Example: The first step is to identify the implicit function. Suppose we have simplified an equation to the form $x^{2}+y^{2}+xy=0$ (Since this is a two dimensional equation, all one has to check is that the graph of $y$ may be an implicit function of $x$ in local neighborhoods.) Then, to differentiate implicitly, we differentiate both sides of the equation with respect to $x$, using the chain rule whenever we encounter $y$, as $y$ is treated as a function of $x$. We will get

$2x+2y\cdot\frac{dy}{dx}+x\cdot 1\cdot\frac{dy}{dx}+y=0$ |

Next, we simply solve for our implicit derivative $\frac{dy}{dx}=-\frac{2x+y}{2y+x}$. Note that the derivative depends on both the variable and the implicit function $y$. Most of your derivatives will be functions of one or all the variables, including the implicit function itself.

## Mathematics Subject Classification

26B10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier