## 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 that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

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